Principles of distributed systems 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings /

by OPODIS 2009, Abdelzaher, Tarek., Raynal, Michel., Santoro, N.
Published 2009.

Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /

by MODELS 2011 (Conferência), Whittle, Jon., Clark, Tony., Kühne, Thomas.
Published 2011.

Algorithmic game theory 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings /

by SAGT 2011 (Simpósio), Persiano, Giuseppe.
Published 2011.

Natural language processing and information systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29,...

by NLDB, Kedad, Zoubida.
Published 2007.

Programming languages and systems 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings /

by APLAS 2007, Shao, Zhong.
Published 2007.

Theory and applications of satisfiability testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007 : proceedings /

by SAT 2007, Marques-Silva, Joao., Sakallah, Karem A.
Published 2007.

Advanced information systems engineering 19th international conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007 : proceedings /

by CAiSE 2007, Krogstie, John., Opdahl, Andreas L., Sindre, Guttorm.
Published 2007.

Advances in cryptology – EUROCRYPT 2007 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007 : proceed...

by EUROCRYPT, Naor, Moni.
Published 2007.

Programming languages and systems 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings /

by APLAS 2006, Kobayashi, Naoki.
Published 2006.

Visual information and information systems 8th international conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005: revised selected papers /

by International Conference on Visual Information Systems, Bres, Stéphane., Laurini, Robert.
Published 2006.

Practical aspects of declarative languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings /

by PADL 2008, Hudak, Paul., Warren, David S.
Published c2008

Groupware design, implementation, and use : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008 : revised selected papers /

by CRIWG (Conferência), Briggs, Robert Owen.
Published c2008

Information theoretic security Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008 : proceedings /

by ICITS (Conferência), Safavi-Naini, Reihaneh.
Published c2008

Formal methods for industrial critical systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /

by International Workshop on Formal Methods for Industrial Critical Systems, Leue, Stefan., Merino, Pedro.
Published c2008

Provable security first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings /

by ProvSec 2007, Susilo, Willy., Liu, Joseph K., Mu, Yi.
Published 2007.

Structural information and communication complexity 14th international colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007 : proceedings /

by Colloquium on Structural Information and Communication Complexity, Prencipe, Giuseppe., Zaks, Shmuel.
Published 2007.

Medical imaging and augmented reality third international workshop, Shanghai, China, August 17-18, 2006: proceedings /

by International Workshop on Medical Imaging and Augmented Reality, Yang, Guang-Zhong.
Published 2006.

Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006: proceedings /

by Furbach, Ulrich., Shankar, Natarajan.
Published 2006.

Constraint-based mining and inductive databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004: revised selected pap...

by European Workshop on Inductive Databases and Constraint Based Mining, Boulicaut, Jean-Francois., De Raedt, Luc., Mannila, Heikki.
Published 2006.

Runtime verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007 : revised selected papers /

by RV 2007, Sokolsky, Oleg., Tasiran, Serdar.
Published 2007.