Search Results - "program"

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 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

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

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...

Subjects: “…Computer programming / software development 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

Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire

Subjects: “…Social sciences-Computer programs…”
DOAB: download the publication
DOAB: description of the publication

Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire

Subjects: “…Social sciences-Computer programs…”
OAPEN Library: download the publication
OAPEN Library: 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

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

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,...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Computational Conflict Research

Subjects: “…Social sciences-Computer programs…”
DOAB: download the publication
DOAB: description of the publication

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

Computational Conflict Research

Subjects: “…Social sciences-Computer programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication