These are the conference proceedings of the 4th International Conference on Discovery Science (DS...

The lives of people all around the world, especially in industrialized nations, continue to be ch...

The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on ...

Keine ausführliche Beschreibung für 'Grundlagen der Künstlichen Intelligenz' verfügbar.

No detailed description available for "e;Mathematical Methods of Specification and Synthesis ...

These are the conference proceedings of the 4th International Conference on Discovery Science (DS...

This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmi...

The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on ...

This proceedings volume contains revised and reviewed papersbased on talks presented at the first...

This book is the final report on a comprehensive basic research project, named GOSLER on algorith...

The algebraic specification of abstract data types is now awell establishedresearch topic in comp...