Search Results - "Software development"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming / software development 91
- Software Engineering 57
- Artificial intelligence 36
- Mathematical theory of computation 30
- Business mathematics & systems 21
- Computer science 20
- Information architecture 17
- Algorithms & data structures 16
- Computer networking & communications 15
- Information technology: general issues 14
- Programming & scripting languages: general 14
- Computer modelling & simulation 10
- Systems analysis & design 10
- Databases 6
- Energy 6
- Computing & information technology 4
- Discrete mathematics 4
- Expert systems / knowledge-based systems 4
- Automotive technology & trades 2
- Business applications 2
- Communications engineering / telecommunications 2
- Computer architecture & logic design 2
- Data mining 2
- Geography 2
- History of engineering & technology 2
- Information retrieval 2
- Literature: history & criticism 2
- Mathematical foundations 2
- Maths for scientists 2
- Network hardware 2
-
121
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,...
Published 2022Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
122
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
123
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
124
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
Published 2021Subjects: “…Model-Driven Software Development…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
125
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
126
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
127
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
Published 2021Subjects: “…Model-Driven Software Development…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
128
Software Engineering and Data Science
Published 2023Subjects: “…software development process…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
129
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: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
130
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
131
Market Segmentation Analysis: Understanding It, Doing It, and Making It Useful
Published 2018Subjects: “…ÖFOS 2012, Software development…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
132
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: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
133
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
134
Market Segmentation Analysis: Understanding It, Doing It, and Making It Useful
Published 2018Subjects: “…ÖFOS 2012, Software development…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
135
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: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
136
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
137
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
138
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: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
139
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
140
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter