Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering
- Artificial intelligence 54
- Computer networking & communications 38
- Computer programming / software development 38
- Mathematical theory of computation 30
- Business mathematics & systems 29
- Algorithms & data structures 26
- Computer science 26
- Systems analysis & design 26
- Information technology: general issues 24
- Information architecture 23
- Computer modelling & simulation 18
- Expert systems / knowledge-based systems 14
- Network hardware 12
- Programming & scripting languages: general 8
- Automotive technology & trades 6
- Coding theory & cryptology 6
- Computer architecture & logic design 6
- Computer security 6
- Computer vision 6
- Computing & information technology 6
- Information retrieval 6
- Operating systems 6
- User interface design & usability 6
- Computer hardware 4
- Mathematical & statistical software 4
- Maths for engineers 4
- Maths for scientists 4
- Mechanical engineering 4
- Circuits & components 2
-
61
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
62
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
63
Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
64
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
65
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
66
Developing Sustainable and Energy-Efficient Software Systems
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
67
The Future of Software Quality Assurance
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
68
Managed Software Evolution
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
69
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
70
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
71
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
72
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
73
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
74
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
75
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
76
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
77
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
78
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
79
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
80
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter