Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automatic proving 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- desarrollo logicial 2 Treffer
- developpement logiciel 2 Treffer
-
45 weitere Werte:
- genie logiciel 2 Treffer
- software development 2 Treffer
- software engineering 2 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
- c language 1 Treffer
- certificacion 1 Treffer
- certification 1 Treffer
- compilateur optimisation 1 Treffer
- control vibracion 1 Treffer
- controle vibration 1 Treffer
- data structure 1 Treffer
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- estructura datos 1 Treffer
- etalon 1 Treffer
- finite geometry 1 Treffer
- formal method 1 Treffer
- general 1 Treffer
- generalites 1 Treffer
- geometria finita 1 Treffer
- geometrie finie 1 Treffer
- gestion memoire 1 Treffer
- gestion memoria 1 Treffer
- imperative language 1 Treffer
- implementacion 1 Treffer
- implementation 1 Treffer
- ingenieria logiciel 1 Treffer
- interactive system 1 Treffer
- interface utilisateur 1 Treffer
- interfase usuario 1 Treffer
- langage c 1 Treffer
- langage imperatif 1 Treffer
- langage ocaml 1 Treffer
- language processing and microprogramming 1 Treffer
- lenguaje c 1 Treffer
- lenguaje imperativo 1 Treffer
- lenguaje ocaml 1 Treffer
- logical programming 1 Treffer
- marcador 1 Treffer
- marco 1 Treffer
- mathematics 1 Treffer
- mathematiques 1 Treffer
- memory organization 1 Treffer
- methode formelle 1 Treffer
Publikation
- lecture notes in computer science 3 Treffer
- 0icfem 2005 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 1 Treffer
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- Ein weiterer Wert:
Sprache
4 Treffer
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 280-299KonferenzZugriff:
-
In: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 370-384KonferenzZugriff:
-
In: TACAS 2000 : tools and algorithms for the construction and analysis of systems (Berlin, 25 March - 2 April 2000), 2000, S. 38-42KonferenzZugriff: