Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- desarrollo logicial 60 Treffer
- developpement logiciel 60 Treffer
- software development 60 Treffer
- program verification 59 Treffer
- verificacion programa 59 Treffer
-
45 weitere Werte:
- verification programme 59 Treffer
- debugging 44 Treffer
- puesta a punto programa 44 Treffer
- debogage 36 Treffer
- model checking 26 Treffer
- verification modele 23 Treffer
- fiabilidad logicial 22 Treffer
- fiabilite logiciel 22 Treffer
- langage programmation 22 Treffer
- lenguaje programacion 22 Treffer
- programming language 22 Treffer
- software reliability 22 Treffer
- ingenieria informatica 21 Treffer
- verificacion modelo 21 Treffer
- modeling 20 Treffer
- modelisation 20 Treffer
- modelizacion 20 Treffer
- analyse statique 16 Treffer
- concurrency 16 Treffer
- concurrent program 16 Treffer
- informatique theorique 16 Treffer
- programa competidor 16 Treffer
- programme concurrent 16 Treffer
- simultaneidad informatica 16 Treffer
- simultaneite informatique 16 Treffer
- static analysis 16 Treffer
- theoretical computing 16 Treffer
- computer systems and distributed systems. user interface 15 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 15 Treffer
- analisis estatica 14 Treffer
- automatique, recherche operationnelle 14 Treffer
- control theory, operational research 14 Treffer
- analisis programa 13 Treffer
- analyse programme 13 Treffer
- artificial intelligence 13 Treffer
- intelligence artificielle 13 Treffer
- program analysis 13 Treffer
- ingenieria logiciel 12 Treffer
- electronics 11 Treffer
- electronique 11 Treffer
- memory organisation. data processing 11 Treffer
- organisation des memoires. traitement des donnees 11 Treffer
- formal method 10 Treffer
- java language 10 Treffer
- langage java 10 Treffer
Verlag
- springer 51 Treffer
- acm 25 Treffer
- association for computing machinery 18 Treffer
- ieee computer society 11 Treffer
- elsevier 9 Treffer
-
16 weitere Werte:
- institute of electrical and electronics engineers 8 Treffer
- centrum voor wiskunde en informatica 3 Treffer
- elsevier science 3 Treffer
- inderscience publishers 3 Treffer
- wiley 3 Treffer
- acm press 2 Treffer
- institute for operations research and the management sciences 2 Treffer
- lavoisier 2 Treffer
- oxford university press 2 Treffer
- academic press 1 Treffer
- ieee 1 Treffer
- ieee computer society press 1 Treffer
- kluwer academic publishers 1 Treffer
- scripta technica 1 Treffer
- society for industrial and applied mathematics 1 Treffer
- taylor & francis 1 Treffer
Publikation
- lecture notes in computer science 42 Treffer
- acm sigplan notices 23 Treffer
- operating systems review 7 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 6 Treffer
- ieee software 6 Treffer
-
45 weitere Werte:
- esec/fse'05 (proceedings of the joint 10th european software engineering conference (esec) and the 13th acm sigsoft symposium on the foundations of software engineering (fse-13)) 5 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 5 Treffer
- acm transactions on programming languages and systems 3 Treffer
- ieee transactions on reliability 3 Treffer
- proceedings of eurosys2006, leuven, belgium, april 18-21, 2006 3 Treffer
- proceedings of the acm sigplan 2003 conference on programming language design and implementation ® (pldi'03), san diego, california, usa, june 9-11, 2003 3 Treffer
- report - software engineering 3 Treffer
- sosp'05 : proceedings of the 20th acm symposium on operating systems principles 3 Treffer
- theoretical computer science 3 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 3 Treffer
- 0cav 2006 2 Treffer
- communications of the acm 2 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 2 Treffer
- icse 2002 : 24th international conference on software engineering (orlando fl, 19-25 may 2002) 2 Treffer
- icsm 2004 (20th ieee international conference on software maintenance) 2 Treffer
- ieee transactions on professional communication 2 Treffer
- international journal of computer applications in technology 2 Treffer
- international journal of human-computer studies 2 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 2 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 2 Treffer
- proceedings - international conference on software engineering 2 Treffer
- proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02) 2 Treffer
- software quality - ecsq 2002 (helsinki, 9-13 june 2002) 2 Treffer
- software, practice & experience 2 Treffer
- special issue on communication in virtual organizations 2 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 2 Treffer
- the journal of systems and software 2 Treffer
- 0esop 2006 1 Treffer
- 0icess 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0ifm 2005 1 Treffer
- 0spw/prosim 2006 1 Treffer
- aadebug 2000 : fourth international workshop on automated debugging (munich, 28-30 august 2000 ) 1 Treffer
- acm transactions on mathematical software 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 human factors/ergonomics 1 Treffer
- apsec 2004 (proceeding, 11th asia-pacific software engineering conference) 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
- biometrika 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
- collaborative and social aspects of software development 1 Treffer
Sprache
Geographischer Bezug
151 Treffer
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 15-26KonferenzZugriff:
-
In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ® (PLDI'03), San Diego, California, USA, June 9-11, Jg. 38 (2003), Heft 5, S. 141-154KonferenzZugriff:
-
In: International journal of computer applications in technology, Jg. 44 (2012), Heft 1, S. 61-71academicJournalZugriff:
-
In: ACM SIGPLAN notices, Jg. 39 (2004), Heft 12, S. 92-106academicJournalZugriff:
-
In: Software, practice & experience, Jg. 20 (1990), Heft 2, S. 181-189academicJournalZugriff:
-
In: ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)), 2005, S. 286-295KonferenzZugriff:
-
In: SOSP'05 : proceedings of the 20th ACM symposium on operating systems principles, Jg. 39 (2005), Heft 5, S. 235-248Online KonferenzZugriff:
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 628-632KonferenzZugriff:
-
In: ICSE 2002 : 24th international conference on software engineering (Orlando FL, 19-25 May 2002), 2002, S. 291-301KonferenzZugriff:
-
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: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 66-75Online academicJournalZugriff:
-
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: Report - Software engineering, 2007, Heft 8, S. 1-24academicJournalZugriff:
-
In: Report - Software engineering, 2006, Heft 09, S. 1-32academicJournalZugriff:
-
In: IEEE software, Jg. 23 (2006), Heft 2, S. 92-93Online academicJournalZugriff: