MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Refinement : Semantics, Languages and Applications

by Derrick, John, Boiten, Eerke
Published 2018

Springer International Publishing

Subjects: “...Logics and Meanings of Programs...”

Cover Image

2

Sprachlogische Aspekte rekonstruierten Denkens, Redens und Handelns : Aufbau einer Wissenschaftstheorie der Wirtschaftsinformatik

by Heinemann, Elisabeth
Published 2006

Deutscher Universitätsverlag

Subjects: “...Logics and Meanings of Programs...”

Cover Image

3

Grundlegende Algorithmen mit Java : Lern- und Arbeitsbuch für Informatiker und Mathematiker

by Logofătu, Doina
Published 2014

Springer Fachmedien Wiesbaden

Subjects: “...Logics and Meanings of Programs...”

Cover Image

4

The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering

by Jureta, Ivan
Published 2015

Springer International Publishing

Subjects: “...Logics and Meanings of Programs...”

Cover Image

5

Algorithmen und Datenstrukturen : Grundlagen und probabilistische Methoden für den Entwurf und die Analyse

by Knebl, Helmut
Published 2019

Springer Fachmedien Wiesbaden

Subjects: “...Logics and Meanings of Programs...”

Cover Image

6

Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

by Maurer, Christian
Published 2018

Springer Fachmedien Wiesbaden

Subjects: “...Logics and Meanings of Programs...”

Cover Image

7

Einführung in die Informatik : Objektorientiert mit Java

by Küchlin, Wolfgang, Weber, Andreas
Published 2005

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

8

Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

9

Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Published 2012

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

10

Transactions on Foundations for Mastering Change I

Published 2016

Springer International Publishing

Subjects: “...Logics and Meanings of Programs...”

Cover Image

11

Software Engineering, Business Continuity, and Education : International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conferenc...

Published 2011

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

12

Transactions on Aspect-Oriented Software Development VIII

Published 2011

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

13

Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

Published 2016

Springer International Publishing

Subjects: “...Logics and Meanings of Programs...”

Cover Image

14

Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”