Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal verification 2 Treffer
- informatique theorique 2 Treffer
- langage programmation 2 Treffer
- langages de programmation 2 Treffer
- language theory and syntactical analysis 2 Treffer
-
45 weitere Werte:
- languages 2 Treffer
- lenguaje programacion 2 Treffer
- logiciel 2 Treffer
- logiciel a securite critique 2 Treffer
- program verification 2 Treffer
- programming language 2 Treffer
- programming languages 2 Treffer
- safety-critical software 2 Treffer
- software 2 Treffer
- theoretical computing 2 Treffer
- theorie des langages et analyse syntaxique 2 Treffer
- verificacion programa 2 Treffer
- verification formelle 2 Treffer
- verification programme 2 Treffer
- abstract machine 1 Treffer
- automata. abstract machines. turing machines 1 Treffer
- automates. machines abstraites. machines de turing 1 Treffer
- binary code 1 Treffer
- boolean logic 1 Treffer
- calcul construction 1 Treffer
- calculo construccion 1 Treffer
- cifrado 1 Treffer
- code binaire 1 Treffer
- code generation 1 Treffer
- codigo binario 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compiler 1 Treffer
- compiler optimization 1 Treffer
- computer security 1 Treffer
- criptografia 1 Treffer
- critical system 1 Treffer
- cryptage 1 Treffer
- cryptographie 1 Treffer
- cryptography 1 Treffer
- data structure 1 Treffer
- desarrollo serie 1 Treffer
- developpement serie 1 Treffer
- dynamic programming 1 Treffer
- encryption 1 Treffer
- estructura datos 1 Treffer
- estructura periodica 1 Treffer
- formal method 1 Treffer
- formal semantics 1 Treffer
- generacion codigo 1 Treffer
Publikation
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 1 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 1 Treffer
- proceedings of the seventh acm sigplan international conference on functional programming (icfp'02) 1 Treffer
Sprache
3 Treffer
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 42-54KonferenzZugriff:
-
In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02), Jg. 37 (2002), Heft 9, S. 235-246KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 66-77KonferenzZugriff: