Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of mobile agents -- Algebraic interpretation of lambda calculus with resources -- Concurrent graph and term...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...) and its application to job-shop scheduling -- What is symbolic computation? -- Constraint solving...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... proved by a new look at abstract interpretations -- Transformation ordering -- On parametric algebraic...”