All about Maude a high-performance logical framework : how to specify, program, and verify systems in rewriting logic /

le Clavel, Manuel.
Foilsithe 2007.

The semantic web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings /

le International Semantic Web Conference, Aberer, Karl.
Foilsithe 2007.

Usability and internationalization global and local user interfaces : second International Conference on Usability and Internationalization, UI-HCII 2007, held as part of HCI Inter...

le International Conference on Usability and Internationalization, Aykin, Nuray.
Foilsithe 2007.

International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /

le FSEN 2007, Arbab, Farhad., Sirjani, Marjan.
Foilsithe 2007.

Software architecture third european workshop, EWSA 2006, Nantes, France, September 4-5, 2006: revised selected papers /

le EWSA 2006, Gruhn, Volker., Oquendo, Flavio.
Foilsithe 2006.

Information security and privacy 11th Australasian conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006: proceedings /

le ACISP 2006, Batten, Lynn., Safavi-Naini, Reihaneh.
Foilsithe 2006.

Public key infrastructure Third European PKI workshop: theory and practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006: proceedings /

le European PKI Workshop, Atzeni, Andrea S., Lioy, Antonio.
Foilsithe 2006.

Advances in neural networks - ISNN 2006 Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006: proceedings, part I /

le International Symposium on Neural Networks, Wang, Jun.
Foilsithe 2006.

Information security and cryptology – ICISC 2006 9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings /

le ICISC 2006, Rhee, Min Surp., Lee, Byoungcheon.
Foilsithe 2006.

Functional imaging and modeling of the heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011 : proceedings /

le FIMH 2011 (Conferência), Metaxas, Dimitris N., Axel, Leon.
Foilsithe 2011.

Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /

le FMICS 2011 (Workshop), Salaün, G., Schätz, Bernhard.
Foilsithe 2011.

Image analysis 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011 : proceedings /

le SCIA 2011 (Conferência), Heyden, Anders., Kahl, Fredrik.
Foilsithe 2011.

Research and advanced technology for digital libraries International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011 : proceedi...

le TPDL 2011 (Conferência), Gradmann, Stefan.
Foilsithe 2011.

Exploring music contents 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010 : revised papers /

le CMMR 2010 (Simpósio), Ystad, Sølvi.
Foilsithe 2011.

LATIN 2006: theoretical informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006: proceedings /

le Latin American Symposium on Theoretical Informatics, Correa, José R., Hevia, Alejandro., Kiwi, Marcos.
Foilsithe 2006.

Intelligence and security informatics International Workshop, WISI 2006, Singapore, April 9, 2006: proceedings /

le WISI 2006, Chen, Hsinchun.
Foilsithe 2006.

Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004: revised papers /

le International Workshop on Automated Deduction in Geometry, Hong, Hoon., Wang, Dongming.
Foilsithe 2006.

Progress in Cryptology -- AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings /

le AFRICACRYPT 2011 (Conferência), Nitaj, Abderrahmane., Pointcheval, David.
Foilsithe 2011.

Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005: revised selected papers /

le CASSIS (Conference), Barthe, Gilles.
Foilsithe 2006.

Unifying the software process spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005: revised selected papers /

le Software Process Workshop, Li, Mingshu., Boehm, Barry., Osterweil, Leon J.
Foilsithe 2006.