MPG.eBooks - Search Results - "Computer Logic"

21

Specification and Verification of Concurrent Systems

Published 1990

Springer London

Subjects: “...Computer logic...”

Read Now

22

Logic for computer science and artificial intelligence

by Caferra, Ricardo
Published 2011

ISTE

Subjects: “...Computer logic / fast...”

Read Now

23

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

by Knebl, Helmut
Published 2019

Springer Fachmedien Wiesbaden

Subjects: “...Computer logic...”

Read Now

24

Objektorientierter Softwareentwurf : Integration mit UML

by Breu, Ruth
Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

25

Informatik : Eine einführende Übersicht Erster Teil

by Bauer, F. L., Goos, Gerhard
Published 1982

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

26

Ausnahmebehandlung in objektorientierten Programmiersprachen

by Feder, Christiane
Published 1990

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

27

Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

28

Einführung in die Informatik : Objektorientiert mit Java

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

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

29

Relational Methods in Computer Science

Published 1997

Springer Vienna

Subjects: “...Computer logic...”

Read Now

30

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Published 1990

Springer London

Subjects: “...Computer logic...”

Read Now

31

Logic Functions and Equations : Binary Models for Computer Science

by Posthoff, Christian, Steinbach, Bernd
Published 2019

Springer International Publishing

Subjects: “...Computer logic...”

Read Now

32

A General Framework for Reasoning On Inconsistency

by Martinez, Maria Vanina, Molinaro, Cristian, Subrahmanian, V.S., Amgoud, Leila
Published 2013

Springer New York

Subjects: “...Computer logic...”

Read Now

33

Z User Workshop, Oxford 1990 : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Published 1991

Springer London

Subjects: “...Computer logic...”

Read Now

34

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

35

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

36

Automata and Languages : Theory and Applications

by Meduna, Alexander
Published 2000

Springer London

Subjects: “...Computer logic...”

Read Now

37

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

38

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

39

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

40

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

by Maurer, Christian
Published 2018

Springer Fachmedien Wiesbaden

Subjects: “...Computer logic...”

Narrow Search