Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
- interactive theorem proving 29 Treffer
- automated reasoning. part ii 8 Treffer
- computer aided verification. part ii 5 Treffer
- mathematics of program construction 5 Treffer
- relational and algebraic methods in computer science 5 Treffer
-
42 weitere Werte:
- automated reasoning with analytic tableaux and related methods 4 Treffer
- formal methods: foundations and applications 3 Treffer
- functional and logic programming 3 Treffer
- logic, language, information, and computation 3 Treffer
- logical foundations of computer science 3 Treffer
- verification, model checking, and abstract interpretation 3 Treffer
- automated reasoning 2 Treffer
- deductive software verification---the key book 2 Treffer
- formal methods 2 Treffer
- frontiers of combining systems 2 Treffer
- nasa formal methods 2 Treffer
- stabilization, safety, and security of distributed systems 2 Treffer
- automated deduction---cade 25 1 Treffer
- automated deduction---cade 26 1 Treffer
- coalgebraic methods in computer science 1 Treffer
- computational methods in systems biology 1 Treffer
- computer aided verification. part ii. 1 Treffer
- computer aided verification. part iii 1 Treffer
- computer science---theory and applications 1 Treffer
- contradictions, from consistency to inconsistency 1 Treffer
- critical systems: formal methods and automated verification 1 Treffer
- dynamic logic---new trends and applications 1 Treffer
- fm 2015: formal methods 1 Treffer
- formal methods---the next 30 years 1 Treffer
- foundations of software science and computation structures 1 Treffer
- language, logic, and computation 1 Treffer
- logic-based program synthesis and transformation 1 Treffer
- mathematical software---icms 2020 1 Treffer
- mathematics, computer science and logic---a never ending story 1 Treffer
- models, mindsets, meta---the what, the how, and the why not? 1 Treffer
- networked systems 1 Treffer
- new frontiers in artificial intelligence 1 Treffer
- progress in cryptology---indocrypt 2020 1 Treffer
- rewriting and typed lambda calculi 1 Treffer
- runtime verification 1 Treffer
- the art of modelling computational systems---a journey from logic and concurrency to security and privacy 1 Treffer
- theoretical aspects of computing---ictac 2015 1 Treffer
- theoretical aspects of computing---ictac 2016 1 Treffer
- theoretical aspects of computing---ictac 2018 1 Treffer
- theoretical aspects of computing---ictac 2021 1 Treffer
- theoretical aspects of computing---ictac 2023 1 Treffer
- theories of programming and formal methods---essays dedicated to jifeng he on the occasion of his 80th birthday 1 Treffer
Sprache
113 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: