Search Results - "Programs"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 111
- Software Engineering 110
- Computer programming / software development 91
- Research & information: general 84
- Artificial intelligence 82
- History of engineering & technology 77
- Technology: general issues 63
- Computer networking & communications 45
- Algorithms & data structures 44
- Mathematical theory of computation 41
- Medicine 40
- Biology, life sciences 37
- Programming & scripting languages: general 37
- Education 36
- Software engineering 30
- Computer Science 27
- Systems analysis & design 27
- Bio-ethics 26
- Information technology: general issues 26
- Programming Languages 26
- Information technology industries 24
- Humanities 22
- Mathematics & science 22
- Games development & programming 21
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- Computer modelling & simulation 19
- Computer Science Logic and Foundations of Programming 17
- Data mining 17
- Artificial Intelligence 16
-
401
Genetic Algorithms and Genetic Programming Modern Concepts and Practical Applications
Published 2009Subjects: “…Games development & programming bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
402
Chapter Topological Visualisation Techniques for Volume Multifield Data
Published 2019Subjects: “…Graphics programming bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
403
Parteiprogramme Sprachliche Gestalt und Textgebrauch
Published 2008Subjects: “…party program…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
404
Policy Success in Canada Cases, Lessons, Challenges
Published 2022Subjects: “…Policy Success, Canada, Program success, Political success, Policymaking, Policy endurance…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
405
Chapter Topological Visualisation Techniques for Volume Multifield Data
Published 2019Subjects: “…Graphics programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
406
Parteiprogramme Sprachliche Gestalt und Textgebrauch
Published 2008Subjects: “…party program…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
407
Policy Success in Canada Cases, Lessons, Challenges
Published 2022Subjects: “…Policy Success, Canada, Program success, Political success, Policymaking, Policy endurance…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
408
Genetic Algorithms and Genetic Programming Modern Concepts and Practical Applications
Published 2009Subjects: “…Games development & programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
409
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
410
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…program analysis,…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
411
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
412
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
413
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: “…program analysis,…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
414
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
415
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
416
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
417
Database Performance at Scale A Practical Guide
Published 2023Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
418
Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen
Published 2022Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
419
Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen
Published 2022Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
420
Database Performance at Scale A Practical Guide
Published 2023Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter