Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logiciel 7 Treffer
- software 7 Treffer
- formal verification 6 Treffer
- verification formelle 6 Treffer
- informatique theorique 5 Treffer
-
45 weitere Werte:
- theoretical computing 5 Treffer
- automatique, recherche operationnelle 4 Treffer
- control theory, operational research 4 Treffer
- desarrollo logicial 4 Treffer
- developpement logiciel 4 Treffer
- genie logiciel 4 Treffer
- model checking 4 Treffer
- software development 4 Treffer
- software engineering 4 Treffer
- electronics 3 Treffer
- electronique 3 Treffer
- program verification 3 Treffer
- verificacion programa 3 Treffer
- verification modele 3 Treffer
- verification programme 3 Treffer
- algorithmics. computability. computer arithmetics 2 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 2 Treffer
- architecture ordinateur 2 Treffer
- arquitectura ordenador 2 Treffer
- automata estado finito 2 Treffer
- automata. abstract machines. turing machines 2 Treffer
- automate fini 2 Treffer
- automates. machines abstraites. machines de turing 2 Treffer
- binary decision diagram 2 Treffer
- circuit design 2 Treffer
- circuits integres 2 Treffer
- computer architecture 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- concepcion circuito 2 Treffer
- conception circuit 2 Treffer
- conception. technologies. analyse fonctionnement. essais 2 Treffer
- design. technologies. operation analysis. testing 2 Treffer
- diagrama binaria decision 2 Treffer
- diagramme binaire decision 2 Treffer
- distributed system 2 Treffer
- electronique des semiconducteurs. microelectronique. optoelectronique. dispositifs a l'etat solide 2 Treffer
- finite automaton 2 Treffer
- formal method 2 Treffer
- integrated circuits 2 Treffer
- logica temporal 2 Treffer
- logique temporelle 2 Treffer
- mathematics 2 Treffer
- mathematiques 2 Treffer
- methode formelle 2 Treffer
- metodo formal 2 Treffer
Publikation
- lecture notes in computer science 10 Treffer
- fmcad'98 : formal methods in computer-aided design (palo alto ca, 4-6 november 1998) 2 Treffer
- 0icess 2005 1 Treffer
- algebra and coalgebra in computer science (swansea, 3-6 september 2005) 1 Treffer
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 1 Treffer
-
8 weitere Werte:
- cav '99 : computer aided verification (trento, 6-10 july 1999) 1 Treffer
- cc '99 : compiler construction (amsterdam, 22-28 march 1999) 1 Treffer
- embedded software and systems (second international conference, icess 2005, xi'an, china, december 16-18, 2005) 1 Treffer
- higher-order and symbolic computation 1 Treffer
- iberamia 2002 : advances in artificial intelligence (seville, 12-15 november 2002) 1 Treffer
- lpar 2002 : logic for programming, artificial intelligence, and reasoning (tbilisi, 14-18 october 2002) 1 Treffer
- software security - theories and systems (tokyo, 4-6 november 2003, revised papers) 1 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 1 Treffer
Sprache
12 Treffer
-
In: IBERAMIA 2002 : advances in artificial intelligence (Seville, 12-15 November 2002), 2002, S. 172-181KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 130-145KonferenzZugriff:
-
In: Embedded software and systems (Second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005), 2005, S. 361-372KonferenzZugriff:
-
In: Algebra and coalgebra in computer science (Swansea, 3-6 September 2005), 2005, S. 364-378KonferenzZugriff:
-
In: Software security - theories and systems (Tokyo, 4-6 November 2003, revised papers), 2004, S. 154-173KonferenzZugriff:
-
In: LPAR 2002 : logic for programming, artificial intelligence, and reasoning (Tbilisi, 14-18 October 2002), 2002, S. 36-52KonferenzZugriff:
-
In: CAV 2000 : computer aided verification (Chicago IL, 15-17 July 2000), 2000, S. 124-138KonferenzZugriff:
-
In: CAV '99 : computer aided verification (Trento, 6-10 July 1999), 1999, S. 84-95KonferenzZugriff:
-
In: CC '99 : compiler construction (Amsterdam, 22-28 March 1999), 1999, S. 17-31KonferenzZugriff:
-
In: FMCAD'98 : formal methods in computer-aided design (Palo Alto CA, 4-6 November 1998), 1998, S. 304-320KonferenzZugriff:
-
In: FMCAD'98 : formal methods in computer-aided design (Palo Alto CA, 4-6 November 1998), 1998, S. 387-402KonferenzZugriff:
-
In: Higher-order and symbolic computation, Jg. 20 (2007), Heft 1-2, S. 161-196academicJournalZugriff: