Search Results - "Programs"

Code/Space Software and Everyday Life by Kitchin, Rob

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

Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012

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

Finite Difference Computing with Exponential Decay Models by Petter Langtangen, Hans

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

Finite Difference Computing with PDEs: A Modern Software Approach by Langtangen, Hans Petter

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

Unauthorized Access The Crisis in Online Privacy and Security by Sloan, Robert

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

Chapter Effects of Water Scarcity on the Performances of the Agricultural Sector and Adaptation Strategies in Tunisia by Chebil, Ali

Subjects: “…agricultural supply model, mathematical programming, regional level, water shortage, Tunisia…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Programming Techniques…”
OAPEN Library: download the publication
OAPEN Library: 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: “…Logic programming.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Programming Language.…”
Link to Metadata

Integrating Religion and Spirituality into Clinical Practice by René Hefti (Ed.)

Subjects: “…Church-based Programs…”
DOAB: download the publication
DOAB: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

Subjects: “…Proofs-as-Programs…”
DOAB: download the publication
DOAB: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

Subjects: “…Proofs-as-Programs…”
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... by Dirk Beyer

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

Mobile Edge Computing by Zhang, Yan

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

Mobile Edge Computing by Zhang, Yan

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

The Crystal Ball Instruction Manual by Davies, Stephen

Subjects: “…Programming Languages Textbooks…”
Access online version

Recent Progress in Parallel and Distributed Computing

Subjects: “…smart grids, analytic hierarchy process (ahp), mathematical programming, demand response, host…”
DOAB: download the publication
DOAB: description of the publication

Cinemas and Cinema-Going in the United Kingdom Decades of Decline, 1945-65 by Manning, Sam

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

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication