Sortiert nach
Lecture notes in computer science, 2001
2001
Link zum Volltext
Web Information Systems and Applications, p.638-643
Link zum Volltext
Runtime Verification, p.1-9
Link zum Volltext
Runtime Verification, p.292-307
Link zum Volltext
Compiler Construction, p.61-81
Link zum Volltext
ECOOP 2010 – Object-Oriented Programming, p.529-551
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Link zum Volltext
Coordination Models and Languages, p.121-133
Link zum Volltext
Detection of Intrusions and Malware, and Vulnerability Assessment, p.303-325
Link zum Volltext
ECOOP 2005 - Object-Oriented Programming, 2005, p.602-629
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.546-550
2005
Link zum Volltext
Computer Aided Verification, 2016, p.352-358
2016
Link zum Volltext
Product-Focused Software Process Improvement, p.415-431
Link zum Volltext
Financial Cryptography and Data Security, p.568-583
Link zum Volltext
Social Computing and Social Media: Design, User Experience and Impact, p.559-567
Link zum Volltext
Lecture notes in computer science, 2005, Vol.3780, p.139-160
2005
Link zum Volltext
Progress in Advanced Computing and Intelligent Engineering, p.261-271
Link zum Volltext
Smart Card Research and Advanced Applications, p.275-288
Link zum Volltext
Parallel Processing and Applied Mathematics, p.318-327
Link zum Volltext
Neural Information Processing, 2021, p.669-680
2021
Link zum Volltext
Services Computing – SCC 2018, p.166-175
Link zum Volltext
14th International Symposium on Foundations & Practice of Security, Paris, France, 2022, Vol.13291, p.146-161
2022
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Life Sciences & Biomedicine
- Software
- Artificial Intelligence
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software Engineering
- Biochemistry & Molecular Biology
- Biochemical Research Methods
- Physical Sciences
- Mathematics
- Engineering
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- ACM Digital Library
- Jstor Complete Legacy
- IngentaConnect Journals
- Wiley Online Library
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- EZB Electronic Journals Library
- NUS Single-Journal Subscriptions
- Oxford University Press Journals Current
- Factiva
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
Zeitschrift / Serie
Neu hinzugefügt