Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 16 Treffer
- verificacion programa 16 Treffer
- verification programme 16 Treffer
- logiciel 14 Treffer
- software 14 Treffer
-
45 weitere Werte:
- formal verification 12 Treffer
- informatique theorique 12 Treffer
- theoretical computing 12 Treffer
- verification formelle 12 Treffer
- automatic proving 11 Treffer
- demonstration automatique 11 Treffer
- demostracion automatica 11 Treffer
- mathematics 9 Treffer
- mathematiques 9 Treffer
- logic and foundations 8 Treffer
- logique et fondements 8 Treffer
- logique mathematique, fondements, theorie des ensembles 8 Treffer
- mathematical logic, foundations, set theory 8 Treffer
- sciences and techniques of general use 8 Treffer
- sciences et techniques communes 8 Treffer
- theorie type 8 Treffer
- type theory 8 Treffer
- fonctions logiques, booleennes et de commutation 6 Treffer
- genie logiciel 6 Treffer
- logical, boolean and switching functions 6 Treffer
- memory organisation. data processing 6 Treffer
- organisation des memoires. traitement des donnees 6 Treffer
- proof theory 6 Treffer
- software engineering 6 Treffer
- teoria demonstracion 6 Treffer
- theorie preuve 6 Treffer
- computer security 5 Treffer
- logical programming 5 Treffer
- programacion logica 5 Treffer
- programmation logique 5 Treffer
- proof theory and constructive mathematics 5 Treffer
- securite informatique 5 Treffer
- seguridad informatica 5 Treffer
- theorie de la preuve et mathematiques constructives 5 Treffer
- algorithmics. computability. computer arithmetics 4 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 4 Treffer
- computer systems performance. reliability 4 Treffer
- criptografia 4 Treffer
- cryptographie 4 Treffer
- cryptography 4 Treffer
- demonstration theoreme 4 Treffer
- demostracion teorema 4 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 4 Treffer
- memory and file management (including protection and security) 4 Treffer
- performances des systemes informatiques. fiabilite 4 Treffer
Verlag
Publikation
- lecture notes in computer science 9 Treffer
- journal of automated reasoning 2 Treffer
- 0esorics 2005 1 Treffer
- 0flops 2006 1 Treffer
- 0icfem 2005 1 Treffer
-
21 weitere Werte:
- acm sigplan notices 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 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
- 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
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 1 Treffer
- information and computation (print) 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 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
- tacs 2001 : theoretical aspects of computer software (sendai, 29-31 october 2001) 1 Treffer
- theoretical computer science 1 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 1 Treffer
- tsi. technique et science informatiques 1 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 1 Treffer
Sprache
21 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 324-337KonferenzZugriff:
-
In: Theoretical computer science, Jg. 412 (2011), Heft 11, S. 962-970Online academicJournal
-
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 programming languages and systems, Jg. 35 (2013), Heft 3Online 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: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 246-262KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 66-77KonferenzZugriff:
-
In: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 97-113KonferenzZugriff:
-
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: Automated reasoning (Cork, 4-8 July 2004), 2004, S. 385-399KonferenzZugriff:
-
In: Formal methods and software engineering (Singapore, 5-7 November 2003), 2003, S. 359-374KonferenzZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 16 (2004), Heft 4, S. 352-373Online academicJournalZugriff: