Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- logiciel 67 Treffer
- software 67 Treffer
- genie logiciel 42 Treffer
- software engineering 42 Treffer
- program verification 32 Treffer
-
45 weitere Werte:
- verificacion programa 32 Treffer
- verification programme 32 Treffer
- desarrollo logicial 23 Treffer
- developpement logiciel 23 Treffer
- software development 23 Treffer
- model checking 20 Treffer
- verification modele 17 Treffer
- informatique theorique 14 Treffer
- theoretical computing 14 Treffer
- debogage 13 Treffer
- debugging 13 Treffer
- formal verification 13 Treffer
- puesta a punto programa 13 Treffer
- verification formelle 13 Treffer
- verificacion modelo 12 Treffer
- computer systems and distributed systems. user interface 11 Treffer
- concurrency 11 Treffer
- simultaneidad informatica 11 Treffer
- simultaneite informatique 11 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 11 Treffer
- automatique, recherche operationnelle 10 Treffer
- control theory, operational research 10 Treffer
- especificacion formal 10 Treffer
- formal specification 10 Treffer
- specification formelle 10 Treffer
- artificial intelligence 9 Treffer
- binary decision diagram 9 Treffer
- diagrama binaria decision 9 Treffer
- diagramme binaire decision 9 Treffer
- intelligence artificielle 9 Treffer
- java language 9 Treffer
- langage java 9 Treffer
- concurrent program 8 Treffer
- especificacion 8 Treffer
- formal method 8 Treffer
- lenguaje java 8 Treffer
- methode formelle 8 Treffer
- metodo formal 8 Treffer
- programa competidor 8 Treffer
- programme concurrent 8 Treffer
- safety 8 Treffer
- securite 8 Treffer
- seguridad 8 Treffer
- specification 8 Treffer
- abstract interpretation 7 Treffer
Publikation
- 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
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 2 Treffer
- cav 2001 : computer aided verification (paris, 18-22 july 2001) 2 Treffer
- fmcad'98 : formal methods in computer-aided design (palo alto ca, 4-6 november 1998) 2 Treffer
-
45 weitere Werte:
- 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
- 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
- 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
- emsoft 2001 : embedded software (tahoe city ca, 8-10 october 2001) 1 Treffer
- emsoft 2002 : embedded software (grenoble, 7-9 october 2002) 1 Treffer
- esec/fse '99 : software engineering (toulouse, 6-10 september 1999) 1 Treffer
- euro-par 2004 parallel processing (pisa, 31 august - 3 september 2004) 1 Treffer
- euro-par 2005 parallel processing (lisbon, 30 august - 2 september 2005) 1 Treffer
- extreme programming and agile processes in software engineering (7th international conference, xp 2006, oulu, finland, june 17-22, 2006) 1 Treffer
- extreme programming and agile processes in software engineering (genova, 25-29 may 2003) 1 Treffer
- fase 2004 : fundamental approaches to software engineering (barcelona, 29 march - 2 april 2004) 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fmcad 2004 : formal methods in computer-aided design (austin tx, 15-17 november 2004) 1 Treffer
- fme 2002 : formal methods - getting it right (copenhagen, 22-24 july 2002) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- formal methods at the crossroads : from panacea to foundational support (lisbon, 18-20 march 2002) 1 Treffer
- forte 2004 : formal techniques for networked and distributed systems (madrid, 27-30 september 2004) 1 Treffer
- foundations of intelligent systems (maebashi city, 28-31 october 2003) 1 Treffer
- foundations of intelligent systems (warsaw, 8-11 june 1999) 1 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- iberamia 2002 : advances in artificial intelligence (seville, 12-15 november 2002) 1 Treffer
- icoin 2003 : information networking (networking technologies for enhanced internet services) 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
Sprache
83 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: 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: 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: Advanced topics in exception handling techniques; (2006) S. 22-41BuchZugriff:
-
In: TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005), 2005, S. 461-476KonferenzZugriff:
-
In: Advanced functional programming (5th international school, AFP 2004, Tartu, Estonia, August 14 - 21, 2005, S. 273-308KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 363-379KonferenzZugriff:
-
In: AVTA 2004 : automated technology for verification and analysis (Taipei, 31 October - 3 November 2004), 2004, S. 20-33KonferenzZugriff:
-
In: FORTE 2004 : formal techniques for networked and distributed systems (Madrid, 27-30 September 2004), 2004, S. 243-258KonferenzZugriff:
-
In: Euro-Par 2004 parallel processing (Pisa, 31 August - 3 September 2004), 2004, S. 82-89KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 217-233KonferenzZugriff: