Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer systems performance. reliability 2 Treffer
- fiabilidad 2 Treffer
- fiabilite 2 Treffer
- garbage collection 2 Treffer
- garbage collector 2 Treffer
-
45 weitere Werte:
- gestion memoire 2 Treffer
- gestion memoria 2 Treffer
- hoare logic 2 Treffer
- java language 2 Treffer
- langage java 2 Treffer
- langages de programmation 2 Treffer
- lenguaje java 2 Treffer
- logica hoare 2 Treffer
- logique hoare 2 Treffer
- performances des systemes informatiques. fiabilite 2 Treffer
- programming languages 2 Treffer
- proof theory 2 Treffer
- ramasse-miettes 2 Treffer
- recogemigas 2 Treffer
- reliability 2 Treffer
- security 2 Treffer
- storage management 2 Treffer
- teoria demonstracion 2 Treffer
- theorie preuve 2 Treffer
- abstraccion 1 Treffer
- abstract data type 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- algebra relacional 1 Treffer
- algebre relationnelle 1 Treffer
- algorithme randomise 1 Treffer
- algoritmo aleatorizado 1 Treffer
- analisis estatica 1 Treffer
- analyse statique 1 Treffer
- apprentissage probabilites 1 Treffer
- aprendizaje probabilidades 1 Treffer
- atomicidad 1 Treffer
- atomicite 1 Treffer
- atomicity 1 Treffer
- automatic proving 1 Treffer
- boarded computer 1 Treffer
- boolean logic 1 Treffer
- calculador embarque 1 Treffer
- calculateur embarque 1 Treffer
- calidad produccion 1 Treffer
- compilacion 1 Treffer
- compilation 1 Treffer
- computer security 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
Verlag
Publikation
Sprache
3 Treffer
-
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: 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: