Cover Image
Read Now

2
Published 1977
Springer Netherlands
Table of Contents: “...1. A Category-Theoretic Approach to Systems in a Fuzzy World -- 1. Machines in a Category -- 2...”
Cover Image
Read Now

4
by Hussmann, Heinrich
Published 2001
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

5
by Imam, Ibrahim F
Published 1999
Springer Berlin Heidelberg
Cover Image
Read Now

6
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Gödel’s Conflicting Approaches to Effective Calculability -- Co-total Enumeration Degrees -- Relativized...”
Cover Image
Read Now

7
by Petrenko, Alexandre
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

8
by Kutsche, Ralf-Detlef
Published 2002
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

9
by Finance, Jean-Pierre
Published 1999
Springer Berlin Heidelberg
Cover Image
Read Now

10
by Pezzè, Mauro
Published 2003
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

11
by Wermelinger, Michel
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

12
by Astesiano, Egidio
Published 1998
Springer Berlin Heidelberg
Cover Image
Read Now

13
by Maibaum, Tom
Published 2000
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

14
Published 1996
Birkhäuser
Cover Image
Read Now

15
Published 1991
Springer
Cover Image
Read Now

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... with Incomplete Information -- B Non-Cooperative Approaches -- Bargaining Games -- Two Lectures on Implementation...”
Cover Image
Read Now

18
by Manes, Ernest G., Arbib, Michael A.
Published 1986
Springer New York
“... in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare...”
Cover Image
Read Now

19
by Hunter, Anthony
Published 1999
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Towards Timed Automata and Multi-agent Systems -- An Approach to V&V of Embedded Adaptive Systems...”