Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 55 Treffer
- formal verification 12 Treffer
- verification 11 Treffer
- formal methods 8 Treffer
- theorem proving 8 Treffer
-
45 weitere Werte:
- specification 6 Treffer
- [info]computer science [cs] 5 Treffer
- artificial intelligence 5 Treffer
- c (programming language) 5 Treffer
- concurrency 5 Treffer
- deductive verification 5 Treffer
- frama-c 5 Treffer
- interactive proof 5 Treffer
- interactive proofs 5 Treffer
- software reliability 5 Treffer
- specifications 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- functional programming 4 Treffer
- interactive theorem proving 4 Treffer
- formal proof 3 Treffer
- formalization 3 Treffer
- interactive theorem prover 3 Treffer
- proof assistant 3 Treffer
- reo 3 Treffer
- science & technology 3 Treffer
- semantics 3 Treffer
- ssreflect 3 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 2 Treffer
- [info.info-si]computer science [cs]/social and information networks [cs.si] 2 Treffer
- artificial intelligence & image processing 2 Treffer
- cloud hypervisor 2 Treffer
- coalgebras 2 Treffer
- connector 2 Treffer
- coordination 2 Treffer
- dependent types 2 Treffer
- formal proofs 2 Treffer
- formal semantics 2 Treffer
- library 2 Treffer
- logical frameworks 2 Treffer
- model transformation 2 Treffer
- model-driven engineering 2 Treffer
- operational semantics 2 Treffer
- paradoxes 2 Treffer
- pumping lemma 2 Treffer
- reasoning 2 Treffer
- scala 2 Treffer
- security 2 Treffer
- type theory 2 Treffer
- xml 2 Treffer
Verlag
Publikation
- lecture notes in computer science 142 Treffer
- interactive theorem proving - 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, proceedings 8 Treffer
- interactive theorem proving - 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, proceedings 6 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 5 Treffer
- theorem proving in higher order logics - 13th international conference, tphols 2000, proceedings 4 Treffer
-
45 weitere Werte:
- functional and logic programming - 13th international symposium, flops 2016, proceedings 3 Treffer
- interactive theorem proving - 6th international conference, itp 2015, proceedings 3 Treffer
- interactive theorem proving - 7th international conference, itp 2016, proceedings 3 Treffer
- interactive theorem proving - first international conference, itp 2010, proceedings 3 Treffer
- theorem proving in higher order logics - 21st international conference, tphols 2008, proceedings 3 Treffer
- types for proofs and programs - international workshop types 1996, selected papers 3 Treffer
- communications in computer and information science 2 Treffer
- computer aided systems theory - eurocast 2007 - 11th international conference on computer aided systems theory, revised selected papers 2 Treffer
- computer aided verification - 29th international conference, cav 2017, proceedings 2 Treffer
- fmics 2015 - formal methods for industrial critical systems ; https://cea.hal.science/cea-01834977 ; fmics 2015 - formal methods for industrial critical systems, jun 2015, oslo, norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩ 2 Treffer
- formal aspects of component software - 10th international symposium, facs 2013, revised selected papers 2 Treffer
- formal methods: foundations and applications - 21st brazilian symposium, sbmf 2018, proceedings 2 Treffer
- intelligent computer mathematics - 12th international conference, cicm 2019, proceedings 2 Treffer
- programming languages and systems - 16th asian symposium, aplas 2018, proceedings 2 Treffer
- programming languages and systems - 27th european symposium on programming, esop 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, proceedings 2 Treffer
- theorem proving in higher order logics - 10th international conference, tphols 1997, proceedings 2 Treffer
- theorem proving in higher order logics - 14th international conference, tphols 2001, proceedings 2 Treffer
- theorem proving in higher order logics - 15th international conference, tphols 2002, proceedings 2 Treffer
- theorem proving in higher order logics - 9th international conference, tphols 1996, proceedings 2 Treffer
- typed lambda calculi and applications - 2nd international conference on typed lambda calculi and applications, tlca 1995, proceedings 2 Treffer
- types for proofs and programs - international workshop types 1993, selected papers 2 Treffer
- advances in computer science for engineering and education 1 Treffer
- advances in computing science - asian 1999 - 5th asian computing science conference, proceedings 1 Treffer
- advances in computing science - asian 2000 - 6th asian computing science conference, proceedings 1 Treffer
- advances in intelligent systems and computing 1 Treffer
- algebra, meaning, and computation: essays dedicated to joseph a goguen on the occasion of his 65th birthday 1 Treffer
- algebraic methodology and software technology - 4th international conference, amast 1995, proceedings 1 Treffer
- algorithms and architectures for parallel processing - ica3pp international workshops and symposiums, proceedings 1 Treffer
- artificial intelligence and symbolic computation - 13th international conference, aisc 2018, proceedings 1 Treffer
- automated reasoning with analytic tableaux and related methods - 24th international conference, tableaux 2015, proceedings 1 Treffer
- automated reasoning with analytic tableaux and related methods - international conference, tableaux 1999, proceedings 1 Treffer
- certified programs and proofs - first international conference, cpp 2011, proceedings 1 Treffer
- computational science and its applications - 16th international conference, iccsa 2016, proceedings 1 Treffer
- computational science and its applications - iccsa 2019 - 19th international conference, 2019, proceedings 1 Treffer
- computer engineering and networking - proceedings of the 2013 international conference on computer engineering and network, cenet 2013 1 Treffer
- computer science - theory and applications - 10th international computer science symposium in russia, csr 2015, proceedings 1 Treffer
- dependable software engineering : theories, tools, and applications - 3rd international symposium, setta 2017, proceedings 1 Treffer
- dependable software engineering. theories, tools, and applications - 4th international symposium, setta 2018, proceedings 1 Treffer
- fm 2016: formal methods - 21st international symposium, proceedings 1 Treffer
- fme 1997: industrial applications and strengthened foundations of formal methods - 4th international symposium of formal methods europe, proceedings 1 Treffer
- formal aspects of component software - 13th international conference, facs 2016, revised selected papers 1 Treffer
- formal methods - 22nd international symposium, fm 2018, held as part of the federated logic conference, floc 2018, proceedings 1 Treffer
- formal methods and software engineering - 20th international conference on formal engineering methods, icfem 2018, proceedings 1 Treffer
- issn: 1863-2246 1 Treffer
- lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics 1 Treffer
Sprache
Geographischer Bezug
170 Treffer
-
2011Online KonferenzZugriff:
-
2019Online KonferenzZugriff:
-
2019Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: