Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- langage programmation 7 Treffer
- lenguaje programacion 7 Treffer
- programming language 7 Treffer
- proof theory 5 Treffer
- teoria demonstracion 5 Treffer
-
45 weitere Werte:
- theorie preuve 5 Treffer
- verification 5 Treffer
- automatic proving 3 Treffer
- computer systems performance. reliability 3 Treffer
- data type 3 Treffer
- demonstration automatique 3 Treffer
- demostracion automatica 3 Treffer
- genie logiciel 3 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 3 Treffer
- intermediate language 3 Treffer
- langage intermediaire 3 Treffer
- lenguaje intermediario 3 Treffer
- memory and file management (including protection and security) 3 Treffer
- memory organisation. data processing 3 Treffer
- organisation des memoires. traitement des donnees 3 Treffer
- performances des systemes informatiques. fiabilite 3 Treffer
- proof-carrying code 3 Treffer
- reliability 3 Treffer
- safety 3 Treffer
- securite 3 Treffer
- security 3 Treffer
- seguridad 3 Treffer
- semantica 3 Treffer
- semantics 3 Treffer
- semantique 3 Treffer
- software engineering 3 Treffer
- theory 3 Treffer
- tipo dato 3 Treffer
- type donnee 3 Treffer
- compilacion 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compilation 2 Treffer
- compiler 2 Treffer
- fiabilidad 2 Treffer
- fiabilite 2 Treffer
- garbage collection 2 Treffer
- garbage collector 2 Treffer
- gestion memoire 2 Treffer
- gestion memoria 2 Treffer
- hoare logic 2 Treffer
- informatique theorique 2 Treffer
- java language 2 Treffer
- langage java 2 Treffer
- lenguaje java 2 Treffer
Verlag
Publikation
- acm sigplan notices 6 Treffer
- acm transactions on programming languages and systems 3 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 2 Treffer
- 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'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
-
2 weitere Werte:
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 1 Treffer
- proceedings of the eleventh acm sigplan international conference on functional programming (icfp'06), september 18-20, 2006 - portland, oregon, usa 1 Treffer
Sprache
9 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: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USA, Jg. 41 (2006), Heft 9, S. 160-171KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 109-122KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 468-479KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 54-65KonferenzZugriff:
-
In: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 401-414KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: