Channels - Mathematics of Program Construction : :: Biblioteca ITESO

Lignende værker: Mathematics of Program Construction :

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 : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Quick Look
Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, 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 : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 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
Mathematical Programming : An Introduction to the Design and Application of Optimal Decision Machines /
Quick Look
The Correctness-by-Construction Approach to Programming /
Quick Look
Mathematical Programming : An Introduction to Optmimization /
Quick Look
Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings /
Quick Look
Compiler Construction : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Quick Look
ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /
Quick Look
Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /
Quick Look
The Construction of New Mathematical Knowledge in Classroom Interaction : An Epistemological Perspective /
Quick Look
Constructing Knowledge for Teaching Secondary Mathematics : Tasks to enhance prospective and practicing teacher learning /
Quick Look
Model Building in Mathematical Programming /
Quick Look
Applications of mathematical programing techniques.
Quick Look
Image and Signal Processing : 4th International Conference, ICISP 2010, Québec, Canada, June 30 - July 2, 2010. Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /
Quick Look
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
Quick Look
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
Quick Look
Principles and Practice of Constraint Programming - CP 2012 : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /

Forfatter: Claude Bolduc, Jules Desharnais, Béchir Ktari

Quick Look
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /

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