Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logiciel 24 Treffer
- software 24 Treffer
- program verification 17 Treffer
- verificacion programa 17 Treffer
- verification programme 17 Treffer
-
45 weitere Werte:
- informatique theorique 16 Treffer
- theoretical computing 16 Treffer
- formal method 12 Treffer
- methode formelle 12 Treffer
- metodo formal 12 Treffer
- genie logiciel 11 Treffer
- software engineering 11 Treffer
- automatic proving 10 Treffer
- demonstration automatique 10 Treffer
- demostracion automatica 10 Treffer
- logical programming 9 Treffer
- programacion logica 9 Treffer
- programmation logique 9 Treffer
- demonstration theoreme 8 Treffer
- demostracion teorema 8 Treffer
- mathematics 8 Treffer
- mathematiques 8 Treffer
- theorem proving 8 Treffer
- fonctions logiques, booleennes et de commutation 7 Treffer
- logical, boolean and switching functions 7 Treffer
- proof theory 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- theorie type 6 Treffer
- type theory 6 Treffer
- computer security 5 Treffer
- coq 5 Treffer
- general 5 Treffer
- generalites 5 Treffer
- langage programmation 5 Treffer
- lenguaje programacion 5 Treffer
- logic and foundations 5 Treffer
- logique et fondements 5 Treffer
- logique mathematique, fondements, theorie des ensembles 5 Treffer
- mathematical logic, foundations, set theory 5 Treffer
- memory organisation. data processing 5 Treffer
- organisation des memoires. traitement des donnees 5 Treffer
- preuve programme 5 Treffer
- program proof 5 Treffer
- programming language 5 Treffer
- programming theory 5 Treffer
- proof theory and constructive mathematics 5 Treffer
- prueba programa 5 Treffer
- sciences and techniques of general use 5 Treffer
- sciences et techniques communes 5 Treffer
Verlag
Publikation
- lecture notes in computer science 18 Treffer
- tsi. technique et science informatiques 3 Treffer
- acm sigplan notices 2 Treffer
- journal of automated reasoning 2 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 2 Treffer
-
29 weitere Werte:
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 2 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 2 Treffer
- 0flops 2006 1 Treffer
- 0icfem 2005 1 Treffer
- acm transactions on mathematical software 1 Treffer
- advances in computing science - asian'99 (phuket,december 10-12 1999) 1 Treffer
- automated reasoning with analytic tableaux and related methods (saratoga springs ny, 7-11 june 1999) 1 Treffer
- communications of the acm 1 Treffer
- computer aided systems theory : eurocast 2003 (las palmas de gran canaria, 24-28 february 2003, revised selected papers) 1 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fm 2006 (formal methods) 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
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 1 Treffer
- high-level parallel programming and applications 1 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 1 Treffer
- jfla 2002 : journees francophones des langages applicatifs (anglet, 28-29 janvier 2002) 1 Treffer
- journal of the association for computing machinery 1 Treffer
- langages applicatifs : specification, programmation, verification 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 1 Treffer
- movep '98 : modelisation et verification des processus paralleles (nantes, 6-9 juillet 1998) 1 Treffer
- parallel and distributed processing (cancun, 1-5 may 2000) 1 Treffer
- parallel processing letters 1 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 1 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 1 Treffer
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- theoretical computer science : exploring new frontiers of theoretical informatics (sendai, 17-19 august 2000) 1 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
Sprache
33 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 101-116KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 332-347KonferenzZugriff:
-
In: MOVEP '98 : modélisation et vérification des processus parallèles (Nantes, 6-9 juillet 1998), 1998, S. 239-251KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: Computer aided systems theory : EUROCAST 2003 (Las Palmas de Gran Canaria, 24-28 February 2003, revised selected papers), 2003, S. 279-290KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 388-405KonferenzZugriff:
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 42-54KonferenzZugriff:
-
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: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1161-1185academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 23 (2004), Heft 7, S. 855-878academicJournalZugriff:
-
In: High-level parallel programming and applications, Jg. 13 (2003), Heft 3, S. 365-376Online academicJournalZugriff:
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: FM 2006 (formal methods), 2006, S. 460-475KonferenzZugriff:
-
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: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 370-384KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 201-216KonferenzZugriff: