Sortiert nach
Search Based Software Engineering, p.3-17
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.135-154
2018
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.139-148
2016
Volltextzugriff (PDF)
Enjoying Natural Computing, 2018, Vol.11270, p.155-169
2018
Volltextzugriff (PDF)
Computer Performance Engineering, 2018, Vol.11178, p.14-29
2018
Volltextzugriff (PDF)
Smart Card Research and Advanced Applications, 2017, Vol.10146, p.122-136
2017
Volltextzugriff (PDF)
Smart Card Research and Advanced Applications, p.89-104
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.160-178
Volltextzugriff (PDF)
Behavior Modeling -- Foundations and Applications, p.220-249
Volltextzugriff (PDF)
Computer Architecture, 2010, p.293-310
2010
Volltextzugriff (PDF)
Smart Card Research and Advanced Applications, p.18-31
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.313-349
2022
Volltextzugriff (PDF)
Models, Algorithms, Logics and Tools, p.170-195
Volltextzugriff (PDF)
Static Analysis, 2018, Vol.11002, p.5-23
2018
Volltextzugriff (PDF)
Software Engineering in Health Care, 2017, Vol.9062, p.222-238
2017
Volltextzugriff (PDF)
On the Move to Meaningful Internet Systems. OTM 2017 Conferences, p.389-409
Volltextzugriff (PDF)
Advances in anatomy, embryology and cell biology, 2016, Vol.219, p.231-262
2016
Volltextzugriff (PDF)
Static Analysis, p.160-174
Volltextzugriff (PDF)
Model and Data Engineering, 2016, Vol.9893, p.274-287
2016
Volltextzugriff (PDF)
On the Move to Meaningful Internet Systems. OTM 2017 Workshops, p.120-129
Volltextzugriff (PDF)
Integrated Formal Methods, p.47-62
Volltextzugriff (PDF)
Information and Communication Technology, Vol.8407, p.500-510
Volltextzugriff (PDF)
Principles of Systems Design, p.554-582
Volltextzugriff (PDF)
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, p.273-289
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Robotics
- Software Engineering
- Cloud Computing
- Computer Science, Interdisciplinary Applications
- Linked Data
- Multi-Agent Systems
- Physical Sciences
- Computer Programming / Software Development
- Computer Science, Hardware & Architecture
- Fault Injection
- Formal Methods
- Logic
Kollektion
Neu hinzugefügt