MPG.eBooks - Search Results - "essays"

Cover Image

21

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

Published 2012

Springer Berlin Heidelberg

Cover Image

22

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

Published 2012

Springer Berlin Heidelberg

Cover Image

23

The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Published 2002

Springer Berlin Heidelberg

Cover Image

24

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

Published 2024

Springer Nature Switzerland

Cover Image

25

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

Published 2014

Springer International Publishing

Cover Image

26

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

Published 2011

Springer Berlin Heidelberg

Cover Image

27

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

Published 2011

Springer Berlin Heidelberg

Cover Image

28

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

29

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

Published 2021

Springer International Publishing

Cover Image

30

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

Published 2008

Springer Berlin Heidelberg

Cover Image

31

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

Published 2008

Springer Berlin Heidelberg

Cover Image

32

Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday

Published 2004

Springer Berlin Heidelberg

Cover Image

33

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

Published 2021

Springer International Publishing

Cover Image

34

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

35

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

Published 2006

Springer Berlin Heidelberg

Cover Image

36

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

37

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

Published 2016

Springer International Publishing

Cover Image

38

Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday

Published 2012

Springer Berlin Heidelberg

Cover Image

39

Adventures Between Lower Bounds and Higher Altitudes : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Published 2018

Springer International Publishing

Cover Image

40

Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Published 2016

Springer International Publishing

1
2
3
4
5