Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 80 Treffer
- software 56 Treffer
- applied sciences 51 Treffer
- computer science; control theory; systems 51 Treffer
- exact sciences and technology 51 Treffer
-
45 weitere Werte:
- genie logiciel 51 Treffer
- informatique; automatique theorique; systemes 51 Treffer
- logiciel 51 Treffer
- sciences appliquees 51 Treffer
- sciences exactes et technologie 51 Treffer
- informatique 50 Treffer
- software development 28 Treffer
- program verification 27 Treffer
- verificacion programa 27 Treffer
- verification programme 27 Treffer
- desarrollo logicial 26 Treffer
- developpement logiciel 26 Treffer
- model checking 16 Treffer
- verification modele 15 Treffer
- compilers (computer programs) 14 Treffer
- verificacion modelo 14 Treffer
- machine theory 13 Treffer
- concurrency 11 Treffer
- artificial intelligence 10 Treffer
- debugging 10 Treffer
- simultaneidad informatica 10 Treffer
- simultaneite informatique 10 Treffer
- concurrent program 9 Treffer
- programa competidor 9 Treffer
- programme concurrent 9 Treffer
- debogage 8 Treffer
- puesta a punto programa 8 Treffer
- computer programming 7 Treffer
- safety 7 Treffer
- securite 7 Treffer
- seguridad 7 Treffer
- abstract interpretation 6 Treffer
- computer networks 6 Treffer
- formal method 6 Treffer
- intelligence artificielle 6 Treffer
- interpretacion abstracta 6 Treffer
- interpretation abstraite 6 Treffer
- methode formelle 6 Treffer
- metodo formal 6 Treffer
- modeling 6 Treffer
- modelisation 6 Treffer
- modelizacion 6 Treffer
- program analysis 6 Treffer
- analisis programa 5 Treffer
- analyse programme 5 Treffer
Publikation
- lecture notes in computer science 44 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
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 2 Treffer
-
45 weitere Werte:
- empirical software engineering 2 Treffer
- human-centric computing and information sciences 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
- testing software and systems - 31st ifip wg 6.1 international conference, ictss 2019, proceedings 2 Treffer
- 0esop 2006 1 Treffer
- 0icess 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0ifm 2005 1 Treffer
- 0spw/prosim 2006 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
- advances in intelligent systems and computing 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 2004 : computer aided verification (boston ma, 13-17 july 2004) 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 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
- 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
- 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
- formal aspects of computing 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- foundations of intelligent systems (maebashi city, 28-31 october 2003) 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
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
- integrated formal methods 1 Treffer
- integrated formal methods (5th international conference, ifm 2005) 1 Treffer
- intelligent problem solving : methodologies and approaches (new orleans la, 19-22 june 2000) 1 Treffer
- lpar 2002 : logic for programming, artificial intelligence, and reasoning (tbilisi, 14-18 october 2002) 1 Treffer
- proceedings of the future technologies conference, ftc 2019 - volume 2 1 Treffer
- 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) 1 Treffer
- software quality journal 1 Treffer
Sprache
100 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 628-632KonferenzZugriff:
-
In: Empirical Software Engineering; 21(4) (2015) ; ISSN: 1573-7616, 2015Online academicJournalZugriff:
-
In: Software quality - ECSQ 2002 (Helsinki, 9-13 June 2002), 2002, S. 331-339KonferenzZugriff:
-
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: 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: 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: 870 ; 867, 2020Online academicJournalZugriff:
-
2020Online unknownZugriff: