Sortiert nach
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.70-86
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.53-69
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.34-52
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.1-16
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.17-33
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.122-139
2021
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.87-103
2021
Volltextzugriff (PDF)
Advances in Visual Computing, p.3-15
Volltextzugriff (PDF)
Hierarchical Classification of Transversal Skills in Job Advertisements Based on Sentence Embeddings
2024
Volltextzugriff (PDF)
CONCUR’99 Concurrency Theory, 1999, p.431-446
1999
Volltextzugriff (PDF)
Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology – ISAT 2019, p.129-139
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2005, p.246-260
1ère éd, 2005
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.267-282
- Armando, Alessandro
- Arsac, Wihem
- Avanesov, Tigran
- Barletta, Michele
- Calvi, Alberto
- Cappai, Alessandro
- Carbone, Roberto
- Chevalier, Yannick
- Compagna, Luca
- Cuéllar, Jorge
- Erzse, Gabriel
- Frau, Simone
- Minea, Marius
- Mödersheim, Sebastian
- von Oheimb, David
- Pellegrino, Giancarlo
- Ponta, Serena Elisa
- Rocchetto, Marco
- Rusinowitch, Michael
- Torabi Dashti, Mohammad
- Turuani, Mathieu
- Viganò, Luca
- Flanagan, Cormac
- König, Barbara
Volltextzugriff (PDF)
Information Security, p.59-67
Volltextzugriff (PDF)
Critical Information Infrastructures Security, p.167-178
Volltextzugriff (PDF)
Computer Network Security, p.206-220
Volltextzugriff (PDF)
2018 10th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), 2018, p.1-6
2018
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, 2004, p.195-210
2004
Volltextzugriff (PDF)
2017 Federated Conference on Computer Science and Information Systems (FedCSIS), 2017, p.853-856
2017
Volltextzugriff (PDF)
2017 Federated Conference on Computer Science and Information Systems (FedCSIS), 2017, p.849-852
2017
Volltextzugriff (PDF)
2019 11th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), 2019, p.1-6
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.345-357
1998
Volltextzugriff (PDF)
2018 10th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), 2018, p.1-6
2018
Volltextzugriff (PDF)
2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), 2014, p.450-453
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Computer Science, Information Systems
- Engineering, Electrical & Electronic
- Computer Science, Artificial Intelligence
- Applied Sciences
- Exact Sciences And Technology
- Software
- Computer Science, Hardware & Architecture
- Computer Science; Control Theory; Systems
- Vehicles
- Genetic Algorithms
- Routing
- Testing
- Formal Verification
- Model Check
Kollektion
- Ingenta
- IEEE/IET Electronic Library (IEL)
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IngentaConnect Journals
- ACM Digital Library
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie