Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer systems performance. reliability 5 Treffer
- performances des systemes informatiques. fiabilite 5 Treffer
- formal method 3 Treffer
- formal verification 3 Treffer
- genie logiciel 3 Treffer
-
45 weitere Werte:
- logic and foundations 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- mathematics 3 Treffer
- mathematiques 3 Treffer
- methode formelle 3 Treffer
- metodo formal 3 Treffer
- proof theory 3 Treffer
- proof theory and constructive mathematics 3 Treffer
- sciences and techniques of general use 3 Treffer
- sciences et techniques communes 3 Treffer
- software engineering 3 Treffer
- teoria demonstracion 3 Treffer
- theorie de la preuve et mathematiques constructives 3 Treffer
- theorie preuve 3 Treffer
- verification formelle 3 Treffer
- automatic proving 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- langage ocaml 2 Treffer
- langage programmation 2 Treffer
- langages de programmation 2 Treffer
- languages 2 Treffer
- lenguaje ocaml 2 Treffer
- lenguaje programacion 2 Treffer
- object oriented 2 Treffer
- ocaml language 2 Treffer
- orientado objeto 2 Treffer
- oriente objet 2 Treffer
- polimorfismo 2 Treffer
- polymorphism 2 Treffer
- polymorphisme 2 Treffer
- programming language 2 Treffer
- programming languages 2 Treffer
- semantica 2 Treffer
- semantics 2 Treffer
- semantique 2 Treffer
- theory 2 Treffer
- tipificacion 2 Treffer
- typage 2 Treffer
- typing 2 Treffer
- verificacion formal 2 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
Verlag
Publikation
- 0icfem 2005 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- iet software (print) 1 Treffer
-
5 weitere Werte:
- international journal of production research 1 Treffer
- journal of automated reasoning 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 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
- tsi. technique et science informatiques 1 Treffer
Sprache
7 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 280-299KonferenzZugriff:
-
In: International journal of production research, Jg. 50 (2012), Heft 18-20, S. 5544-5566Online academicJournalZugriff:
-
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. 109-122KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: