Channels - Mathematics of Program Construction : :: Biblioteca ITESO

相似書籍: Mathematics of Program Construction :

Quick Look
Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Quick Look
Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Quick Look
Mathematics of Program Construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /
Quick Look
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings /
Quick Look
Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /
Quick Look
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /
Quick Look
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /
Quick Look
Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
Quick Look
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
Quick Look
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Quick Look
The Correctness-by-Construction Approach to Programming /
Quick Look
Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Quick Look
Mathematical Knowledge Management : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
Quick Look
ECOOP 2006 - Object-Oriented Programming : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /
Quick Look
The Construction of New Mathematical Knowledge in Classroom Interaction : An Epistemological Perspective /
Quick Look
Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /
Quick Look
Constructing Knowledge for Teaching Secondary Mathematics : Tasks to enhance prospective and practicing teacher learning /
Quick Look
Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings /
Quick Look
Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /
Quick Look
Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Quick Look
Mathematical Programming : An Introduction to Optmimization /
Quick Look
Genetic Programming : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /
Quick Look
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

作者: Tarmo Uustalu

Quick Look
Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0