Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 34 Treffer
- verificacion programa 34 Treffer
- verification programme 34 Treffer
- informatique theorique 28 Treffer
- theoretical computing 26 Treffer
-
45 weitere Werte:
- genie logiciel 21 Treffer
- software engineering 21 Treffer
- formal verification 20 Treffer
- verification formelle 20 Treffer
- automatic proving 19 Treffer
- demonstration automatique 19 Treffer
- demostracion automatica 19 Treffer
- mathematics 19 Treffer
- mathematiques 19 Treffer
- proof theory 16 Treffer
- teoria demonstracion 16 Treffer
- theorie preuve 16 Treffer
- general 15 Treffer
- generalites 15 Treffer
- memory organisation. data processing 15 Treffer
- organisation des memoires. traitement des donnees 15 Treffer
- fonctions logiques, booleennes et de commutation 14 Treffer
- logical programming 14 Treffer
- logical, boolean and switching functions 14 Treffer
- programacion logica 14 Treffer
- programmation logique 14 Treffer
- demonstration theoreme 13 Treffer
- demostracion teorema 13 Treffer
- formal method 13 Treffer
- langage programmation 13 Treffer
- langages de programmation 13 Treffer
- lenguaje programacion 13 Treffer
- methode formelle 13 Treffer
- metodo formal 13 Treffer
- programming language 13 Treffer
- programming languages 13 Treffer
- theorem proving 13 Treffer
- preuve programme 12 Treffer
- program proof 12 Treffer
- prueba programa 12 Treffer
- sciences and techniques of general use 12 Treffer
- sciences et techniques communes 12 Treffer
- computer systems performance. reliability 11 Treffer
- logic and foundations 11 Treffer
- logique et fondements 11 Treffer
- logique mathematique, fondements, theorie des ensembles 11 Treffer
- mathematical logic, foundations, set theory 11 Treffer
- performances des systemes informatiques. fiabilite 11 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 10 Treffer
- languages 10 Treffer
Verlag
Publikation
- lecture notes in computer science 32 Treffer
- acm sigplan notices 8 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- journal of automated reasoning 5 Treffer
- theoretical computer science 4 Treffer
-
45 weitere Werte:
- acm transactions on programming languages and systems 3 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- formal aspects of computing 2 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 2 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 2 Treffer
- 0esorics 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0vmcai 2006 1 Treffer
- acm transactions on mathematical software 1 Treffer
- antennas and propagation at mm- and sub mm-waves 1 Treffer
- applied semantics 1 Treffer
- applied semantics: selected topics 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- communications of the acm 1 Treffer
- computer security (esorics 2005) 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
- 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
- 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
- fossacs 2004 : foundations of software science and computation structures (barcelona, 29 march - 2 april 2004) 1 Treffer
- high-level parallel programming and applications 1 Treffer
- ieee software 1 Treffer
- ieee transactions on antennas and propagation 1 Treffer
- iet software (print) 1 Treffer
- information and computation (print) 1 Treffer
- international journal of production research 1 Treffer
- journal of the association for computing machinery 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 1 Treffer
- parallel and distributed processing (cancun, 1-5 may 2000) 1 Treffer
- parallel processing letters 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 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 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
- structural operational semantics (sos) 1 Treffer
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
67 Treffer
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 271-285KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 217-233KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 108-125KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42Online academicJournalZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 28-45KonferenzZugriff:
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 399-442Online academicJournal
-
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: Structural Operational Semantics (SOS), Jg. 207 (2009), Heft 2, S. 284-304Online academicJournal
-
In: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal