Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- analisis estatica 1 Treffer
- analyse statique 1 Treffer
- apprentissage inductif 1 Treffer
- approche probabiliste 1 Treffer
- aprendizaje por induccion 1 Treffer
-
35 weitere Werte:
- computer assisted teaching 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- debogage 1 Treffer
- debugging 1 Treffer
- desarrollo logicial 1 Treffer
- developpement logiciel 1 Treffer
- educacion 1 Treffer
- education 1 Treffer
- enfoque probabilista 1 Treffer
- enseignement assiste ordinateur 1 Treffer
- ensenanza asistida por computador 1 Treffer
- formation professionnelle. personnel. organisation du travail 1 Treffer
- general aspects 1 Treffer
- generalites 1 Treffer
- induccion 1 Treffer
- induction 1 Treffer
- inductive learning 1 Treffer
- input output program 1 Treffer
- langage programmation 1 Treffer
- lenguaje programacion 1 Treffer
- occupational training. personnel. work management 1 Treffer
- probabilistic approach 1 Treffer
- program verification 1 Treffer
- programa entrada salida 1 Treffer
- programme entree sortie 1 Treffer
- programming language 1 Treffer
- puesta a punto programa 1 Treffer
- raisonnement 1 Treffer
- razonamiento 1 Treffer
- reasoning 1 Treffer
- software development 1 Treffer
- static analysis 1 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 1 Treffer
- verificacion programa 1 Treffer
- verification programme 1 Treffer
Sprache
2 Treffer
-
In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 66-75Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 8, S. 70-80Online academicJournalZugriff: