Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 53 Treffer
- formal verification 6 Treffer
- verification 5 Treffer
- functional programming 4 Treffer
- formal methods 3 Treffer
-
45 weitere Werte:
- formal proof 3 Treffer
- interactive theorem proving 3 Treffer
- proof assistant 3 Treffer
- reo 3 Treffer
- security 3 Treffer
- ssreflect 3 Treffer
- theorem proving 3 Treffer
- connector 2 Treffer
- coordination 2 Treffer
- dependent types 2 Treffer
- formal proofs 2 Treffer
- formal semantics 2 Treffer
- formalization 2 Treffer
- interactive theorem prover 2 Treffer
- model transformation 2 Treffer
- model-driven engineering 2 Treffer
- operational semantics 2 Treffer
- reasoning 2 Treffer
- scala 2 Treffer
- semantics 2 Treffer
- type theory 2 Treffer
- abstract interpretation 1 Treffer
- acoustic wave equation 1 Treffer
- agda 1 Treffer
- algebraic theory 1 Treffer
- algorithmic game theory 1 Treffer
- analysis 1 Treffer
- android 1 Treffer
- architecture description language 1 Treffer
- authentication 1 Treffer
- automation 1 Treffer
- axiom of choice 1 Treffer
- balls 1 Treffer
- bar induction 1 Treffer
- bcd 1 Treffer
- branch and bound method 1 Treffer
- bsp 1 Treffer
- byzantine faults 1 Treffer
- category theory 1 Treffer
- certification 1 Treffer
- chomsky normal form 1 Treffer
- closure 1 Treffer
- clustering 1 Treffer
- coalgebra 1 Treffer
- code generation 1 Treffer
Publikation
- lecture notes in computer science 158 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
- 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
- $2 1 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
- formal modeling and analysis of timed systems - 16th international conference, formats 2018, proceedings 1 Treffer
- formal techniques for distributed objects, components, and systems - 39th ifip wg 6.1 international conference, forte 2019, held as part of the 14th international federated conference on distributed computing techniques, discotec 2019, proceedings 1 Treffer
Sprache
164 Treffer
-
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:
-
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: