Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- fiabilidad logicial 4 Treffer
- fiabilite logiciel 4 Treffer
- ingenieria informatica 4 Treffer
- program verification 4 Treffer
- software reliability 4 Treffer
-
45 weitere Werte:
- verificacion programa 4 Treffer
- verification programme 4 Treffer
- langage programmation 3 Treffer
- lenguaje programacion 3 Treffer
- programming language 3 Treffer
- algorithms 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- comportamiento programa 2 Treffer
- comportement programme 2 Treffer
- concurrency 2 Treffer
- echantillonnage aleatoire 2 Treffer
- essai programme 2 Treffer
- feature selection 2 Treffer
- logistic regression 2 Treffer
- muestreo aleatorio 2 Treffer
- preuve programme 2 Treffer
- program behavior 2 Treffer
- program proof 2 Treffer
- program testing 2 Treffer
- prueba programa 2 Treffer
- random sampling 2 Treffer
- regresion logistica 2 Treffer
- regression logistique 2 Treffer
- selection forme 2 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- adaptive detection 1 Treffer
- analisis programa 1 Treffer
- analyse programme 1 Treffer
- aplicacion industrial 1 Treffer
- application industrielle 1 Treffer
- application program interfaces 1 Treffer
- arbol b 1 Treffer
- arbre b 1 Treffer
- b tree 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- certificacion 1 Treffer
- certification 1 Treffer
Verlag
Publikation
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 3 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
- principles, logics, and implementations of high-level programming languages (pli) 1 Treffer
- proceedings of the 11th international conference on architectural support for programming languages and operating systems (asplos-xi), october 9-13, 2004, boston, massachusetts 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
- Ein weiterer Wert:
Sprache
10 Treffer
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 15-26KonferenzZugriff:
-
In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ® (PLDI'03), San Diego, California, USA, June 9-11, Jg. 38 (2003), Heft 5, S. 141-154KonferenzZugriff:
-
In: ACM SIGPLAN notices, Jg. 39 (2004), Heft 12, S. 92-106academicJournalZugriff:
-
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. 84-95KonferenzZugriff:
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 27-37KonferenzZugriff:
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 1-14KonferenzZugriff:
-
In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI), October 9-13, 2004, Boston, Massachusetts, Jg. 39 (2004), Heft 11, S. 156-164KonferenzZugriff:
-
In: Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, Jg. 39 (2004), Heft 9, S. 201-212KonferenzZugriff:
-
In: Principles, Logics, and Implementations of High-Level Programming Languages (PLI), Jg. 37 (2002), Heft 12, S. 25-34academicJournalZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2016-06-14), S. 89-98Online unknownZugriff: