Kanalak - Intelligent Computer Mathematics : :: Biblioteca ITESO

Antzeko izenburuak: Intelligent Computer Mathematics :

Quick Look
Intelligent Computer Mathematics : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings /
Quick Look
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /
Quick Look
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /
Quick Look
Sequences and Their Applications - SETA 2010 : 6th International Conference, Paris, France, September 13-17, 2010. Proceedings /
Quick Look
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 /
Quick Look
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /
Quick Look
Mathematical Software - ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /
Quick Look
Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /
Quick Look
CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /
Quick Look
Swarm Intelligence : 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings /
Quick Look
Web Engineering : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings /
Quick Look
Persuasive Technology : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings /
Quick Look
Mathematics of Surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings /
Quick Look
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /
Quick Look
Systems, Software and Services Process Improvement : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /
Quick Look
Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /
Quick Look
Modelling Foundations and Applications : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /
Quick Look
Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /
Quick Look
Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /
Quick Look
Artificial Intelligence and Soft Computing, Part I : 10th International Conference, ICAISC 2010, Zakopane, Poland, June13-17, 2010, Part I /
Quick Look
Data Integration in the Life Sciences : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings /
Quick Look
Advances in Web-Based Learning - ICWL 2010 : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings /
Quick Look
Text, Speech and Dialogue : 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings /

Egilea: Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

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 /

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