Sortiert nach
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Link zum Volltext
Integrated Formal Methods, p.113-133
Link zum Volltext
Security Protocols XXIII, 2015, Vol.9379, p.126-138
2015
Link zum Volltext
A Fusion of Artificial Intelligence and Internet of Things for Emerging Cyber Systems, 2022, Vol.210, p.243-259
2022
Link zum Volltext
Enjoying Natural Computing, 2018, Vol.11270, p.155-169
2018
Link zum Volltext
Einführung in JavaFX/OpenJFX, 2022, p.341-361
2022
Link zum Volltext
Computer Security – ESORICS 2023, p.255-276
Link zum Volltext
Detection of Intrusions and Malware, and Vulnerability Assessment, p.300-321
Link zum Volltext
Computer Science – CACIC 2022, p.123-139
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.118-128
Link zum Volltext
Object-Oriented Programming and Java, p.259-277
Link zum Volltext
Tools and Methods of Program Analysis, p.155-167
Link zum Volltext
Model-Driven Engineering Languages and Systems, p.552-568
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, p.310-325
Link zum Volltext
Software Architecture, p.250-265
Link zum Volltext
Modeling, Simulation and Optimization, 2021, Vol.206, p.613-622
2021
Link zum Volltext
Advances in Computer Entertainment Technology, 2018, Vol.10714, p.339-359
2018
Link zum Volltext
Formal Methods, p.343-363
Link zum Volltext
Security and Trust Management, p.204-208
Link zum Volltext
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.135-154
2018
Link zum Volltext
Security and Trust Management, p.136-155
Link zum Volltext
Intelligent Distributed Computing XIV, p.225-234
Link zum Volltext
Euro-Par 2022: Parallel Processing, p.35-50
Link zum Volltext
Runtime Verification, p.274-282
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Social Sciences
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Artificial Intelligence
- Arts & Humanities
- Computer Science, Interdisciplinary Applications
- Machine Learning
- Engineering
- Software Engineering
- Cloud Computing
- Telecommunications
- Data Mining
- Physical Sciences
- History
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- SpringerLink Series
- Taylor & Francis eBooks A-Z
- Ingenta
- De Gruyter eBooks
- Wiley-Blackwell Online Books - All Titles (includes Withdrawn titles)
- Cambridge Core All Books
- Oxford University Press Books All Titles
- ScienceDirect eBooks
- Edward Elgar Books
- Brill Online Books
- InfoSci-Books
- De Gruyter Open Access Books
- Springer Nature - Complete Springer Journals
- NUS Single-Journal Subscriptions
- Literature Online (LION)
- Nomos eLibrary
- Sociological Abstracts
Neu hinzugefügt