Sortiert nach
Electronic proceedings in theoretical computer science, 2014-04, Vol.148 (Proc. GraMSec 2014), p.47-62
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.201-212
2004
Volltextzugriff (PDF)
2005 edition., 2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3450, p.193-209
2005
Volltextzugriff (PDF)
Mechanizing Mathematical Reasoning, p.228-248
Volltextzugriff (PDF)
Emerging Trends in Information and Communication Security, 2006, p.268-281
2006
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.155-170
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.313-328
Volltextzugriff (PDF)
Security in Pervasive Computing, p.70-84
Volltextzugriff (PDF)
Computer Security, p.3-18
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.225-238
2005
Volltextzugriff (PDF)
MICAI 2009: Advances in Artificial Intelligence, p.1-14
Volltextzugriff (PDF)
Computación y Sistemas, 2017-01, Vol.21 (1), p.101-114
2017
Volltextzugriff (PDF)
Information technology (Munich, Germany), 2014-12, Vol.56 (6), p.294-299
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.119-133
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.101-116
2005
Volltextzugriff (PDF)
Mechanizing Mathematical Reasoning, p.268-276
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.164-178
2005
Volltextzugriff (PDF)
10th International Conference on Automated Deduction, 2005, p.147-161
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.237-252
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.271-284
2004
Volltextzugriff (PDF)
Verification, Induction, Termination Analysis, p.54-80
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Computer Systems And Distributed Systems. User Interface
- Computer Science, Artificial Intelligence
- Memory And File Management
- Memory Organisation. Data Processing
- Computer Science, Hardware & Architecture
- Software Engineering
- Proof Obligation
- Humans
- Life Sciences & Biomedicine
- Female
- Combinatorics & Graph Theory
- Engineering
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IngentaConnect Journals
- MEDLINE
- Cambridge University Press online books
- Cambridge Core All Books
- Access via Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Xplore
- Access via ScienceDirect (Elsevier)
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Full Collection 2018
- Standalone journals
- ACM Digital Library
- Springer Nature - Connect here FIRST to enable access
- Nexis
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Security In Pervasive Computing
- Electronic Notes In Theoretical Computer Science
- Chemistry : A European Journal
- Liebigs Annalen Der Chemie
- Gynecologic And Obstetric Investigation
- Journal Of Computer Assisted Tomography
- Analytical And Bioanalytical Chemistry
- Chemmedchem
- Journal Of Automated Reasoning