Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 19 Treffer
- verificacion programa 19 Treffer
- verification programme 19 Treffer
- general 15 Treffer
- generalites 15 Treffer
-
45 weitere Werte:
- informatique theorique 15 Treffer
- theoretical computing 15 Treffer
- automatic proving 14 Treffer
- demonstration automatique 14 Treffer
- demostracion automatica 14 Treffer
- formal verification 14 Treffer
- verification formelle 14 Treffer
- fonctions logiques, booleennes et de commutation 11 Treffer
- logical programming 11 Treffer
- logical, boolean and switching functions 11 Treffer
- mathematics 11 Treffer
- mathematiques 11 Treffer
- programacion logica 11 Treffer
- programmation logique 11 Treffer
- formal method 10 Treffer
- methode formelle 10 Treffer
- metodo formal 10 Treffer
- demonstration theoreme 9 Treffer
- demostracion teorema 9 Treffer
- theorem proving 9 Treffer
- genie logiciel 8 Treffer
- memory organisation. data processing 8 Treffer
- organisation des memoires. traitement des donnees 8 Treffer
- software engineering 8 Treffer
- desarrollo logicial 7 Treffer
- developpement logiciel 7 Treffer
- proof theory 7 Treffer
- software development 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- java language 6 Treffer
- langage java 6 Treffer
- lenguaje java 6 Treffer
- artificial intelligence 5 Treffer
- cognition 5 Treffer
- computer systems performance. reliability 5 Treffer
- intelligence artificielle 5 Treffer
- performances des systemes informatiques. fiabilite 5 Treffer
- preuve programme 5 Treffer
- program proof 5 Treffer
- prueba programa 5 Treffer
- data structure 4 Treffer
- especificacion formal 4 Treffer
- estructura datos 4 Treffer
- formal specification 4 Treffer
Publikation
- lecture notes in computer science 29 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- journal of automated reasoning 5 Treffer
- formal aspects of computing 3 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
-
23 weitere Werte:
- 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
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- computer security (esorics 2005) 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
- 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
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
- verification, model checking, and abstract interpretation (7th international conference, vmcai 2006, charleston sc, usa, january 8-10, 2006) 1 Treffer
Sprache
40 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: 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: Journal of automated reasoning, Jg. 52 (2014), Heft 2, S. 215-239Online 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: Programming languages and systems (Barcelona, 29 March - 2 April 2004), 2004, S. 385-400KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 201-216KonferenzZugriff:
-
In: Formal aspects of computing, Jg. 11 (1999), Heft 3, S. 225-243Online academicJournalZugriff:
-
In: Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006), 2006, S. 174-189KonferenzZugriff: