Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 3 Treffer
- software engineering 3 Treffer
- computer systems performance. reliability 2 Treffer
- desarrollo logicial 2 Treffer
- developpement logiciel 2 Treffer
-
45 weitere Werte:
- ejecucion programa 2 Treffer
- especificacion 2 Treffer
- execution programme 2 Treffer
- localisation 2 Treffer
- localizacion 2 Treffer
- localization 2 Treffer
- memory organisation. data processing 2 Treffer
- model checking 2 Treffer
- organisation des memoires. traitement des donnees 2 Treffer
- performances des systemes informatiques. fiabilite 2 Treffer
- program execution 2 Treffer
- software development 2 Treffer
- specification 2 Treffer
- abstraccion 1 Treffer
- abstract interpretation 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
- acces contenu 1 Treffer
- acces multiple 1 Treffer
- acceso contenido 1 Treffer
- acceso multiple 1 Treffer
- acceso simultaneo 1 Treffer
- actualizacion 1 Treffer
- algorithmics 1 Treffer
- algorithmics. computability. computer arithmetics 1 Treffer
- algorithmique 1 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 1 Treffer
- algoritmica 1 Treffer
- allocation dynamique 1 Treffer
- analisis estatica 1 Treffer
- analisis programa 1 Treffer
- analyse globale 1 Treffer
- analyse programme 1 Treffer
- analyse statique 1 Treffer
- analyse systeme commande 1 Treffer
- application program 1 Treffer
- approche probabiliste 1 Treffer
- asignacion dinamica 1 Treffer
- atomicity 1 Treffer
- automata a pila 1 Treffer
- automate a pile 1 Treffer
- boarded computer 1 Treffer
- busca dato 1 Treffer
- calcul symbolique 1 Treffer
- calculador embarque 1 Treffer
Publikation
- lecture notes in computer science 4 Treffer
- international journal on software tools for technology transfer (print) 2 Treffer
- 0esop 2006 1 Treffer
- emsoft 2001 : embedded software (tahoe city ca, 8-10 october 2001) 1 Treffer
- fase 2004 : fundamental approaches to software engineering (barcelona, 29 march - 2 april 2004) 1 Treffer
-
5 weitere Werte:
- fme 2002 : formal methods - getting it right (copenhagen, 22-24 july 2002) 1 Treffer
- programming languages and systems (15th european symposium on programming, esop 2006, held as part of the joint european conferences on theory and practice of software, etaps 2006, vienna, austria, march 27-28, 2006) 1 Treffer
- sas 2003 : state analysis (san diego ca, 11-13 june 2003) 1 Treffer
- special section on hvc 2008 1 Treffer
- special section on vmcai 2009 1 Treffer
Sprache
7 Treffer
-
In: Special Section on VMCAI 2009, Jg. 13 (2011), Heft 6, S. 495-518Online academicJournalZugriff:
-
In: Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006), 2006, S. 246-263KonferenzZugriff:
-
In: EMSOFT 2001 : embedded software (Tahoe City CA, 8-10 October 2001), 2001, S. 97-113KonferenzZugriff:
-
In: FASE 2004 : fundamental approaches to software engineering (Barcelona, 29 March - 2 April 2004), 2004, S. 267-280KonferenzZugriff:
-
In: SAS 2003 : state analysis (San Diego CA, 11-13 June 2003), 2003, S. 127-152KonferenzZugriff:
-
In: FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002), 2002, S. 146-162KonferenzZugriff:
-
In: Special Section on HVC 2008, Jg. 13 (2011), Heft 3, S. 223-246Online academicJournalZugriff: