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: TestCom 2005 : testing of communicating systems (Montreal, 31 May - 2 June 2005), 2005, S. 40-55KonferenzZugriff:
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 628-632KonferenzZugriff:
-
In: Software quality - ECSQ 2002 (Helsinki, 9-13 June 2002), 2002, S. 331-339KonferenzZugriff:
-
In: Euro-Par 2005 parallel processing (Lisbon, 30 August - 2 September 2005), 2005, S. 740-749KonferenzZugriff:
-
In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 235-250KonferenzZugriff:
-
In: CHARME 2001 : correct hardware design and verification methods (Livingston, 4-7 September 2001), 2001, S. 98-103KonferenzZugriff:
-
In: CAV 2001 : computer aided verification (Paris, 18-22 July 2001), 2001, S. 454-464KonferenzZugriff:
-
In: Software quality - ECSQ 2002 (Helsinki, 9-13 June 2002), 2002, S. 226-235KonferenzZugriff:
-
In: Journal in computer virology, Jg. 5 (2009), Heft 2, S. 91-104academicJournalZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 153-157KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 9-25KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 139-143KonferenzZugriff:
-
In: VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004), 2004, S. 191-210KonferenzZugriff:
-
In: Intelligent problem solving : methodologies and approaches (New orleans LA, 19-22 June 2000), 2000, S. 174-183KonferenzZugriff:
-
In: Special Section on VMCAI 2009, Jg. 13 (2011), Heft 6, S. 495-518Online academicJournalZugriff:
-
In: Knowledge-based intelligent information and engineering systems (Part I,III-IV : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005KonferenzZugriff:
-
In: Advanced topics in exception handling techniques; (2006) S. 22-41BuchZugriff:
-
In: Neural computing & applications (Print), Jg. 23 (2013), Heft 7-8, S. 2129-2135Online 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: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff: