Sortiert nach
Computer Aided Verification, 2005, p.281-285
2005
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2008-03, Vol.41 (3), p.59-65
2008
Volltextzugriff (PDF)
Principles of Security and Trust, p.226-246
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2006-01, Vol.15 (1), p.39-91
2006
Volltextzugriff (PDF)
Principles of Security and Trust, p.247-266
Volltextzugriff (PDF)
Principles of Security and Trust, p.21-40
Volltextzugriff (PDF)
2013 IEEE Symposium on Security and Privacy, 2013, p.301-315
2013
Volltextzugriff (PDF)
Principles of Security and Trust, p.126-146
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2014-04, Vol.40 (4), p.324-337
2014
Volltextzugriff (PDF)
Automated Reasoning, 2004, p.1-44
2004
Volltextzugriff (PDF)
Principles of Security and Trust, p.186-205
Volltextzugriff (PDF)
Principles of Security and Trust, p.63-82
Volltextzugriff (PDF)
Principles of Security and Trust, p.206-225
Volltextzugriff (PDF)
Formal Methods in Computer-Aided Design, 2002, p.187-201
2002
Volltextzugriff (PDF)
Automated Reasoning, 2004, p.223-228
2004
Volltextzugriff (PDF)
Principles of Security and Trust, p.83-104
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.335-351
2003
Volltextzugriff (PDF)
Journal of logic and computation, 1997-12, Vol.7 (6), p.685-717
1997
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.25-40
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.71-86
2003
Volltextzugriff (PDF)
2008 IEEE International Conference on Network Protocols, 2008, p.207-217
2008
Volltextzugriff (PDF)
Computer Security – ESORICS 2003, 2003, p.253-270
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.321-325
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.1-24
2003
Volltextzugriff (PDF)
Automated Reasoning, 2004, p.326-330
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Computer Science, Artificial Intelligence
- Software
- Computer Science, Software Engineering
- Humans
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Information Systems
- Nonlinear Filters
- Automation & Control Systems
- Control Systems
- Filtering
Kollektion
- Ingenta
- SpringerLink Series
- IEEE Xplore
- MEDLINE
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Nature
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Journals
- ACM Digital Library
- Oxford Journals
- JSTOR
- BSC - Ebsco (Business Source Ultimate)
- Wiley Online Library Full Collection 2018
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Lille Medical : Journal De La Faculte De Medecine Et De Pharmacie De L'universite De Lille
- Lille Médical : Journal De La Faculté De Médecine Et De Pharmacie De L'université De Lille
- Journal Of Automated Reasoning
- Bulletin De La Société De L'histoire De France
- Food Science And Biotechnology
- Gigiena I Sanitarija
- Journal Of Logic And Computation
- La Revue De Medecine Interne
- Annales D'endocrinologie
- Botanica Pacifica
Neu hinzugefügt