![Introduction to Bisimulation and Coinduction Introduction to Bisimulation and Coinduction](https://bilder.buecher.de/produkte/33/33690/33690622m.jpg)
Gebundenes Buch
28. November 2011
Cambridge University Press
![The Pi-Calculus The Pi-Calculus](https://bilder.buecher.de/produkte/21/21842/21842621m.jpg)
Broschiertes Buch
A Theory of Mobile Processes
22. August 2003
Cambridge University Press
Ähnliche Artikel
![Algebra and Coalgebra in Computer Science Algebra and Coalgebra in Computer Science](https://bilder.buecher.de/produkte/26/26818/26818168m.jpg)
Broschiertes Buch
Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-03740-5
![Introduction to the Formal Design of Real-Time Systems Introduction to the Formal Design of Real-Time Systems](https://bilder.buecher.de/produkte/27/27500/27500673mq.jpg)
Broschiertes Buch
1999.
1. November 1998
Springer / Springer London / Springer, Berlin
978-3-540-76140-2
![Processes, Terms and Cycles: Steps on the Road to Infinity Processes, Terms and Cycles: Steps on the Road to Infinity](https://bilder.buecher.de/produkte/20/20749/20749964m.jpg)
Broschiertes Buch
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
2005
13. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11601548,978-3-540-30911-6
![Verification and Control of Hybrid Systems Verification and Control of Hybrid Systems](https://bilder.buecher.de/produkte/25/25951/25951117m.jpg)
Gebundenes Buch
A Symbolic Approach
2009 edition
15. Juni 2009
Springer / Springer US / Springer, Berlin
12613465,978-1-4419-0223-8
![International Compendium of Numerical Data Projects International Compendium of Numerical Data Projects](https://bilder.buecher.de/produkte/37/37480/37480165m.jpg)
Broschiertes Buch
A Survey and Analysis
Reprint of the original 1st ed. 1969
20. Juni 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-87120-7
![Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques](https://bilder.buecher.de/produkte/20/20891/20891512m.jpg)
Gebundenes Buch
2006 edition
21. Juni 2006
Springer / Springer US / Springer, Berlin
11367550,978-0-387-34294-8
![Mathematische Grundlagen für die Informatik Mathematische Grundlagen für die Informatik](https://bilder.buecher.de/produkte/39/39301/39301158m.jpg)
Broschiertes Buch
Mengen, Logik, Rekursion
August 2013
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
![Automatische Synthese rekursiver Programme als Beweisverfahren Automatische Synthese rekursiver Programme als Beweisverfahren](https://bilder.buecher.de/produkte/36/36111/36111408m.jpg)
Broschiertes Buch
1992.
8. April 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55300-7
![CONCUR 2008 - Concurrency Theory CONCUR 2008 - Concurrency Theory](https://bilder.buecher.de/produkte/24/24766/24766124m.jpg)
Broschiertes Buch
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
2008
30. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-85360-2
![Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology](https://bilder.buecher.de/produkte/09/09234/09234633m.jpg)
Broschiertes Buch
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
1997.
1. Dezember 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10652702,978-3-540-63888-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON