Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 145 Treffer
- computer.software_genre 138 Treffer
- programming language 129 Treffer
- proof assistant 111 Treffer
- 02 engineering and technology 99 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 98 Treffer
- software 78 Treffer
- 020207 software engineering 67 Treffer
- correctness 63 Treffer
- business 60 Treffer
- business.industry 60 Treffer
- theoretical computer science 57 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 57 Treffer
- compiler 43 Treffer
- mathematical proof 40 Treffer
- computer.programming_language 39 Treffer
- 01 natural sciences 37 Treffer
- 020201 artificial intelligence & image processing 37 Treffer
- applied sciences 33 Treffer
- computer science; control theory; systems 33 Treffer
- exact sciences and technology 33 Treffer
- informatique 33 Treffer
- informatique; automatique theorique; systemes 33 Treffer
- sciences appliquees 33 Treffer
- sciences exactes et technologie 33 Treffer
- verification formelle 33 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 31 Treffer
- formal methods 30 Treffer
- 0102 computer and information sciences 29 Treffer
- 010201 computation theory & mathematics 29 Treffer
- 020204 information systems 29 Treffer
- automated theorem proving 28 Treffer
- coq 25 Treffer
- logiciel 24 Treffer
- formal specification 23 Treffer
- fos: computer and information sciences 20 Treffer
- software engineering 20 Treffer
- semantics (computer science) 19 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 18 Treffer
- computer graphics and computer-aided design 17 Treffer
- media_common 17 Treffer
- media_common.quotation_subject 17 Treffer
- program verification 17 Treffer
- verificacion programa 17 Treffer
- verification programme 17 Treffer
- algorithm 16 Treffer
- computer science - programming languages 16 Treffer
- functional programming 16 Treffer
- informatique theorique 16 Treffer
- programming languages (cs.pl) 16 Treffer
Verlag
- hal ccsd 32 Treffer
- springer berlin heidelberg 31 Treffer
- acm 30 Treffer
- ieee 29 Treffer
- springer 24 Treffer
-
27 weitere Werte:
- association for computing machinery (acm) 21 Treffer
- springer international publishing 18 Treffer
- arxiv 6 Treffer
- association for computing machinery 4 Treffer
- elsevier bv 4 Treffer
- institute of electrical and electronics engineers (ieee) 3 Treffer
- lavoisier 3 Treffer
- springer science and business media llc 3 Treffer
- springer singapore 3 Treffer
- escholarship, university of california 2 Treffer
- ieee comput. soc 2 Treffer
- mdpi ag 2 Treffer
- digital repository at the university of maryland 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- hindawi limited 1 Treffer
- inria 1 Treffer
- instituto de informatica - universidade federal do rio grande do sul 1 Treffer
- los alamitos : ieee 1 Treffer
- my university 1 Treffer
- ohio university honors tutorial college / ohiolink 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer us 1 Treffer
- totem publisher, inc. 1 Treffer
- unilu - university of luxembourg 1 Treffer
- university of kansas 1 Treffer
- world scientific pub co pte lt 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- lecture notes in computer science 18 Treffer
- acm sigplan notices 11 Treffer
- proceedings of the acm on programming languages 8 Treffer
- ieee access 3 Treffer
- journal of automated reasoning 3 Treffer
-
45 weitere Werte:
- tsi. technique et science informatiques 3 Treffer
- communications of the acm 2 Treffer
- parallel processing letters 2 Treffer
- procedia computer science 2 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 2 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 2 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 2 Treffer
- 2006 international symposium on computer networks 1 Treffer
- 2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007) 1 Treffer
- 2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007), formal methods and models for codesign, 2007. memocode 2007. 5th ieee/acm international conference on 1 Treffer
- 2011 16th ieee international conference on engineering of complex computer systems 1 Treffer
- 2013 ieee 37th annual computer software and applications conference 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode) 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2016 17th international workshop on microprocessor and soc test and verification (mtv) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2019 international symposium on theoretical aspects of software engineering (tase) 1 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- 2020 6th international conference on big data computing and communications (bigcom) 1 Treffer
- 2020 ieee european symposium on security and privacy workshops (euros&pw) 1 Treffer
- 2020 ieee international conference on blockchain and cryptocurrency (icbc) 1 Treffer
- 2020 ieee security and privacy workshops (spw) 1 Treffer
- 2021 ieee 22nd international conference of young professionals in electron devices and materials (edm) 1 Treffer
- 2021 ieee symposium on security and privacy (sp) 1 Treffer
- 2023 9th international conference on computer and communications (iccc), computer and communications (iccc), 2023 9th international conference on 1 Treffer
- 31 ; 1 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- computers & security 1 Treffer
- electronics 1 Treffer
- formal aspects of computing : the internat. journal of formal methods 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- international journal of performability engineering 1 Treffer
- journal of membrane computing 1 Treffer
- journal of quantum information science 1 Treffer
- mathematics 1 Treffer
- mathematics in computer science 1 Treffer
- proceedings of the 10th acm workshop on programming languages and analysis for security 1 Treffer
- proceedings of the 2006 acm symposium on applied computing 1 Treffer
- proceedings of the 2017 acm international conference on management of data 1 Treffer
- proceedings of the 2020 9th international conference on software and computer applications 1 Treffer
- proceedings of the 2020 acm sigplan international symposium on memory management 1 Treffer
- proceedings of the 28th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 2nd international conference on computer science and application engineering 1 Treffer
- proceedings of the 34th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 35th acm sigplan conference on programming language design and implementation 1 Treffer
Sprache
250 Treffer
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: IEEE Access, Jg. 7 (2019), S. 37770-37791Online unknownZugriff:
-
In: Journal of Membrane Computing, Jg. 3 (2021-08-24), S. 205-220Online unknownZugriff:
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownZugriff:
-
In: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 101-116KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 332-347KonferenzZugriff:
-
In: MOVEP '98 : modélisation et vérification des processus parallèles (Nantes, 6-9 juillet 1998), 1998, S. 239-251KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: Computer aided systems theory : EUROCAST 2003 (Las Palmas de Gran Canaria, 24-28 February 2003, revised selected papers), 2003, S. 279-290KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: ESOP 2018 (2018-04); 27th European Symposium on Programming (ESOP), from 14-04-2018 to 20-04-2018, 2018Online KonferenzZugriff:
-
In: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10Online unknownZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 388-405KonferenzZugriff: