Formal methods and testing an outcome of the FORTEST network : revised selected papers /

Published 2008

Formal aspects in security and trust fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /

Published 2007

Information hiding 8th international workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006 : revised selected papers /

Published 2007

Software engineering approaches for offshore and outsourced development first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Published 2007

Advanced parallel processing technologies 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings /

Published 2007

Grammatical inference algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings /

Published 2006

Emerging trends in information and communication security international conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006 : proceedings /

Published 2006

Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedings /

Published 2006

Distributed computing 20th international symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006 : proceedings /

Published 2006

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

by Clavel, Manuel, 1969-
Published 2007

Coding and cryptography international workshop, WCC 2005, Bergen, Norway, March 14-18, 2005 : revised selected papers /

Published 2006

Service-oriented computing, ICSOC 2006 4th international conference, Chicago, IL, USA, December 4-7, 2006 : proceedings /

Published 2006

Life in extreme environments

Published 2007

Transactions on computational science III

Published 2009

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, : revised selected papers /

Published 2008

Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 : proceedings /

Published 2006

Rough sets and knowledge technology first international conference, RSKT 2006, Chongqing, China, July 24-26, 2006 : proceedings /

Published 2006

Data engineering issues in e-commerce and services second international workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006 : proceedings /

Published 2006

Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /

Published 2006

Model driven engineering languages and systems 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /

Published 2006