Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 735 Treffer
- formal verification 89 Treffer
- coq proof assistant 54 Treffer
- theorem proving 49 Treffer
- interactive theorem proving 46 Treffer
-
45 weitere Werte:
- verification 45 Treffer
- coenzyme q 41 Treffer
- formalization 40 Treffer
- separation logic 34 Treffer
- formal proof 33 Treffer
- proof assistant 33 Treffer
- formal methods 29 Treffer
- mitochondria 27 Treffer
- ssreflect 25 Treffer
- ubiquinone 25 Treffer
- proof assistants 23 Treffer
- cost of quality 22 Treffer
- type theory 22 Treffer
- blockchain 20 Treffer
- formal proofs 19 Treffer
- oxidative stress 18 Treffer
- antenna measurements 17 Treffer
- dependent types 17 Treffer
- program verification 17 Treffer
- the coq proof assistant 17 Treffer
- adsorption 16 Treffer
- certification 16 Treffer
- smart contracts 16 Treffer
- filtration 15 Treffer
- chalcogenide glasses 14 Treffer
- coinduction 14 Treffer
- constructive type theory 14 Treffer
- coq 10 14 Treffer
- dependent type theory 14 Treffer
- functional programming 14 Treffer
- iris 14 Treffer
- formal semantics 13 Treffer
- operational semantics 13 Treffer
- semantics 13 Treffer
- undecidability 13 Treffer
- computability theory 12 Treffer
- formalization of mathematics 12 Treffer
- hoare logic 12 Treffer
- proof automation 12 Treffer
- antioxidant 11 Treffer
- category theory 11 Treffer
- coenzyme q10 11 Treffer
- first-order logic 11 Treffer
- floating-point arithmetic 11 Treffer
- formal method 11 Treffer
Verlag
- springer verlag 171 Treffer
- institute of electrical and electronics engineers inc. 157 Treffer
- association for computing machinery 113 Treffer
- association for computing machinery, inc 91 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 81 Treffer
-
45 weitere Werte:
- elsevier b.v. 77 Treffer
- springer science and business media deutschland gmbh 44 Treffer
- elsevier ltd 43 Treffer
- arxiv 35 Treffer
- ieee computer society 34 Treffer
- springer 34 Treffer
- elsevier inc. 33 Treffer
- academic press inc. 31 Treffer
- elsevier 30 Treffer
- mdpi 24 Treffer
- open publishing association 21 Treffer
- inria 20 Treffer
- springer netherlands 20 Treffer
- inderscience publishers 19 Treffer
- springer science and business media b.v. 18 Treffer
- blackwell publishing ltd 16 Treffer
- elsevier masson sas 16 Treffer
- taylor and francis ltd. 16 Treffer
- american nuclear society 13 Treffer
- chinese academy of sciences 13 Treffer
- nature research 13 Treffer
- cambridge university press 12 Treffer
- frontiers media s.a. 12 Treffer
- springer-verlag 12 Treffer
- taylor and francis 12 Treffer
- american chemical society 11 Treffer
- elsevier masson s.r.l. 11 Treffer
- kluwer academic publishers 11 Treffer
- logical methods in computer science 11 Treffer
- mdpi ag 11 Treffer
- optica publishing group (formerly osa) 11 Treffer
- oxford university press 11 Treffer
- ceur-ws 10 Treffer
- osa - the optical society 10 Treffer
- john wiley and sons inc 9 Treffer
- nature publishing group 9 Treffer
- edp sciences 8 Treffer
- elsevier science publishers b.v. 8 Treffer
- wiley-vch verlag 8 Treffer
- american physical society 7 Treffer
- optical society of america (osa) 7 Treffer
- spie 7 Treffer
- american society for microbiology 6 Treffer
- institute of physics publishing 6 Treffer
- royal society of chemistry 6 Treffer
Publikation
- lecture notes in computer science 298 Treffer
- leibniz international proceedings in informatics, lipics 78 Treffer
- journal of automated reasoning 47 Treffer
- ieee transactions on antennas and propagation 41 Treffer
- proceedings of the acm on programming languages 40 Treffer
-
45 weitere Werte:
- arxiv 35 Treffer
- acm sigplan notices 31 Treffer
- journal of catalysis 30 Treffer
- electronic notes in theoretical computer science 26 Treffer
- applied catalysis b: environmental 25 Treffer
- acm international conference proceeding series 22 Treffer
- electronic proceedings in theoretical computer science, eptcs 21 Treffer
- optics infobase conference papers 21 Treffer
- comptes rendus des seances de la societe de biologie et de ses filiales 19 Treffer
- studies in surface science and catalysis 19 Treffer
- logical methods in computer science 18 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 17 Treffer
- science of computer programming 16 Treffer
- conference record of the annual acm symposium on principles of programming languages 14 Treffer
- ruan jian xue bao/journal of software 13 Treffer
- journal of non-crystalline solids 12 Treffer
- proceedings of spie - the international society for optical engineering 12 Treffer
- theoretical computer science 12 Treffer
- bulletin of entomological research 11 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
- ecosystem services from agriculture and agroforestry: measurement and payment 10 Treffer
- ieee antennas and wireless propagation letters 10 Treffer
- journal of bacteriology 10 Treffer
- optics letters 10 Treffer
- scientific reports 10 Treffer
- applied catalysis a: general 9 Treffer
- febs letters 9 Treffer
- journal of molecular catalysis 9 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 9 Treffer
- tetrahedron letters 9 Treffer
- biofactors 8 Treffer
- catalysis letters 8 Treffer
- catalysis today 8 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
- international journal of productivity and quality management 8 Treffer
- physical review letters 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
- journal of biological chemistry 7 Treffer
- journal of logical and algebraic methods in programming 7 Treffer
- journal of physical chemistry b 7 Treffer
Sprache
2.798 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: