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
-
121
Developing Sustainable and Energy-Efficient Software Systems
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
122
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…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
123
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Published 2022“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
124
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
125
Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023,...
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
126
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
127
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
128
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
129
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
130
Performance Engineering Learning Through Applications Using JMT
Published 2024“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
131
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
132
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
133
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings
Published 2023“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter