Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 8 Treffer
- verificacion programa 8 Treffer
- verification programme 8 Treffer
- formal verification 7 Treffer
- verification formelle 7 Treffer
-
45 weitere Werte:
- automatic proving 5 Treffer
- demonstration automatique 5 Treffer
- demostracion automatica 5 Treffer
- genie logiciel 4 Treffer
- memory organisation. data processing 4 Treffer
- organisation des memoires. traitement des donnees 4 Treffer
- software engineering 4 Treffer
- certificacion 3 Treffer
- certification 3 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- proof theory 3 Treffer
- software development 3 Treffer
- teoria demonstracion 3 Treffer
- theorie preuve 3 Treffer
- analisis datos 2 Treffer
- analyse donnee 2 Treffer
- artificial intelligence 2 Treffer
- busca dato 2 Treffer
- c language 2 Treffer
- cognition 2 Treffer
- computer security 2 Treffer
- computer systems performance. reliability 2 Treffer
- criptografia 2 Treffer
- cryptographie 2 Treffer
- cryptography 2 Treffer
- data analysis 2 Treffer
- data mining 2 Treffer
- data processing. list processing. character string processing 2 Treffer
- entrada salida 2 Treffer
- entree sortie 2 Treffer
- extraccion informacion 2 Treffer
- extraction information 2 Treffer
- fouille donnee 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- information extraction 2 Treffer
- information, signal and communications theory 2 Treffer
- informatique theorique 2 Treffer
- input output 2 Treffer
- inteligencia artificial 2 Treffer
- intelligence artificielle 2 Treffer
- java language 2 Treffer
- langage c 2 Treffer
- langage java 2 Treffer
- langage specification 2 Treffer
Publikation
- lecture notes in computer science 5 Treffer
- journal of automated reasoning 2 Treffer
- 0esorics 2005 1 Treffer
- 0icfem 2005 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
-
7 weitere Werte:
- computer security (esorics 2005) 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fm 2006 (formal methods) 1 Treffer
- formal aspects of computing 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
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
Sprache
10 Treffer
-
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: 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: CADE-20 : automated deduction (Tallinn, 22-27 July 2005), 2005, S. 116-130KonferenzZugriff:
-
In: TLCA 2005 : typed lambda calculi and applications (Nara, 21-23 April 2005), 2005, S. 278-292KonferenzZugriff:
-
In: Computer security (ESORICS 2005), 2005, S. 140-158KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 91-106KonferenzZugriff:
-
In: Formal methods and software engineering (Singapore, 5-7 November 2003), 2003, S. 359-374KonferenzZugriff:
-
In: Formal aspects of computing, Jg. 16 (2004), Heft 4, S. 352-373Online academicJournalZugriff: