Search alternatives:
eatcs series » status series, aws series, atlas series
sales series » sales services, tables series, sales stories
Cover Image
Read Now

21
by Best, Eike, Fernandez C., Cesar
Published 1988
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

22
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

23
by Esparza, Javier, Heljanko, Keijo
Published 2008
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

24
by Gecseg, Ferenc
Published 1986
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

25
by Morita, Kenichi
Published 2017
Springer Japan
Subjects: “...Computer Engineering...”
Cover Image
Read Now

26
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

27
by Janicki, Ryszard, Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

28
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

29
by Baeten, J.C.M., Middelburg, C.A.
Published 2002
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

30
by Gabizon, Ariel
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

31
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Foundations -- Semirings and Formal Power Series -- Fixed Point Theory -- Concepts of Weighted...”
Cover Image
Read Now

32
by Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of Presupposition in Partial Information Logic -- 9.7.3 A Semantic Definition of Presuppositions -- 9.7.4 Computing...”
Cover Image
Read Now

33
by Kitaev, Sergey
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

34
by Mehlhorn, K.
Published 1984
Springer Berlin Heidelberg
Table of Contents: “...I. Foundations -- 1. Machine Models: RAM and RASP -- 2. Randomized Computations -- 3. A High Level...”
Cover Image
Read Now

35
by Mehlhorn, K.
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... and their Representation in a Computer -- 2. Topological Sorting and the Representation Problem -- 3. Transitive Closure...”
Cover Image
Read Now

36
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1990
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

37
Published 2008
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

38
by Bilò, Vittorio, Vinci, Cosimo
Published 2023
Springer International Publishing
Subjects: “...Computer science...”
Cover Image
Read Now

39
by Fink, Eugene, Wood, Derick
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- 2.3 Strongly O-Convex Sets -- 3 Computational Problems -- 3.1 Visibility and Convexity Testing -- 3.2...”
Cover Image
Read Now

40
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Machines -- 1.5 Exercises -- 1.6 Bibliographical Remarks -- 2 The Parallel Computation Thesis -- 2.1...”