Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /

Por Calculemus 2007, Kauers, Manuel.
Publicado em 2007.

Dynamics in logistics third international conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings /

Por Kreowski, Hans-Jörg, Scholz-Reiter, Bernd., Thoben, Klaus-Dieter
Publicado em 2013.

Probability approximations and beyond

Por Barbour, Andrew., Chan, Hock Peng., Siegmund, David.
Publicado em 2012.

Central european functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /

Por Central European Functional Programming School, Zsók, Viktória., Horváth, Zoltán., Plasmeijer, Rinus.
Publicado em 2012.

Brain informatics International Conference, BI 2012, Macau, China, December 4-7, 2012, proceedings /

Por International Conference on Brain Informatics, Zanzotto, Fabio Massimo.
Publicado em 2012.

Advances in the theory and applications of non-integer order systems 5th conference on non-integer order calculus and its applications, Cracow, Poland /

Por Mitkowski, Wojciech, Kacprzyk, Janusz, Baranowski, Jerzy
Publicado em 2013.

The European Information Society leading the way with geo-information /

Por Fabrikant, Sara Irina., Wachowicz, Monica., Association of Geographic Information Laboratories for Europe.
Publicado em c2007

Multifield problems in solid and fluid mechanics

Por Helmig, Rainer, Mielke, Alexander, Wohlmuth, Barbara I
Publicado em 2006.

Efficient numerical methods and information-processing techniques for modeling hydro and environmental systems

Por Hinkelmann, Reinhard.
Publicado em 2005.

Kinematics and dynamics of multibody systems with imperfect joints models and case studies /

Por Flores, Paulo., Ambrósio, Jorge., Pimenta Claro, J.C., Lankarani, Hamid M.
Publicado em 2008.

Image-based geometric modeling and mesh generation

Por Zhang, Yongjie (Jessica)
Publicado em 2013.

Modeling and using context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005 : proceedings /

Por International and Interdisciplinary Conference on Modeling and Using Context, Dey, Anind.
Publicado em 2005.

Advances in numerical methods

Por Mastorakis, Nicos E., Sakellaris, John.
Publicado em 2009.

MICAI 2009 advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009 : proceedings /

Por Mexican International Conference on Artificial Intelligence, Hernández Aguirre, Arturo., Borja, Raúl Monroy., Reyes, Carlos A.
Publicado em 2009.

Information engineering and applications international conference on information engineering and applications (IEA 2011) /

Por Zhu, Rongbo, Ma, Yan
Publicado em 2012.

Conceptual structures for discovering knowledge 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, proceedings /

Por International Conference on Conceptual Structures, Pfeiffer, Heather D.
Publicado em 2013.

Modeling and using context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011 : proceedings /

Por CONTEXT 2011 (Conferência), Beigl, Michael.
Publicado em 2011.

Ludics, dialogue and interaction PRELUDE Project — 2006-2009 : revised selected papers /

Por Lecomte, Alain., Tronçon, Samuel.
Publicado em 2011.

Human centric technology and service in smart space HumanCom 2012 /

Por Park, James J. (Jong Hyuk), Jin, Qun, Sang-soo Yeo, Martin, Hu, Bin
Publicado em 2012.

Proceedings of 2013 chinese intelligent automation conference intelligent information processing /

Por Sun, Zengqi, Deng, Zhidong
Publicado em 2013.