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 I

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

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 programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Public Feminisms From Academy to Community

Subjects: “…Community, higher education, education, programming, writing, engagement, scholarship, academic, knowledge, collaboration, research, public, pedagogy, intersectionality, social justice, praxis, university-community relations, gender studies…”
OAPEN Library: download the publication
OAPEN Library: 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 programming / software development bicssc…”
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 programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Retail Strategies to Support Healthy Eating

Subjects: “…federal nutrition assistance programs…”
DOAB: download the publication
DOAB: description of the publication

Digital Economies at Global Margins

Subjects: “…anti-poverty programs…”
DOAB: download the publication
DOAB: description of the publication

Efficiency, Fairness and Sustainability in Social Housing Policy and Projects

Subjects: “…Regional Strategic Intervention Programs…”
DOAB: download the publication
DOAB: description of the publication

Efficiency, Fairness and Sustainability in Social Housing Policy and Projects

Subjects: “…Regional Strategic Intervention Programs…”
DOAB: download the publication
DOAB: description of the publication

Efficiency, Fairness and Sustainability in Social Housing Policy and Projects

Subjects: “…Regional Strategic Intervention Programs…”
DOAB: download the publication
DOAB: description of the publication

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherla...

Subjects: “…extreme 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 programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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 25th International Conference, TACAS 2019, 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

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal

Subjects: “…Games development & programming bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Distributed Power Generation Scheduling, Modelling and Expansion Planning

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

Innovative Priority Mechanisms in Service Operations Theory and Applications by Cui, Shiliang

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

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 programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

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 programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication