MPG.eBooks - Search Results - "Computer Logic"

61

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Read Now

62

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

by Heinemann, Elisabeth
Published 2006

Deutscher Universitätsverlag

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

Read Now

63

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

by Logofătu, Doina
Published 2014

Springer Fachmedien Wiesbaden

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

Read Now

64

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Published 1998

Springer Berlin Heidelberg

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

Read Now

65

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: “...Computer logic...”

Read Now

66

Specification and Verification of Concurrent Systems

Published 1990

Springer London

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

Read Now

67

Logic for computer science and artificial intelligence

by Caferra, Ricardo
Published 2011

ISTE

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

Read Now

68

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

69

Objektorientierter Softwareentwurf : Integration mit UML

by Breu, Ruth
Published 2001

Springer Berlin Heidelberg

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

Read Now

70

Informatik : Eine einführende Übersicht Erster Teil

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

Springer Berlin Heidelberg

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

Read Now

71

Ausnahmebehandlung in objektorientierten Programmiersprachen

by Feder, Christiane
Published 1990

Springer Berlin Heidelberg

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

Read Now

72

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

73

Relational Methods in Computer Science

Published 1997

Springer Vienna

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

Read Now

74

Einführung in die Informatik : Objektorientiert mit Java

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

Springer Berlin Heidelberg

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

Read Now

75

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

76

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

77

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

Published 1990

Springer London

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

Read Now

78

Logic Functions and Equations : Binary Models for Computer Science

by Posthoff, Christian, Steinbach, Bernd
Published 2019

Springer International Publishing

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

Read Now

79

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

80

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

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

Narrow Search