Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- langages de programmation 7 Treffer
- programming languages 7 Treffer
- automatic proving 6 Treffer
- demonstration automatique 6 Treffer
- demostracion automatica 6 Treffer
-
45 weitere Werte:
- logic and foundations 6 Treffer
- logique et fondements 6 Treffer
- logique mathematique, fondements, theorie des ensembles 6 Treffer
- mathematical logic, foundations, set theory 6 Treffer
- mathematics 6 Treffer
- mathematiques 6 Treffer
- proof theory and constructive mathematics 6 Treffer
- sciences and techniques of general use 6 Treffer
- sciences et techniques communes 6 Treffer
- theorie de la preuve et mathematiques constructives 6 Treffer
- computer systems performance. reliability 5 Treffer
- formal method 5 Treffer
- formal verification 5 Treffer
- genie logiciel 5 Treffer
- langage programmation 5 Treffer
- languages 5 Treffer
- lenguaje programacion 5 Treffer
- methode formelle 5 Treffer
- metodo formal 5 Treffer
- performances des systemes informatiques. fiabilite 5 Treffer
- programming language 5 Treffer
- software engineering 5 Treffer
- verification formelle 5 Treffer
- demonstration theoreme 4 Treffer
- demostracion teorema 4 Treffer
- theorem proving 4 Treffer
- verification 4 Treffer
- analisis estatica 3 Treffer
- analyse statique 3 Treffer
- boarded computer 3 Treffer
- calculador embarque 3 Treffer
- calculateur embarque 3 Treffer
- coq 3 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- fonctions logiques, booleennes et de commutation 3 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 3 Treffer
- informatique theorique 3 Treffer
- java language 3 Treffer
- langage java 3 Treffer
- lenguaje java 3 Treffer
- logical, boolean and switching functions 3 Treffer
- memory and file management (including protection and security) 3 Treffer
- memory organisation. data processing 3 Treffer
- modeling 3 Treffer
Verlag
Publikation
- acm sigplan notices 3 Treffer
- acm transactions on programming languages and systems 2 Treffer
- journal of automated reasoning 2 Treffer
- lecture notes in computer science 2 Treffer
- acm transactions on mathematical software 1 Treffer
-
10 weitere Werte:
- communications of the acm 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
- iet software (print) 1 Treffer
- langages applicatifs : specification, programmation, verification 1 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 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 the eleventh acm sigplan international conference on functional programming (icfp'06), september 18-20, 2006 - portland, oregon, usa 1 Treffer
- report - software engineering 1 Treffer
- tsi. technique et science informatiques 1 Treffer
Sprache
14 Treffer
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
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: Journal of automated reasoning, Jg. 53 (2014), Heft 1, S. 63-103Online academicJournalZugriff:
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USA, Jg. 41 (2006), Heft 9, S. 160-171KonferenzZugriff:
-
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: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 401-414KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 91-106KonferenzZugriff:
-
In: FASE 2004 : fundamental approaches to software engineering (Barcelona, 29 March - 2 April 2004), 2004, S. 99-113KonferenzZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: