Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 73 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 72 Treffer
- computer science 70 Treffer
- 020207 software engineering 58 Treffer
- 01 natural sciences 49 Treffer
-
45 weitere Werte:
- computer 48 Treffer
- 0102 computer and information sciences 43 Treffer
- 010201 computation theory & mathematics 43 Treffer
- computer.software_genre 43 Treffer
- proof assistant 43 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 42 Treffer
- programming language 39 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 38 Treffer
- computational theory and mathematics 34 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 32 Treffer
- artificial intelligence 31 Treffer
- theoretical computer science 28 Treffer
- coq 22 Treffer
- correctness 21 Treffer
- compiler 19 Treffer
- 020204 information systems 18 Treffer
- mathematical proof 17 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 17 Treffer
- 020201 artificial intelligence & image processing 15 Treffer
- algorithm 15 Treffer
- computer.programming_language 15 Treffer
- computer graphics and computer-aided design 14 Treffer
- formal proof 14 Treffer
- business 13 Treffer
- business.industry 13 Treffer
- fos: computer and information sciences 13 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 12 Treffer
- mathematics 12 Treffer
- formal verification 11 Treffer
- safety, risk, reliability and quality 11 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 10 Treffer
- [info]computer science [cs] 10 Treffer
- computer science - logic in computer science 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- soundness 10 Treffer
- semantics (computer science) 9 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 8 Treffer
- 0101 mathematics 8 Treffer
- automated theorem proving 8 Treffer
- calculus 8 Treffer
- floating point 8 Treffer
- hardware and architecture 8 Treffer
- algebra 7 Treffer
- computer science - programming languages 7 Treffer
- computer science::programming languages 7 Treffer
Sprache
94 Treffer
-
2013Online unknownZugriff:
-
2012Online unknownZugriff:
-
2009Online unknownZugriff: