Zoekresultaten - "software development"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Computer programming / software development 91
- Software Engineering 82
- Artificial intelligence 41
- Business mathematics & systems 31
- Mathematical theory of computation 30
- Computer science 23
- Information architecture 21
- Software engineering 19
- Computer networking & communications 17
- Management 17
- Algorithms & data structures 16
- Programming & scripting languages: general 16
- Electronic data processing 14
- IT Operations 14
- Information technology: general issues 14
- Computer modelling & simulation 11
- Software Management 10
- Systems analysis & design 10
- Business information services 8
- IT in Business 7
- Computing & information technology 6
- Databases 6
- Energy 6
- Expert systems / knowledge-based systems 6
- Media studies 5
- Society & social sciences 5
- Automotive technology & trades 4
- Discrete mathematics 4
- Film, TV & radio 4
- History of engineering & technology 4
-
141
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations
Gepubliceerd in 2020Onderwerpen: “…Software Development…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
142
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Gepubliceerd in 2019Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
143
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations
Gepubliceerd in 2020Onderwerpen: “…Software Development…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
144
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
145
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
146
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
147
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Gepubliceerd in 2022Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
148
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Gepubliceerd in 2022Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
149
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
150
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Gepubliceerd in 2021Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
151
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Gepubliceerd in 2021Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
152
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Gepubliceerd in 2021Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
153
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Gepubliceerd in 2022Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
154
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Gepubliceerd in 2021Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
155
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Gepubliceerd in 2022Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
156
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
157
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Gepubliceerd in 2023Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
158
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
Gepubliceerd in 2021Onderwerpen: “…Model-Driven Software Development…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
159
Introduction to Scientific Programming with Python
Gepubliceerd in 2020Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
160
Introduction to Scientific Programming with Python
Gepubliceerd in 2020Onderwerpen: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk