MPG.eBooks - Search Results - "Computer Logic"

21

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

22

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

Published 1990

Springer London

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

Read Now

23

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

Published 2002

Springer Berlin Heidelberg

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

Read Now

24

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

25

Automata and Languages : Theory and Applications

by Meduna, Alexander
Published 2000

Springer London

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

Read Now

26

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

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

Read Now

27

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

28

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

29

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Published 2002

Springer Berlin Heidelberg

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

Read Now

30

Collegium Logicum

Published 1996

Springer Vienna

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

Read Now

31

Collegium Logicum

Published 1995

Springer Vienna

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

Read Now

32

New Developments in Legal Reasoning and Logic : From Ancient Law to Modern Legal Systems

Published 2022

Springer International Publishing

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

Read Now

33

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

Published 2010

Springer Berlin Heidelberg

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

Read Now

34

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Published 1992

Springer London

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

Read Now

35

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Published 1992

Springer Berlin Heidelberg

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

Read Now

36

The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software

Published 1991

Springer Berlin Heidelberg

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

Read Now

37

Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Read Now

38

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

Read Now

39

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Read Now

40

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Narrow Search