Rewriting logic and its applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, revised selected papers /

by WRLA (Conferência), Durán, Francisco.
Published 2012.

Logic for programming, artificial intelligence, and reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, proceedings /

by LPAR (Conferência), Bjørner, Nikolaj., Voronkov, Andrei.
Published 2012.

Algorithm theory-SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, proceedings /

by SWAT (Simpósio), Fomin, Fedor V., Kaski, Petteri.
Published 2012.

21st century learning for 21st century skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, proceedings /

by European Conference on Technology Enhanced Learning, Ravenscroft, Andrew.
Published 2012.

Progress in cryptology : INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012, proceedings /

by International Conference in Cryptology in India, Galbraith, Steven., Nandi, Mridul.
Published 2012.

Frontiers in algorithmics and algorithmic aspects in information and management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, proceedings /

by FAW-AAIM (Conferência), Snoeyink, Jack.
Published 2012.

Combinatorial optimization and applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012, proceedings /

by COCOA (Conferência), Lin, Guohui.
Published 2012.

Current trends in web engineering ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, revised selected pap...

by ICWE (Conferência), Grossniklaus, Michael., Wimmer, Manuel.
Published 2012.

Multiple access communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, proceedings /

by MACOM (Workshop), Bellalta, Boris.
Published 2012.

Formal grammar 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 /

by FG (Conferência), De Groote, Philippe., Nederhof, Mark-Jan.
Published 2012.

Transactions on large-scale data- and knowledge-centered systems III special issue on data and knowledge management in Grid and PSP systems /

by Hameurlain, Abdelkader., Küng, Josef., Wagner, Roland.
Published 2011.

Spatial information theory 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16 2011 : proceedings /

by COSIT 2011 (Conferência), Egenhofer, Max J.
Published 2011.

Adaptive multimedia retrieval understanding media and adapting to the user : 7th International Workshop, AMR 2009, Madrid, Spain, September 24-25, 2009 : revised selected papers /

by AMR 2009 (Workshop), Detyniecki, Marcin., Garcia-Serrano, Ana., Nürnberger, Andreas.
Published 2011.

Combinatorial optimization and applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings /

by COCOA 2011 (Conferência), Wang, Weifan., Zhu, Xuding., Du, Ding-Zhu.
Published 2011.

Model-driven architecture - foundations and applications second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006: proceedings /

by European Conference on Model Driven Architecture - Foundations and Applications, Warmer, Jos., Rensink, Arend.
Published 2006.

Algorithms and data structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings /

by WADS 2011 (Simpósio), Dehne, Frank., Iacono, John., Sack, Jörg-Rüdiger.
Published 2011.

Information hiding 13th International Conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected Papers /

by IH 2011 (Conferência), Filler, Tomas.
Published 2011.

Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, S...

by ESOP 2011 (Simpósio), Barthe, Gilles.

Availability, reliability and security for business, enterprise and health information systems IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, Vienna, Austria,...

by ARES 2011 (Conferência e Workshop), Tjoa, A Min.
Published 2011.

Information networking: advances in data communications and wireless networks ; international conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006: revised selected papers /

by International Conference on Information Networking, Chong, Ilyoung., Kawahara, Kenji.
Published 2006.