Search Results - "Programs"

Theorien! Horizonte für die Lehrerinnen und Lehrerbildung

Subjects: “…teacher study program…”
DOAB: download the publication
DOAB: description of the publication

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Elements of Causal Inference Foundations and Learning Algorithms by Peters, Jonas

Subjects: “…Mobile & handheld device programming / Apps programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Logic programming.…”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Joint Pricing and Inventory Control under Reference Price Effects by Gimpl-Heersink, Lisa

Subjects: “…Dynamic Programming…”
DOAB: download the publication
DOAB: description of the publication

Joint Pricing and Inventory Control under Reference Price Effects by Gimpl-Heersink, Lisa

Subjects: “…Dynamic Programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

Subjects: “…Inheritance (object-oriented programming)…”
DOAB: download the publication
DOAB: description of the publication

Negotiating bioethics the governance of UNESCO's Bioethics Programme by Langlois, Adèle

Subjects: “…program evaluation…”
DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

Subjects: “…Inheritance (object-oriented programming)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Negotiating bioethics the governance of UNESCO's Bioethics Programme by Langlois, Adèle

Subjects: “…program evaluation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Mathematical Methods in Applied Sciences by Rodino, Luigi

Subjects: “…goal programming…”
DOAB: download the publication
DOAB: description of the publication

Optimisation Models and Methods in Energy Systems by Antunes, Carlos Henggeler

Subjects: “…stochastic programming…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by Rio Yokota

Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

Subjects: “…Molecular programming…”
DOAB: download the publication
DOAB: description of the publication

Information Security Governance Simplified From the Boardroom to the Keyboard by Fitzgerald, Todd

Subjects: “…program…”
DOAB: download the publication
DOAB: description of the publication