Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Computer Music Modeling and Retrieval
övrigt,
2005,
Engelska,
ISBN 9783540244585
This volume contains the ?nal proceedings for the 2004Computer Music Mod- ing and Retrieval Symposium (CMMR 2004). This event was held during 26-29 May 2004 in Esbjerg, Denmark on …
All About Maude - A High-Performance Logical Framework
övrigt,
2007,
Engelska,
ISBN 9783540719403
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and …
ECOOP 2000 - Object-Oriented Programming
övrigt,
2000,
Engelska,
ISBN 9783540676607
Following a 13-year tradition of excellence, the 14th ECOOP conference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that …