Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 442 Treffer
- formal verification 58 Treffer
- verification 30 Treffer
- coq proof assistant 29 Treffer
- interactive theorem proving 29 Treffer
-
45 weitere Werte:
- theorem proving 25 Treffer
- formalization 24 Treffer
- formal methods 18 Treffer
- proof assistant 18 Treffer
- ssreflect 17 Treffer
- formal proof 16 Treffer
- separation logic 16 Treffer
- proof assistants 15 Treffer
- type theory 14 Treffer
- functional programming 13 Treffer
- blockchain 12 Treffer
- dependent types 12 Treffer
- formal proofs 12 Treffer
- program verification 11 Treffer
- smart contracts 11 Treffer
- constructive type theory 10 Treffer
- formalization of mathematics 9 Treffer
- homotopy type theory 9 Treffer
- operational semantics 9 Treffer
- category theory 8 Treffer
- certification 8 Treffer
- computability theory 8 Treffer
- dependent type theory 8 Treffer
- formal semantics 8 Treffer
- haskell 8 Treffer
- hoare logic 8 Treffer
- semantics 8 Treffer
- undecidability 8 Treffer
- coinduction 7 Treffer
- completeness 7 Treffer
- model transformation 7 Treffer
- monads 7 Treffer
- proof automation 7 Treffer
- the coq proof assistant 7 Treffer
- automated theorem proving 6 Treffer
- certified programming 6 Treffer
- first-order logic 6 Treffer
- floating-point arithmetic 6 Treffer
- formalisation 6 Treffer
- higher inductive types 6 Treffer
- iris 6 Treffer
- llvm 6 Treffer
- optical frequency combs 6 Treffer
- program extraction 6 Treffer
- projective geometry 6 Treffer
Verlag
- springer verlag 147 Treffer
- institute of electrical and electronics engineers inc. 117 Treffer
- association for computing machinery, inc 91 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 81 Treffer
- association for computing machinery 54 Treffer
-
45 weitere Werte:
- springer science and business media deutschland gmbh 36 Treffer
- ieee computer society 32 Treffer
- open publishing association 21 Treffer
- inria 20 Treffer
- springer 19 Treffer
- american nuclear society 13 Treffer
- ceur-ws 10 Treffer
- optica publishing group (formerly osa) 10 Treffer
- elsevier inc. 7 Treffer
- spie 7 Treffer
- elsevier b.v. 6 Treffer
- optical society of america (osa) 6 Treffer
- international society of indoor air quality and climate 5 Treffer
- european space agency 3 Treffer
- ieee 3 Treffer
- ios press 3 Treffer
- optical society of america 3 Treffer
- american institute of physics 2 Treffer
- easychair 2 Treffer
- edp sciences 2 Treffer
- elsevier 2 Treffer
- elsevier bv 2 Treffer
- elsevier masson sas 2 Treffer
- institute of physics publishing 2 Treffer
- institution of engineering and technology 2 Treffer
- knowledge systems institute graduate school 2 Treffer
- universitatsbibliothek tu berlin 2 Treffer
- aaai press 1 Treffer
- academic press inc. 1 Treffer
- acs 1 Treffer
- american institute of physics inc. 1 Treffer
- american society for engineering management 1 Treffer
- asm international 1 Treffer
- association for computational linguistics (acl) 1 Treffer
- association for computing machinery (acm) 1 Treffer
- blackwell publishing inc. 1 Treffer
- elsevier ltd 1 Treffer
- elsevier masson s.r.l. 1 Treffer
- elsevier sequoia sa 1 Treffer
- epri 1 Treffer
- european conference on composite materials, eccm 1 Treffer
- hemisphere publ co 1 Treffer
- iaea (sti/pub/343) 1 Treffer
- ibfi schloss dagstuhl 1 Treffer
- inderscience publishers 1 Treffer
Publikation
- lecture notes in computer science 278 Treffer
- leibniz international proceedings in informatics, lipics 78 Treffer
- acm international conference proceeding series 22 Treffer
- electronic proceedings in theoretical computer science, eptcs 21 Treffer
- optics infobase conference papers 21 Treffer
-
45 weitere Werte:
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 17 Treffer
- acm sigplan notices 16 Treffer
- conference record of the annual acm symposium on principles of programming languages 14 Treffer
- electronic notes in theoretical computer science 12 Treffer
- ceur workshop proceedings 11 Treffer
- cpp 2018 - proceedings of the 7th acm sigplan international conference on certified programs and proofs, co-located with popl 2018 11 Treffer
- transactions of the american nuclear society 11 Treffer
- cpp 2020 - proceedings of the 9th acm sigplan international conference on certified programs and proofs, co-located with popl 2020 10 Treffer
- proceedings of spie - the international society for optical engineering 10 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 9 Treffer
- certified programs and proofs - first international conference, cpp 2011, proceedings 8 Treffer
- interactive theorem proving - 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, proceedings 8 Treffer
- cpp 2017 - proceedings of the 6th acm sigplan conference on certified programs and proofs, co-located with popl 2017 7 Treffer
- cpp 2024 - proceedings of the 13th acm sigplan international conference on certified programs and proofs, co-located with: popl 2024 7 Treffer
- aip conference proceedings 6 Treffer
- communications in computer and information science 6 Treffer
- cpp 2021 - proceedings of the 10th acm sigplan international conference on certified programs and proofs, co-located with popl 2021 6 Treffer
- cpp 2023 - proceedings of the 12th acm sigplan international conference on certified programs and proofs, co-located with popl 2023 6 Treffer
- european conference on antennas and propagation, eucap 2009, proceedings 6 Treffer
- interactive theorem proving - 4th international conference, itp 2013, proceedings 6 Treffer
- proceedings of the acm symposium on applied computing 6 Treffer
- studies in surface science and catalysis 6 Treffer
- cpp 2015 - proceedings of the 2015 acm conference on certified programs and proofs, co-located with popl 2015 5 Treffer
- cpp 2016 - proceedings of the 5th acm sigplan conference on certified programs and proofs, co-located with popl 2016 5 Treffer
- cpp 2019 - proceedings of the 8th acm sigplan international conference on certified programs and proofs, co-located with popl 2019 5 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 5 Treffer
- interactive theorem proving - 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, proceedings 5 Treffer
- openaccess series in informatics 5 Treffer
- proceedings - international conference on software engineering 5 Treffer
- proceedings of the acm conference on computer and communications security 5 Treffer
- 31eme journees francophones des langages applicatifs, jfla 2020 4 Treffer
- automated reasoning - 10th international joint conference, ijcar 2020, proceedings 4 Treffer
- biofactors 4 Treffer
- certified programs and proofs - third international conference, cpp 2013, proceedings 4 Treffer
- cpp 2022 - proceedings of the 11th acm sigplan international conference on certified programs and proofs, co-located with popl 2022 4 Treffer
- eucap 2010 - the 4th european conference on antennas and propagation 4 Treffer
- european space agency, (special publication) esa sp 4 Treffer
- ieee antennas and propagation society, ap-s international symposium (digest) 4 Treffer
- intelligent computer mathematics - 18th symposium, calculemus 2011 and 10th international conference, mkm 2011, proceedings 4 Treffer
- interactive theorem proving - first international conference, itp 2010, proceedings 4 Treffer
- interactive theorem proving - third international conference, itp 2012, proceedings 4 Treffer
- jfla 2019 - journees francophones des langages applicatifs 4 Treffer
- proceedings - 2023 china automation congress, cac 2023 4 Treffer
- proceedings - ieee computer security foundations symposium 4 Treffer
- proceedings - symposium on computer arithmetic 4 Treffer
Sprache
1.043 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!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!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: