Jan Rutten – författare
Visar alla böcker från författaren Jan Rutten. Handla med fri frakt och snabb leverans.
7 produkter
Advanced Topics in Bisimulation and Coinduction
Av Davide Sangiorgi, Jan Rutten
Inbunden, 2011
2029 kr
Lägg i varukorg
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic …
Horizons of the Mind. A Tribute to Prakash Panangaden
Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Av Franck van Breugel, Elham Kashefi m. fl.
Häftad, 2014
552 kr
Lägg i varukorg
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and …
Horizons of the Mind. A Tribute to Prakash Panangaden
Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Av Jan Rutten, Catuscia Palamidessi m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and …
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Av Frank de Boer, Marcello Bonsangue m. fl.
Häftad, 2018
568 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Av Jan Rutten, Marcello Bonsangue m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Av José Luis Fiadeiro, Neil Harman m. fl.
Häftad, 2005
568 kr
Lägg i varukorg
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on …
Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Av Jan Rutten, Markus Roggenbach m. fl.
E-bok, 2005
739 kr
Lägg i varukorg
