Search Results - "programming"

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

Subjects: “…program compilers…”
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

Arguments minimalistes : Une présentation du Programme Minimaliste de Noam Chomsky by Alain Rouveret

Subjects: “…Minimalist Program…”
DOAB: download the publication
DOAB: description of the publication

Evidence-Based Practices to Reduce Falls and Fall-Related Injuries Among Older Adults by Marcia G. Ory

Subjects: “…evidence-based 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

Twenty K.R. Narayanan Orations Essays by Eminent Persons on the Rapidly Transforming Indian Economy

Subjects: “…India;Space program;Food security;Blue Economy…”
DOAB: download the publication
DOAB: description of the publication

Chapter La ricerca e (è) la vita: per introdurre by Boffo, Vanna

Subjects: “…PhD Program…”
DOAB: download the publication
DOAB: description of the publication

Twenty K.R. Narayanan Orations Essays by Eminent Persons on the Rapidly Transforming Indian Economy

Subjects: “…India;Space program;Food security;Blue Economy…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter La ricerca e (è) la vita: per introdurre by Boffo, Vanna

Subjects: “…PhD Program…”
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

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

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

Subjects: “…program compilers…”
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