Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering
- Artificial intelligence 27
- Computer programming / software development 20
- Computer networking & communications 19
- Mathematical theory of computation 16
- Business mathematics & systems 14
- Algorithms & data structures 13
- Computer science 13
- Systems analysis & design 13
- Information technology: general issues 12
- Information architecture 11
- Computer modelling & simulation 9
- Expert systems / knowledge-based systems 7
- Network hardware 6
- Computing & information technology 4
- Programming & scripting languages: general 4
- Automotive technology & trades 3
- Coding theory & cryptology 3
- Computer architecture & logic design 3
- Computer security 3
- Computer vision 3
- Information retrieval 3
- Maths for scientists 3
- Operating systems 3
- User interface design & usability 3
- Computer hardware 2
- Mathematical & statistical software 2
- Maths for engineers 2
- Mechanical engineering 2
- Circuits & components 1
-
1
The Future of Software Quality Assurance
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2
Managed Software Evolution
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
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 -
4
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 -
5
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 -
6
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 -
7
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 -
8
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 -
9
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 -
10
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 -
11
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 -
12
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 -
13
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 -
14
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 -
15
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedi...
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
19
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20
Introduction to Scientific Programming with Python
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter