Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer.programming_language 2 Treffer
- functional programming 2 Treffer
- mathematical proof 2 Treffer
- proof assistant 2 Treffer
- [info] computer science [cs] 1 Treffer
-
45 weitere Werte:
- [info]computer science [cs] 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020207 software engineering 1 Treffer
- 03 medical and health sciences 1 Treffer
- 0302 clinical medicine 1 Treffer
- 030217 neurology & neurosurgery 1 Treffer
- 0303 health sciences 1 Treffer
- 030304 developmental biology 1 Treffer
- agda 1 Treffer
- automated theorem proving 1 Treffer
- c11 1 Treffer
- champion 1 Treffer
- characteristics 1 Treffer
- compiler 1 Treffer
- compiler construction 1 Treffer
- compiler correctness 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- concurrency 1 Treffer
- concurrency semantics 1 Treffer
- concurrent object-oriented programming 1 Treffer
- cryptographic implementations 1 Treffer
- cryptographic primitive 1 Treffer
- data structure 1 Treffer
- decidability 1 Treffer
- development (topology) 1 Treffer
- fifth-generation programming language 1 Treffer
- first-generation programming language 1 Treffer
- fourth-generation programming language 1 Treffer
- functional compiler 1 Treffer
- functional logic programming 1 Treffer
- functional verification 1 Treffer
- health policy 1 Treffer
- java 1 Treffer
- knowledge management 1 Treffer
- lcsh:computer applications to medicine. medical informatics 1 Treffer
- lcsh:q1-390 1 Treffer
- lcsh:r858-859.7 1 Treffer
- lcsh:science (general) 1 Treffer
- leadership 1 Treffer
- logic and verification 1 Treffer
- low-level programming language 1 Treffer
- media_common 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: Data in brief, Jg. 30 (2020-03-03)Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 44 (2022-09-21), S. 1-54Online unknownZugriff:
-
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017-10-30Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 46 (2011-06-04), S. 234-245Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 17 (2006-05-04), S. 287-352Online unknownZugriff:
-
In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012-09-09Online unknownZugriff: