Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- OpenAIRE 1.635 Treffer
- PASCAL Archive 168 Treffer
- BASE 70 Treffer
- Supplemental Index 60 Treffer
- Complementary Index 47 Treffer
-
20 weitere Werte:
- SwePub 23 Treffer
- IEEE Xplore Digital Library 16 Treffer
- GBV Online Contents 15 Treffer
- Networked Digital Library of Theses & Dissertations 12 Treffer
- OpenDissertations 10 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 10 Treffer
- Applied Science & Technology Source 8 Treffer
- Academic Search Index 6 Treffer
- eScholarship 4 Treffer
- Europeana 3 Treffer
- Gale Academic OneFile 3 Treffer
- eBook Index 2 Treffer
- Digital Access to Scholarship at Harvard (DASH) 1 Treffer
- Gale General OneFile 1 Treffer
- Gale OneFile: Computer Science 1 Treffer
- Gale OneFile: High School Edition 1 Treffer
- Philosopher's Index 1 Treffer
- Gale In Context: Global Issues 1 Treffer
- ERIC 1 Treffer
- FRANCIS Archive 1 Treffer
Art der Quelle
Schlagwort
- computer 1.107 Treffer
- computer.software_genre 1.021 Treffer
- programming language 959 Treffer
- 02 engineering and technology 741 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 728 Treffer
-
45 weitere Werte:
- proof assistant 711 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 658 Treffer
- 020207 software engineering 519 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 503 Treffer
- software 480 Treffer
- theoretical computer science 422 Treffer
- 01 natural sciences 409 Treffer
- mathematical proof 378 Treffer
- business 361 Treffer
- business.industry 361 Treffer
- 0102 computer and information sciences 360 Treffer
- 010201 computation theory & mathematics 360 Treffer
- computer.programming_language 337 Treffer
- correctness 311 Treffer
- formal verification 250 Treffer
- 020201 artificial intelligence & image processing 241 Treffer
- 020204 information systems 193 Treffer
- compiler 190 Treffer
- coq 189 Treffer
- automated theorem proving 187 Treffer
- fos: computer and information sciences 172 Treffer
- informatique 169 Treffer
- exact sciences and technology 168 Treffer
- sciences exactes et technologie 168 Treffer
- type theory 166 Treffer
- applied sciences 163 Treffer
- sciences appliquees 163 Treffer
- computer science; control theory; systems 161 Treffer
- informatique; automatique theorique; systemes 161 Treffer
- soundness 153 Treffer
- semantics (computer science) 152 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 150 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 149 Treffer
- software engineering 145 Treffer
- computer science::logic in computer science 138 Treffer
- functional programming 126 Treffer
- algorithm 122 Treffer
- computer science::programming languages 120 Treffer
- artificial intelligence 119 Treffer
- computer science - logic in computer science 119 Treffer
- computer graphics and computer-aided design 116 Treffer
- logic in computer science (cs.lo) 116 Treffer
- calculus 115 Treffer
- informatique theorique 112 Treffer
- theoretical computing 108 Treffer
Verlag
- hal ccsd 276 Treffer
- springer berlin heidelberg 237 Treffer
- acm 204 Treffer
- springer international publishing 174 Treffer
- association for computing machinery (acm) 135 Treffer
-
45 weitere Werte:
- springer 125 Treffer
- ieee 122 Treffer
- springer nature 97 Treffer
- elsevier 20 Treffer
- elsevier b.v. 18 Treffer
- association for computing machinery 12 Treffer
- escholarship, university of california 11 Treffer
- lavoisier 11 Treffer
- cambridge university press 9 Treffer
- springer-verlag 7 Treffer
- mdpi ag 6 Treffer
- yale university 6 Treffer
- ios press 5 Treffer
- cornell university 4 Treffer
- ohio university / ohiolink 4 Treffer
- princeton, nj : princeton university 4 Treffer
- springer verlag 4 Treffer
- totem publisher, inc. 4 Treffer
- heidelberg; springer 3 Treffer
- heidelberg; springer; c 3 Treffer
- university of kansas 3 Treffer
- berlin; springer; c 2 Treffer
- dalhousie university 2 Treffer
- mcgill university 2 Treffer
- mdpi 2 Treffer
- newsrx llc 2 Treffer
- ohio university honors tutorial college / ohiolink 2 Treffer
- trinity college (dublin, ireland). school of computer science & statistics 2 Treffer
- university of gothenburg 2 Treffer
- university of missouri--columbia 2 Treffer
- berlin; springer 1 Treffer
- eth 1 Treffer
- eth institute of software engineering 1 Treffer
- eth, department of computer science 1 Treffer
- harvard university 1 Treffer
- institutes outside greece 1 Treffer
- internat. begegnungs- und forschungszentrum fur informatik 1 Treffer
- my university 1 Treffer
- open works 1 Treffer
- pdxscholar 1 Treffer
- proquest dissertations & theses 1 Treffer
- saarlandische universitats- und landesbibliothek 1 Treffer
- technical university of kaiserslautern, department of computer science 1 Treffer
- technische universitat kaiserslautern, fachbereich informatik 1 Treffer
- unilu - university of luxembourg 1 Treffer
Publikation
- lecture notes in computer science 104 Treffer
- acm sigplan notices 74 Treffer
- proceedings of the acm on programming languages 50 Treffer
- journal of automated reasoning 42 Treffer
- electronic notes in theoretical computer science 29 Treffer
-
45 weitere Werte:
- theoretical computer science 29 Treffer
- journal of functional programming 25 Treffer
- electronic proceedings in theoretical computer science 20 Treffer
- science of computer programming 14 Treffer
- formal aspects of computing 11 Treffer
- mathematical structures in computer science 9 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- acm transactions on programming languages and systems 7 Treffer
- types for proofs & programs (9783540744634) 7 Treffer
- entcs: electronic notes in theoretical computer science 6 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- theorem proving in higher order logics (9783540745907) 6 Treffer
- types for proofs & programs 6 Treffer
- automated reasoning 5 Treffer
- computer aided systems theory - eurocast 2007 4 Treffer
- fundamenta informaticae 4 Treffer
- international journal of performability engineering 4 Treffer
- mathematics 4 Treffer
- acm transactions on computational logic 3 Treffer
- communications of the acm 3 Treffer
- logic for programming, artificial intelligence & reasoning (9783540755586) 3 Treffer
- logical methods in computer science 3 Treffer
- acm transactions on mathematical software 2 Treffer
- advances in computer science - asian 2006. secure software & related issues 2 Treffer
- annals of mathematics and artificial intelligence : amai 2 Treffer
- automated deduction - cade-20 2 Treffer
- computer weekly news 2 Treffer
- functional & logic programming (9783540334385) 2 Treffer
- journal of symbolic computation 2 Treffer
- mathematics (2227-7390) 2 Treffer
- mathematics of program construction (9783540356318) 2 Treffer
- parallel processing letters 2 Treffer
- rewriting, computation & proof 2 Treffer
- theorem proving in higher order logics 2 Treffer
- theorem proving in higher order logics (9783540283720) 2 Treffer
- theorem proving in higher order logics (9783540615873) 2 Treffer
- towards mechanized mathematical assistants 2 Treffer
- typed lambda calculi & applications 2 Treffer
- 31 ; 1 1 Treffer
- 38 ; 1 1 Treffer
- acta didactica napocensia 1 Treffer
- automated deduction in geometry (978-3-540-77355-9) 1 Treffer
- computer science faculty publications and presentations 1 Treffer
- senior independent study theses 1 Treffer
- tools and algorithms for the construction and analysis of systems 1 Treffer
Sprache
Geographischer Bezug
2.098 Treffer
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 6683-6687KonferenzZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01, S. 1001-1005KonferenzZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online academicJournalZugriff:
-
In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01, S. 29-36KonferenzZugriff:
-
In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, S. 89-92Online unknownZugriff:
-
In: Automated Reasoning, 2020, S. 97-118Online unknownZugriff:
-
In: Mathematics, Jg. 11 (2023-06-01), Heft 12Online academicJournalZugriff:
-
In: Mathematics, Jg. 11 (2023-05-01), Heft 11Online academicJournalZugriff:
-
In: Formal Methods. FM 2019 International Workshops, 2020, S. 362-367Online unknownZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219KonferenzZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315KonferenzZugriff: