Algorithms and architectures for parallel processing 7th international conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007 : proceedings /

Published 2007

Algorithms and architectures for parallel processing 8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedings /

Published 2008

Algorithms and complexity 6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings /

Published 2006

Algorithms and computation 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005 : proceedings /

Published 2005

Algorithms and computation 18th international symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007 : proceedings /

Published 2007

Algorithms and computation 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008 : proceedings /

Published 2008

Algorithms and data structures 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings /

Published 2007

Algorithms and data structures 9th international workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005 : proceedings /

Published 2005

Algorithms and models for the web-graph 5th international workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007 : proceedings /

Published 2007

Algorithms and models for the web-graph 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 : proceedings /

Published 2009

Algorithms, ESA 2005 13th annual European symposium, Palma de Mallorca, Spain, October 3-6, 2005 : proceedings /

Published 2005

Algorithms, ESA 2007 15th annual European symposium, Eilat, Israel, October 8-10, 2007 : proceedings /

Published 2007

Algorithms for sensor and ad hoc networks advanced lectures /

Published 2007

Algorithms in bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005 : proceedings /

Published 2005

Algorithms in bioinformatics 8th international workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008 : proceedings /

Published 2008

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

by Clavel, Manuel, 1969-
Published 2007

Ambient intelligence European conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007 : proceedings /

Published 2007

Ambient Intelligence European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008 : proceedings /

Published 2008

Ambient intelligence in everyday life

Published 2006

Ambient networks 16th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005 : proceedings /

Published 2005