Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 20 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 19 Treffer
- computer 16 Treffer
- 020207 software engineering 15 Treffer
- computer.software_genre 13 Treffer
-
45 weitere Werte:
- 01 natural sciences 12 Treffer
- 0102 computer and information sciences 10 Treffer
- 010201 computation theory & mathematics 10 Treffer
- programming language 10 Treffer
- proof assistant 9 Treffer
- coq 8 Treffer
- theoretical computer science 8 Treffer
- mathematical proof 7 Treffer
- soundness 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- 020204 information systems 6 Treffer
- automated theorem proving 6 Treffer
- fos: computer and information sciences 6 Treffer
- software engineering 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- computer graphics and computer-aided design 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- algorithm 4 Treffer
- distributed computing 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- 020206 networking & telecommunications 3 Treffer
- certification 3 Treffer
- compiler 3 Treffer
- computer networks and communications 3 Treffer
- computer science - logic in computer science 3 Treffer
- computer science - programming languages 3 Treffer
- computer.programming_language 3 Treffer
- concurrency 3 Treffer
- correctness 3 Treffer
- cryptography 3 Treffer
- general computer science 3 Treffer
- information systems 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- modular design 3 Treffer
- program slicing 3 Treffer
- programming languages (cs.pl) 3 Treffer
- safety, risk, reliability and quality 3 Treffer
- user experience design 3 Treffer
- verification 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 2 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- [info]computer science [cs] 2 Treffer
Verlag
Publikation
31 Treffer
-
2012Online unknownZugriff:
-
In: Human-Centric Computing and Information Sciences, Jg. 8 (2018-07-01), Heft 1, S. 1-24Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 43-55Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 239 (2017), S. 15-27Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 32 (2001), Heft 1-2, S. 55-70Online unknownZugriff: