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
-
341
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
342
The Educational Turn Rethinking the Scholarship of Teaching and Learning in Higher Education
Published 2023Subjects: “…Assessment on initial teacher education programs…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
343
The Educational Turn Rethinking the Scholarship of Teaching and Learning in Higher Education
Published 2023Subjects: “…Assessment on initial teacher education programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
344
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...
Published 2023Subjects: “…programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
345
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…program compilers…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
346
Mobile Forensics - The File Format Handbook Common File Formats and File Systems Used in Mobile Devices
Published 2022Subjects: “…Mobile & handheld device programming / Apps programming bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
347
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…program compilers…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
348
Mobile Forensics - The File Format Handbook Common File Formats and File Systems Used in Mobile Devices
Published 2022Subjects: “…Mobile & handheld device programming / Apps programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
349
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...
Published 2023Subjects: “…programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
350
Microbial Modulation of Host Apoptosis and Pyroptosis
Published 2014Subjects: “…programmed cell death…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
351
The Complexity of Zadeh's Pivot Rule
Published 2020Subjects: “…Lineare Programmierung, Linear programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
352
Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches
Published 2020Subjects: “…program logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
353
Logbook pro doktorský studijní program Speciální pedagogika
Published 2021Subjects: “…Doctoral program…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
354
Logbook for Special Edication doctoral program
Published 2021Subjects: “…Doctoral program…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
355
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
356
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
357
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…program analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
358
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…program analysis…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
359
Versorgungs-Report Leitlinien Evidenz für die Praxis
Published 2023Subjects: “…certification; disease management program; conflicts of interest; medical guidelines; evidence based medicine; shared decision making…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
360
From Natural to Artificial Intelligence Algorithms and Applications
Published 2018Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter