MPG.eBooks - Search Results - "essays"

Cover Image

1

Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Published 2014

Springer Berlin Heidelberg

Cover Image

2

People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010

by Lipton, Richard J., Regan, Kenneth W.
Published 2013

Springer Berlin Heidelberg

Cover Image

3

Theoretical Computer Science : Essays in Memory of Shimon Even

Published 2006

Springer Berlin Heidelberg

Cover Image

4

Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Published 2011

Springer Berlin Heidelberg

Cover Image

5

Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Published 2011

Springer Berlin Heidelberg

Cover Image

6

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Published 2012

Springer Berlin Heidelberg

Cover Image

7

Languages Alive : Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

Published 2012

Springer Berlin Heidelberg

Cover Image

8

Taming the Infinities of Concurrency : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Published 2024

Springer Nature Switzerland

Cover Image

9

Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Published 2014

Springer International Publishing

Cover Image

10

Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Published 2011

Springer Berlin Heidelberg

Cover Image

11

Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

Published 2011

Springer Berlin Heidelberg

Cover Image

12

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Published 2013

Springer Berlin Heidelberg

Cover Image

13

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Published 2021

Springer International Publishing

Cover Image

14

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Published 2008

Springer Berlin Heidelberg

Cover Image

15

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Published 2008

Springer Berlin Heidelberg

Cover Image

16

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Published 2021

Springer International Publishing

Cover Image

17

Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Published 2015

Springer International Publishing

Cover Image

18

Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Published 2006

Springer Berlin Heidelberg

Cover Image

19

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Published 2024

Springer Nature Switzerland

Cover Image

20

Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Published 2016

Springer International Publishing

1
2
3