Sortiert nach
Fundamental Approaches to Software Engineering, p.140-154
Link zum Volltext
Middleware 2008, p.124-143
Link zum Volltext
New Advances in Information Systems and Technologies, p.691-706
Link zum Volltext
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224
2019
Link zum Volltext
ECOOP 2005 - Object-Oriented Programming, 2005, p.602-629
2005
Link zum Volltext
Computer Aided Verification, 2016, p.352-358
2016
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Link zum Volltext
Computer Security - ESORICS 2014, p.219-236
Link zum Volltext
Social Computing and Social Media: Design, User Experience and Impact, p.559-567
Link zum Volltext
Computational Science and Its Applications – ICCSA 2021, p.323-335
Link zum Volltext
Coordination Models and Languages, p.121-133
Link zum Volltext
Lecture notes in computer science, 2005, Vol.3780, p.139-160
2005
Link zum Volltext
Detection of Intrusions and Malware, and Vulnerability Assessment, p.303-325
Link zum Volltext
Financial Cryptography and Data Security, p.247-267
Link zum Volltext
Smart Card Research and Advanced Applications, p.275-288
Link zum Volltext
Aquaculture, 2022-07, Vol.556, p.738277, Article 738277
2022
Link zum Volltext
Neural Information Processing, 2021, p.669-680
2021
Link zum Volltext
Model Checking Software, p.157-174
Link zum Volltext
14th International Symposium on Foundations & Practice of Security, Paris, France, 2022, Vol.13291, p.146-161
2022
Link zum Volltext
Lecture notes in computer science, 2004, p.149-160
2004
Link zum Volltext
Security Protocols XXIII, 2015, Vol.9379, p.126-138
2015
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.67-84
Link zum Volltext
Lecture notes in computer science, 2006, p.351-364
2006
Link zum Volltext
Engineering Multi-Agent Systems, 2020, p.215-234
2020
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, Information Systems
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Life Sciences & Biomedicine
- Software
- Artificial Intelligence
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Software Engineering
- Biochemistry & Molecular Biology
- Biochemical Research Methods
- Engineering
- Mathematics
- Computer Science, Hardware & Architecture
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- ACM Digital Library Complete
- JSTOR
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library
- Journals@Ovid Complete
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- EZB Electronic Journals Library
- Factiva
- Publisher site
- Oxford Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt