Zoekresultaten - "Software engineering"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Software Engineering 281
- Software engineering 96
- Computer science 94
- Artificial intelligence 90
- Computer networking & communications 61
- Computer programming / software development 55
- Electronics engineering 34
- Algorithms & data structures 32
- Mathematical theory of computation 32
- Business mathematics & systems 31
- Computer networks 29
- Information technology: general issues 28
- Management 28
- Systems analysis & design 28
- Artificial Intelligence 26
- Information architecture 25
- Computer Engineering and Networks 21
- Computer engineering 21
- Computer modelling & simulation 18
- Electronic data processing 18
- IT Operations 18
- Software Management 18
- Computer Science Logic and Foundations of Programming 17
- Expert systems / knowledge-based systems 16
- Computers 14
- Network hardware 14
- Programming & scripting languages: general 14
- Theory of Computation 14
- Formal Languages and Automata Theory 13
- Machine theory 13
-
181
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
Gepubliceerd in 2018Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
182
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
Gepubliceerd in 2018Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
183
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
Gepubliceerd in 2018Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
184
Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers /
Gepubliceerd in 2022Onderwerpen: “…Software engineering.…”
Link to Metadata
Elektronisch E-boek -
185
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
186
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
187
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
188
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
189
Certifying Software Component Performance Specifications
Gepubliceerd in 2013Onderwerpen: “…Component-Based Software Engineering (CBSE)…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
190
Models and Analysis of Vocal Emissions for Biomedical Applications 12th International Workshop, December, 14-16, 2021
Gepubliceerd in 2021Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
191
Models and Analysis of Vocal Emissions for Biomedical Applications 12th International Workshop, December, 14-16, 2021
Gepubliceerd in 2021Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
192
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Gepubliceerd in 2023Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
193
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherla...
Gepubliceerd in 2024Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
194
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
195
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
196
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
197
Agile Processes in Software Engineering and Extreme Programming 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceed...
Gepubliceerd in 2022Onderwerpen: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
198
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
199
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
200
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...
Gepubliceerd in 2019Onderwerpen: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk