Sortiert nach
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.280-299
Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.148-159
Link zum Volltext
The Semantic Web – ISWC 2018, p.376-394
Link zum Volltext
Formal Aspects of Component Software, 2018, p.3-31
2018
Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.131-147
Link zum Volltext
Methods in molecular biology (Clifton, N.J.), 2016-01, Vol.1418, p.335
2016
Link zum Volltext
Detection of Intrusions and Malware, and Vulnerability Assessment, p.192-211
Link zum Volltext
Heterogeneous Data Management, Polystores, and Analytics for Healthcare, p.16-29
Link zum Volltext
Computational Science/Intelligence and Applied Informatics, 2020, Vol.848, p.133-147
2020
Link zum Volltext
Research in Attacks, Intrusions, and Defenses, p.287-310
Link zum Volltext
Financial Cryptography and Data Security, p.393-401
Link zum Volltext
Collaboration Technologies and Social Computing, p.45-61
Link zum Volltext
Semantic IoT: Theory and Applications, p.399-415
Link zum Volltext
Intelligent Tutoring Systems, p.176-186
Link zum Volltext
Smart Health, p.256-267
Link zum Volltext
Computer Safety, Reliability, and Security, p.183-199
Link zum Volltext
Computational Science and Its Applications – ICCSA 2019, p.442-455
Link zum Volltext
Computer Safety, Reliability, and Security, p.153-165
Link zum Volltext
Big Data Computing and Communications, p.212-222
Link zum Volltext
Digital Nations – Smart Cities, Innovation, and Sustainability, p.85-93
Link zum Volltext
Methods in molecular biology (Clifton, N.J.), 2017, Vol.1488, p.47
2017
Link zum Volltext
Advanced Computing Strategies for Engineering, p.74-91
Link zum Volltext
Advanced Computing Strategies for Engineering, p.254-269
Link zum Volltext
Blockchain – ICBC 2018, p.92-106
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Infrastruktur
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Computer Science, Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Computer Science, Software Engineering
- Social Sciences
- Engineering
- Internet Der Dinge
- Fallstudie
- Informationssystem
- Life Sciences & Biomedicine
- Science & Technology - Other Topics
- Green & Sustainable Science & Technology
- Informationstechnologie
- Städte
- Ausbildung
Kollektion
Zeitschrift / Serie
- Methods In Molecular Biology
- Green Energy And Technology
- Studies In Computational Intelligence
- Lecture Notes In Computer Science
- Smart And Sustainable Planning For Cities And Regions
- Smart And Sustainable Planning For Cities And Regions Results Of Sspcr 2017
- Smart And Sustainable Planning For Cities And Regions, Sspcr 2017
- The Fourth Industrial Revolution: Implementation Of Artificial Intelligence For Growing Business Success
- Power Systems
- E-Mobility In Europe