Search Results - "Computer programming"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming / software development 91
- Software Engineering 66
- Artificial intelligence 57
- Computer networking & communications 35
- Mathematical theory of computation 32
- Computer science 31
- Algorithms & data structures 30
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- Programming & scripting languages: general 16
- Computer modelling & simulation 12
- Computer programming 12
- Information technology: general issues 12
- Programming Techniques 12
- Systems analysis & design 12
- Software engineering 11
- Theory of Computation 9
- Computer networks 7
- Data processing 7
- Computer Engineering and Networks 6
- Computer engineering 6
- Databases 6
- Discrete mathematics 6
- Energy 6
- Network hardware 6
- Data mining 5
- Computer architecture & logic design 4
- Computers 4
- Expert systems / knowledge-based systems 4
- Mathematics 4
-
141
Computational Conflict Research
Published 2020Subjects: “…Social sciences-Computer programs…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
142
Computational Conflict Research
Published 2020Subjects: “…Social sciences-Computer programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
143
Soft Crystals Flexible Response Systems with High Structural Order /
Published 2023Subjects: “…Quantum chemistry Computer programs.…”
Link to Metadata
Electronic eBook -
144
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 -
145
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 -
146
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
147
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
148
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 -
149
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
150
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
151
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 -
152
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
153
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter