Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science; control theory; systems 13 Treffer
- informatique; automatique theorique; systemes 13 Treffer
- logiciel 9 Treffer
- software 9 Treffer
- especificacion formal 6 Treffer
-
45 weitere Werte:
- formal specification 6 Treffer
- specification formelle 6 Treffer
- program verification 5 Treffer
- verificacion programa 5 Treffer
- verification programme 5 Treffer
- electronics 4 Treffer
- electronique 4 Treffer
- genie logiciel 4 Treffer
- informatique theorique 4 Treffer
- model checking 4 Treffer
- software engineering 4 Treffer
- theoretical computing 4 Treffer
- verification modele 4 Treffer
- analyse atteignabilite 3 Treffer
- automatique, recherche operationnelle 3 Treffer
- binary decision diagram 3 Treffer
- circuit design 3 Treffer
- circuits integres 3 Treffer
- computer systems and distributed systems. user interface 3 Treffer
- conception circuit 3 Treffer
- control theory, operational research 3 Treffer
- diagrama binaria decision 3 Treffer
- diagramme binaire decision 3 Treffer
- electronique des semiconducteurs. microelectronique. optoelectronique. dispositifs a l'etat solide 3 Treffer
- integrated circuits 3 Treffer
- memoire partagee 3 Treffer
- memoria compartida 3 Treffer
- microprocesador 3 Treffer
- microprocesseur 3 Treffer
- microprocessor 3 Treffer
- reachability analysis 3 Treffer
- semiconductor electronics. microelectronics. optoelectronics. solid state devices 3 Treffer
- shared memory 3 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 3 Treffer
- antememoire 2 Treffer
- antememoria 2 Treffer
- architecture ordinateur 2 Treffer
- arquitectura ordenador 2 Treffer
- cache memory 2 Treffer
- computer architecture 2 Treffer
- computer system 2 Treffer
- computer systems 2 Treffer
- conception. technologies. analyse fonctionnement. essais 2 Treffer
- demonstration theoreme 2 Treffer
- demostracion teorema 2 Treffer
Publikation
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 2 Treffer
- algebra and coalgebra in computer science (swansea, 3-6 september 2005) 1 Treffer
- cav 2001 : computer aided verification (paris, 18-22 july 2001) 1 Treffer
- cav 2002 : computer aided verification (copenhagen, 27-31 july 2002) 1 Treffer
- cav '99 : computer aided verification (trento, 6-10 july 1999) 1 Treffer
-
9 weitere Werte:
- emsoft 2001 : embedded software (tahoe city ca, 8-10 october 2001) 1 Treffer
- fmcad'98 : formal methods in computer-aided design (palo alto ca, 4-6 november 1998) 1 Treffer
- formal techniques for networked and distributed systems - forte 2002 (houston tx, 11-14 november 2002) 1 Treffer
- forte 2004 : formal techniques for networked and distributed systems (madrid, 27-30 september 2004) 1 Treffer
- lpar 2002 : logic for programming, artificial intelligence, and reasoning (tbilisi, 14-18 october 2002) 1 Treffer
- sas 2000 : static analysis (santa barbara ca, 29 june - 1 july 2000) 1 Treffer
- sofsem 2001 : theory and practice of informatics (piest'any, 24 november - 1 december 2001) 1 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 1 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 1 Treffer
Sprache
15 Treffer
-
In: FORTE 2004 : formal techniques for networked and distributed systems (Madrid, 27-30 September 2004), 2004, S. 243-258KonferenzZugriff:
-
In: EMSOFT 2001 : embedded software (Tahoe City CA, 8-10 October 2001), 2001, S. 97-113KonferenzZugriff:
-
In: CAV 2000 : computer aided verification (Chicago IL, 15-17 July 2000), 2000, S. 389-402KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: Algebra and coalgebra in computer science (Swansea, 3-6 September 2005), 2005, S. 364-378KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: CAV 2002 : computer aided verification (Copenhagen, 27-31 July 2002), 2002, S. 123-136KonferenzZugriff:
-
In: LPAR 2002 : logic for programming, artificial intelligence, and reasoning (Tbilisi, 14-18 October 2002), 2002, S. 36-52KonferenzZugriff:
-
In: Formal techniques for networked and distributed systems - FORTE 2002 (Houston TX, 11-14 November 2002), 2002, S. 360-363KonferenzZugriff:
-
In: SOFSEM 2001 : theory and practice of informatics (Piest'any, 24 November - 1 December 2001), 2001, S. 116-135KonferenzZugriff:
-
In: CAV 2001 : computer aided verification (Paris, 18-22 July 2001), 2001, S. 436-453KonferenzZugriff:
-
In: CAV 2000 : computer aided verification (Chicago IL, 15-17 July 2000), 2000, S. 124-138KonferenzZugriff:
-
In: SAS 2000 : static analysis (Santa Barbara CA, 29 June - 1 July 2000), 2000, S. 220-239KonferenzZugriff:
-
In: CAV '99 : computer aided verification (Trento, 6-10 July 1999), 1999, S. 84-95KonferenzZugriff:
-
In: FMCAD'98 : formal methods in computer-aided design (Palo Alto CA, 4-6 November 1998), 1998, S. 387-402KonferenzZugriff: