Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Barcode: 09783540477976
Brand: Springer Berlin Heidelberg
There are no offers for this product at this time.

More From Springer Berlin Heidelberg

Dental Pathology : A Practical Introduction
Dental Pathology : A Practical Introduction
from £76.08
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
from £76.08
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
from £76.08
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
from £76.08
Molecular Quantum Dynamics : From Theory to Applications
Molecular Quantum Dynamics : From Theory to Applications
from £101.58
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
from £38.24
Rock and Pop Venues : Acoustic and Architectural Design
Rock and Pop Venues : Acoustic and Architectural Design
from £84.58
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
from £76.08
Neurotrophic Factors
Neurotrophic Factors
from £212.08
Art, Cultural Heritage and the Market : Ethical and Legal Issues
Art, Cultural Heritage and the Market : Ethical and Legal Issues
from £110.08
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
from £38.24
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
from £33.99
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
from £38.24
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
from £110.08
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
from £38.24
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
from £38.24
Phospholipases in Plant Signaling
Phospholipases in Plant Signaling
from £110.08
Hemorrhoids
Hemorrhoids
from £76.08
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
from £38.24
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers
Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers
from £38.24
Deterministic and Statistical Methods in Machine Learning : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
Deterministic and Statistical Methods in Machine Learning : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
from £38.24
Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
from £38.24
Geometric Methods in the Algebraic Theory of Quadratic Forms : Summer School, Lens, 2000
Geometric Methods in the Algebraic Theory of Quadratic Forms : Summer School, Lens, 2000
from £34.84
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
from £38.24
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
from £33.99
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
from £38.24
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
from £38.24
Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
from £38.24
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
from £38.24
Number Theoretic And Algebraic Methods In Computer Science - Proceedings Of The International Conference
Number Theoretic And Algebraic Methods In Computer Science - Proceedings Of The International Conference
from £17.60
The Mathematics of Machine Learning : Lectures on Supervised Methods and Beyond
The Mathematics of Machine Learning : Lectures on Supervised Methods and Beyond
from £43.88
The Mathematics of Machine Learning : Lectures on Supervised Methods and Beyond
The Mathematics of Machine Learning : Lectures on Supervised Methods and Beyond
from £43.88
Chronology and Evolution of Mars : Proceedings of an ISSI Workshop, 10-14 April 2000, Bern, Switzerland
Chronology and Evolution of Mars : Proceedings of an ISSI Workshop, 10-14 April 2000, Bern, Switzerland
from £152.58
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad
from £38.24
Algebraic and Geometric Methods in Mathematical Physics : Proceedings of the Kaciveli Summer School, Crimea, Ukraine, 1993
Algebraic and Geometric Methods in Mathematical Physics : Proceedings of the Kaciveli Summer School, Crimea, Ukraine, 1993
from £76.08
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
from £38.24
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
from £38.24
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
from £28.89
Probabilistic Methods In Mathematical Physics: Proceedings Of The International Workshop
Probabilistic Methods In Mathematical Physics: Proceedings Of The International Workshop
from £34.40