Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logiciel 85 Treffer
- software 85 Treffer
- genie logiciel 51 Treffer
- software engineering 51 Treffer
- program verification 43 Treffer
-
45 weitere Werte:
- verificacion programa 43 Treffer
- verification programme 43 Treffer
- desarrollo logicial 28 Treffer
- developpement logiciel 28 Treffer
- software development 28 Treffer
- model checking 26 Treffer
- informatique theorique 20 Treffer
- theoretical computing 20 Treffer
- verification modele 20 Treffer
- computer systems and distributed systems. user interface 19 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 19 Treffer
- debugging 18 Treffer
- debogage 17 Treffer
- puesta a punto programa 17 Treffer
- verificacion modelo 15 Treffer
- formal verification 14 Treffer
- safety 14 Treffer
- securite 14 Treffer
- seguridad 14 Treffer
- verification formelle 14 Treffer
- concurrency 13 Treffer
- simultaneidad informatica 13 Treffer
- simultaneite informatique 13 Treffer
- artificial intelligence 12 Treffer
- especificacion formal 12 Treffer
- formal specification 12 Treffer
- intelligence artificielle 12 Treffer
- modeling 12 Treffer
- modelisation 12 Treffer
- modelizacion 12 Treffer
- specification formelle 12 Treffer
- concurrent program 11 Treffer
- formal method 11 Treffer
- memory organisation. data processing 11 Treffer
- methode formelle 11 Treffer
- metodo formal 11 Treffer
- organisation des memoires. traitement des donnees 11 Treffer
- programa competidor 11 Treffer
- programme concurrent 11 Treffer
- automatique, recherche operationnelle 10 Treffer
- binary decision diagram 10 Treffer
- control theory, operational research 10 Treffer
- diagrama binaria decision 10 Treffer
- diagramme binaire decision 10 Treffer
- java language 10 Treffer
Publikation
- lecture notes in computer science 83 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 6 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 3 Treffer
- 0cav 2006 2 Treffer
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 2 Treffer
-
45 weitere Werte:
- cav 2001 : computer aided verification (paris, 18-22 july 2001) 2 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 2 Treffer
- fmcad'98 : formal methods in computer-aided design (palo alto ca, 4-6 november 1998) 2 Treffer
- formal aspects of computing 2 Treffer
- higher-order and symbolic computation 2 Treffer
- international journal on software tools for technology transfer (print) 2 Treffer
- journal in computer virology 2 Treffer
- neural computing & applications (print) 2 Treffer
- sas 2000 : static analysis (santa barbara ca, 29 june - 1 july 2000) 2 Treffer
- software quality - ecsq 2002 (helsinki, 9-13 june 2002) 2 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 2 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 2 Treffer
- [verified software grand challenge : the mondex case study] 1 Treffer
- 0apweb 2006 1 Treffer
- 0esop 2006 1 Treffer
- 0gcc 2005 1 Treffer
- 0icess 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0ifm 2005 1 Treffer
- 0kes 2005 1 Treffer
- 0spw/prosim 2006 1 Treffer
- 0tgc 2005 1 Treffer
- advanced functional programming (5th international school, afp 2004, tartu, estonia, august 14 - 21, 2004, revised lectures) 1 Treffer
- advanced topics in exception handling techniques 1 Treffer
- algebra and coalgebra in computer science (swansea, 3-6 september 2005) 1 Treffer
- automata, languages and programming (eindhoven, 30 june - 4 july 2003) 1 Treffer
- automated technology for verification and analysis (third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings) 1 Treffer
- avta 2004 : automated technology for verification and analysis (taipei, 31 october - 3 november 2004) 1 Treffer
- bt technology journal 1 Treffer
- cav 2002 : computer aided verification (copenhagen, 27-31 july 2002) 1 Treffer
- cav 2003 : computer aided verification (boulder co, 8-12 july 2003) 1 Treffer
- cav 2004 : computer aided verification (boston ma, 13-17 july 2004) 1 Treffer
- cav '99 : computer aided verification (trento, 6-10 july 1999) 1 Treffer
- cc 2005 : compiler construction (edinburgh, 4-8 april 2005) 1 Treffer
- cc '99 : compiler construction (amsterdam, 22-28 march 1999) 1 Treffer
- charme 2001 : correct hardware design and verification methods (livingston, 4-7 september 2001) 1 Treffer
- charme '99 : correct hardware design and verification methods (bad heernalb, 27-29 september 1999) 1 Treffer
- concur 2002 : concurrency theory (brno, 20-23 august 2002) 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- cots-based software systems (prague, 1-4 february 2004) 1 Treffer
- diagrammatic representation and inference (callaway gardens ga, 18-20 april 2002) 1 Treffer
- disc'99 : distributed computing (bratislava, 27-29 september 1999) 1 Treffer
- ecoop 2000 _ object-oriented programming (sophia antipolis ; cannes, 12-16 june 2000) 1 Treffer
- ecoop 2005 : object-oriented programming (glasgow, 25-29 july 2005) 1 Treffer
- embedded software and systems (second international conference, icess 2005, xi'an, china, december 16-18, 2005) 1 Treffer
Sprache
107 Treffer
-
In: Software process technology (Witten, 19-21 June 2001), 2001, S. 242-245KonferenzZugriff:
-
In: CAV 2001 : computer aided verification (Paris, 18-22 July 2001), 2001, S. 436-453KonferenzZugriff:
-
In: ITS 2000 : intelligent tutoring systems (Montréal PQ, 19-23 June 2000), 2000, S. 93-102KonferenzZugriff:
-
In: SAS 2000 : static analysis (Santa Barbara CA, 29 June - 1 July 2000), 2000, S. 1-21KonferenzZugriff:
-
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: Partial Evaluation and Program Manipulation (PEPM) 2009, Jg. 24 (2011), Heft 1-2, S. 81-114academicJournalZugriff:
-
In: Special Section on HVC 2008, Jg. 13 (2011), Heft 3, S. 223-246Online academicJournalZugriff:
-
In: Journal in computer virology, Jg. 7 (2011), Heft 3, S. 173-188academicJournalZugriff:
-
In: CAV '99 : computer aided verification (Trento, 6-10 July 1999), 1999, S. 84-95KonferenzZugriff:
-
In: DISC'99 : distributed computing (Bratislava, 27-29 September 1999), 1999, S. 210-224KonferenzZugriff:
-
In: CHARME '99 : correct hardware design and verification methods (Bad Heernalb, 27-29 September 1999), 1999, S. 313-316KonferenzZugriff:
-
In: Foundations of intelligent systems (Warsaw, 8-11 June 1999), 1999, S. 639-647KonferenzZugriff:
-
In: CC '99 : compiler construction (Amsterdam, 22-28 March 1999), 1999, S. 17-31KonferenzZugriff:
-
In: Theoretical and practical aspects of SPIN model checking (Trento, 5 July 1999 ; Toulouse, 21-24 September 1999), 1999, S. 216-231KonferenzZugriff:
-
In: ESEC/FSE '99 : software engineering (Toulouse, 6-10 September 1999), 1999, S. 303-321KonferenzZugriff:
-
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. 21 (2008), Heft 1-2, S. 147-192academicJournalZugriff:
-
In: Higher-order and symbolic computation, Jg. 20 (2007), Heft 1-2, S. 161-196academicJournalZugriff: