Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- debugging 12 Treffer
- puesta a punto programa 12 Treffer
- program verification 11 Treffer
- verificacion programa 11 Treffer
- verification programme 11 Treffer
-
45 weitere Werte:
- debogage 10 Treffer
- automatique, recherche operationnelle 9 Treffer
- control theory, operational research 9 Treffer
- fiabilidad logicial 9 Treffer
- fiabilite logiciel 9 Treffer
- logiciel libre 9 Treffer
- open source software 9 Treffer
- software libre 9 Treffer
- software reliability 9 Treffer
- computer systems and distributed systems. user interface 8 Treffer
- memory organisation. data processing 8 Treffer
- organisation des memoires. traitement des donnees 8 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 8 Treffer
- artificial intelligence 7 Treffer
- electronics 7 Treffer
- electronique 7 Treffer
- information systems. data bases 7 Treffer
- intelligence artificielle 7 Treffer
- systemes d'information. bases de donnees 7 Treffer
- ingenieria informatica 6 Treffer
- ingenieria logiciel 6 Treffer
- maintenance logiciel 6 Treffer
- modeling 6 Treffer
- modelisation 6 Treffer
- modelizacion 6 Treffer
- formal method 5 Treffer
- methode formelle 5 Treffer
- metodo formal 5 Treffer
- mise a jour 5 Treffer
- outil logiciel 5 Treffer
- software tool 5 Treffer
- updating 5 Treffer
- architecture logiciel 4 Treffer
- computer systems performance. reliability 4 Treffer
- concurrency 4 Treffer
- especificacion formal 4 Treffer
- formal specification 4 Treffer
- herramienta (controlada por ) logicial 4 Treffer
- inteligencia artificial 4 Treffer
- java language 4 Treffer
- langage java 4 Treffer
- langage programmation 4 Treffer
- lenguaje java 4 Treffer
- lenguaje programacion 4 Treffer
- localisation 4 Treffer
Verlag
- springer 26 Treffer
- ieee computer society 11 Treffer
- elsevier 5 Treffer
- association for computing machinery 4 Treffer
- institute of electrical and electronics engineers 2 Treffer
-
10 weitere Werte:
- acm 1 Treffer
- acm press 1 Treffer
- ieee 1 Treffer
- ieee computer society press 1 Treffer
- inderscience publishers 1 Treffer
- institute for operations research and the management sciences 1 Treffer
- lavoisier 1 Treffer
- oxford university press 1 Treffer
- scripta technica 1 Treffer
- taylor & francis 1 Treffer
Publikation
- lecture notes in computer science 22 Treffer
- ieee software 6 Treffer
- 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)) 2 Treffer
- icsm 2004 (20th ieee international conference on software maintenance) 2 Treffer
- international journal of human-computer studies 2 Treffer
-
45 weitere Werte:
- 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
- 0icess 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0spw/prosim 2006 1 Treffer
- aadebug 2000 : fourth international workshop on automated debugging (munich, 28-30 august 2000 ) 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on programming languages and systems 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
- bt technology journal 1 Treffer
- collaborative and social aspects of software development 1 Treffer
- communications of the acm 1 Treffer
- computer journal (print) 1 Treffer
- cots-based software systems (prague, 1-4 february 2004) 1 Treffer
- design of computing systems (san francisco ca, 24-29 august 1997. volume a, cognitive considerations. volume b, social and ergonomic considerations) 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
- evaluation des systemes d'information 1 Treffer
- expert systems with applications 1 Treffer
- extreme programming and agile processes in software engineering (7th international conference, xp 2006, oulu, finland, june 17-22, 2006) 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 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
- 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
- icse 2004 (proceeding, 26th international conference on software engineering) 1 Treffer
- ieee transactions on knowledge and data engineering 1 Treffer
- ieee transactions on reliability 1 Treffer
- ieee transactions on software engineering 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
- information & management 1 Treffer
- ingenierie des systemes d'information (2001) 1 Treffer
- intelligent problem solving : methodologies and approaches (new orleans la, 19-22 june 2000) 1 Treffer
- international journal of computer applications in technology 1 Treffer
- international journal of systems science 1 Treffer
- iwpc 2004 (12th ieee international workshop on program comprehension) 1 Treffer
- kdd-2006 (proceedings of the twelfth acm sigkdd international conference on knowledge discovery and data mining, august 20-23, 2006, philadelphia, pa, usa) 1 Treffer
- lpar 2002 : logic for programming, artificial intelligence, and reasoning (tbilisi, 14-18 october 2002) 1 Treffer
Sprache
59 Treffer
-
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: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 9-25KonferenzZugriff:
-
In: Intelligent problem solving : methodologies and approaches (New orleans LA, 19-22 June 2000), 2000, S. 174-183KonferenzZugriff:
-
In: IEEE software, Jg. 23 (2006), Heft 2, S. 92-93Online academicJournalZugriff:
-
In: IEEE software, Jg. 25 (2008), Heft 5, S. 22-29Online academicJournalZugriff:
-
In: IEEE transactions on reliability, Jg. 44 (1995), Heft 2, S. 315-321Online academicJournalZugriff:
-
In: IEEE software, Jg. 22 (2005), Heft 2, S. 11-13Online academicJournalZugriff:
-
In: Advanced topics in exception handling techniques; (2006) S. 22-41BuchZugriff:
-
In: Evaluation des systèmes d'information, Jg. 18 (2013), Heft 3, S. 95-119academicJournalZugriff:
-
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: ICSE 2004 (Proceeding, 26th International Conference on Software Engineering), 2004, S. 522-531KonferenzZugriff:
-
In: IBERAMIA 2002 : advances in artificial intelligence (Seville, 12-15 November 2002), 2002, S. 172-181KonferenzZugriff:
-
In: EMSOFT 2001 : embedded software (Tahoe City CA, 8-10 October 2001), 2001, S. 97-113KonferenzZugriff:
-
In: Information & management, Jg. 46 (2009), Heft 1, S. 9-15academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 8, S. 70-80Online academicJournalZugriff:
-
In: Expert systems with applications, Jg. 41 (2014), Heft 8, S. 3975-3992academicJournalZugriff:
-
In: Software process change (international software process workshop and international workshop on software process simulation and modeling), 2006, S. 72-79KonferenzZugriff: