Search Results - "Programs"

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

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

Adaptive Dynamic Programming For Chemotherapy Drug Delivery by Sun, Jiayue

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

Techno-ökonomische Planung energetischer Wohngebäudemodernisierungen : Ein gemischt-ganzzahliges lineares Optimierungsmodell auf Basis einer vollständigen Finanzplanung by Kunze, Robert

Subjects: “…Mixed-integer linear programming…”
DOAB: download the publication
DOAB: description of the publication

Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics by Merkert, Lennart

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

Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics by Merkert, Lennart

Subjects: “…mixed integer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Adaptive Dynamic Programming For Chemotherapy Drug Delivery by Sun, Jiayue

Subjects: “…Adaptive dynamic programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Renegotiating Disciplinary Fields in the Life Sciences

Subjects: “…research programs…”
DOAB: download the publication
DOAB: description of the publication

The End-Purpose of Teaching Social Sciences and the Curricular Inclusion of Social Problems

Subjects: “…analytical programs…”
DOAB: download the publication
DOAB: description of the publication

Migration Between Mexico and the United States IMISCOE Regional Reader

Subjects: “…Social programs and migration in Mexico…”
DOAB: download the publication
DOAB: description of the publication

Migration Between Mexico and the United States IMISCOE Regional Reader

Subjects: “…Social programs and migration in Mexico…”
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

City of Strangers Gulf Migration and the Indian Community in Bahrain by Gardner, Andrew M.

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

Ploughshares and Swords India's Nuclear Program in the Global Cold War by Sarkar, Jayita

Subjects: “…ploughshare loophole, anti-dissent machine, pokhran sikkim, reagan administration nuclear weapons, India's space program, india nuclear weapons…”
DOAB: download the publication
DOAB: description of the publication

City of Strangers Gulf Migration and the Indian Community in Bahrain by Gardner, Andrew M.

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

Ploughshares and Swords India's Nuclear Program in the Global Cold War by Sarkar, Jayita

Subjects: “…ploughshare loophole, anti-dissent machine, pokhran sikkim, reagan administration nuclear weapons, India's space program, india nuclear weapons…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication

Knowledge Graphs and Big Data Processing

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

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

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

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

In Memory of Mary Ellen Avery by John Steven Torday

Subjects: “…Joint Program in Neonatology…”
DOAB: download the publication
DOAB: description of the publication