Search Results - "software engineering"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Computer science 97
- Software engineering 96
- Artificial intelligence 95
- Computer networking & communications 61
- Computer programming / software development 60
- Electronics engineering 34
- Business mathematics & systems 33
- Algorithms & data structures 32
- Information technology: general issues 32
- Mathematical theory of computation 32
- Computer networks 30
- Management 30
- Systems analysis & design 28
- Artificial Intelligence 27
- Information architecture 25
- Computer Engineering and Networks 21
- Computer engineering 21
- Computer modelling & simulation 20
- Electronic data processing 20
- IT Operations 20
- Programming & scripting languages: general 18
- Software Management 18
- Computer Science Logic and Foundations of Programming 17
- Expert systems / knowledge-based systems 16
- Computers 14
- Network hardware 14
- Theory of Computation 14
- Application software 13
- Computer and Information Systems Applications 13
-
361
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
362
Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Published 2016Subjects: “…Software Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
363
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
364
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
365
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
366
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
367
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
368
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
369
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…software engineering specifications…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
370
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
371
Chapter 2 Fundamental Database Concepts
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
372
Chapter 3 Fundamental Spatial Concepts
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
373
Chapter 8 Cartography and Geovisualization
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
374
Chapter 9 Artificial Intelligence and GIS
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
375
GIS A Computing Perspective Third Edition
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: description of the publication
Electronic Book Chapter -
376
Chapter 1 Introduction
Published 2024Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
377
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
378
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…software engineering specifications…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
379
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…software engineering specifications…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
380
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter