Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- analisis programa 6 Treffer
- analyse programme 6 Treffer
- program analysis 6 Treffer
- debogage 4 Treffer
- debugging 4 Treffer
-
45 weitere Werte:
- langage programmation 4 Treffer
- lenguaje programacion 4 Treffer
- modeling 4 Treffer
- modelisation 4 Treffer
- modelizacion 4 Treffer
- programming language 4 Treffer
- puesta a punto programa 4 Treffer
- abstract interpretation 3 Treffer
- computer systems and distributed systems. user interface 3 Treffer
- computer systems performance. reliability 3 Treffer
- device driver 3 Treffer
- formal method 3 Treffer
- informatique theorique 3 Treffer
- interpretation abstraite 3 Treffer
- language theory and syntactical analysis 3 Treffer
- methode formelle 3 Treffer
- metodo formal 3 Treffer
- model checking 3 Treffer
- performances des systemes informatiques. fiabilite 3 Treffer
- pilote peripherique 3 Treffer
- piloto periferico 3 Treffer
- reliability 3 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 3 Treffer
- theoretical computing 3 Treffer
- theorie des langages et analyse syntaxique 3 Treffer
- type inference 3 Treffer
- verificacion modelo 3 Treffer
- verification 3 Treffer
- verification modele 3 Treffer
- actualizacion 2 Treffer
- algorithm analysis 2 Treffer
- analisis algoritmo 2 Treffer
- analisis lenguaje 2 Treffer
- analyse algorithme 2 Treffer
- analyse langage 2 Treffer
- capability 2 Treffer
- compilacion 2 Treffer
- compilation 2 Treffer
- concurrent program 2 Treffer
- deteccion error 2 Treffer
- detection erreur 2 Treffer
- error detection 2 Treffer
- fiabilidad 2 Treffer
- fiabilite 2 Treffer
- formal verification 2 Treffer
Verlag
Publikation
- acm sigplan notices 5 Treffer
- acm transactions on programming languages and systems 2 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 2 Treffer
- lecture notes in computer science 2 Treffer
- 0ifm 2005 1 Treffer
-
13 weitere Werte:
- communications of the acm 1 Treffer
- ieee software 1 Treffer
- integrated formal methods (5th international conference, ifm 2005) 1 Treffer
- international journal of computational science and engineering (print) 1 Treffer
- international journal of computer applications in technology 1 Treffer
- operating systems review 1 Treffer
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 1 Treffer
- proceedings of eurosys2006, leuven, belgium, april 18-21, 2006 1 Treffer
- proceedings of the 2004 acm conference on object-oriented programming, systems, languages, and applications (oopsla'04) 1 Treffer
- proceedings of the 2005 acm sigplan-sigact symposium on principles of programming languages (popl 2005) 1 Treffer
- proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02) 1 Treffer
- proceedings of the acm sigplan 2003 conference on programming language design and implementation ® (pldi'03), san diego, california, usa, june 9-11, 2003 1 Treffer
- report - software engineering 1 Treffer
Sprache
16 Treffer
-
In: International journal of computer applications in technology, Jg. 44 (2012), Heft 1, S. 61-71academicJournalZugriff:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 66-75Online academicJournalZugriff:
-
In: Report - Software engineering, 2007, Heft 8, S. 1-24academicJournalZugriff:
-
In: IEEE software, Jg. 25 (2008), Heft 5, S. 22-29Online academicJournalZugriff:
-
In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), Jg. 37 (2002), Heft 5, S. 69-82KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 32 (2010), Heft 6Online academicJournalZugriff:
-
In: International journal of computational science and engineering (Print), Jg. 9 (2014), Heft 3, S. 222-234academicJournalZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 265-276KonferenzZugriff:
-
In: Proceedings of EuroSys2006, Leuven, Belgium, April 18-21, Jg. 40 (2006), Heft 4, S. 73-85Online KonferenzZugriff:
-
In: Integrated formal methods (5th international conference, IFM 2005), 2005, S. 20-32KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 505-518KonferenzZugriff:
-
In: Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), Jg. 40 (2005), Heft 1, S. 183-194KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 449-461KonferenzZugriff:
-
In: Proceedings of the 2004 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), Jg. 39 (2004), Heft 10, S. 206-223KonferenzZugriff:
-
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. 155-167KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 29 (2007), Heft 4, S. 1-70Online academicJournalZugriff: