Kanallar - Mathematics of Program Construction : :: Biblioteca ITESO

Benzer Materyaller: Mathematics of Program Construction :

Hızlı Bakış
Mathematics of Program Construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings /
Hızlı Bakış
Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Hızlı Bakış
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Hızlı Bakış
Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11.12, 2002, Dagstuhl, Germany /
Hızlı Bakış
Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /
Hızlı Bakış
The Correctness-by-Construction Approach to Programming /
Hızlı Bakış
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /
Hızlı Bakış
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Hızlı Bakış
The Construction of New Mathematical Knowledge in Classroom Interaction : An Epistemological Perspective /
Hızlı Bakış
Constructing Knowledge for Teaching Secondary Mathematics : Tasks to enhance prospective and practicing teacher learning /
Hızlı Bakış
Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
Hızlı Bakış
Mathematics of Surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings /
Hızlı Bakış
Principles and Practice of Constraint Programming - CP98 : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Hızlı Bakış
Mathematics and Computation in Music : Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings /
Hızlı Bakış
Mathematical Programming : An Introduction to Optmimization /
Hızlı Bakış
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Hızlı Bakış
Genetic Programming : First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings /
Hızlı Bakış
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /
Hızlı Bakış
Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /

Yazar: Johan Jeuring

Hızlı Bakış
Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /

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