Informatik (15 757 Artikel)

This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996. Th...

This carefully arranged book is mainly based on work done by the Intelligent Systems Research Group at BT Laboratories, essentially in cooperation with internationally leading scientists from outsi...

This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel, Germany, in February 1997.The book ...

This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97, held in Rome, Italy in March 1997.The 25 revised full papers included in the vo...

This book constitutes the refereed proceedings of the First International Workshop on Numerical Analysis and Its Applications, WNAA'96, held in Rousse, Bulgaria, in June 1996.The 57 revised full pa...

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full pa...

Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evol...

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997.The 46 revised full...

This book constitutes the refereed proceedings of the First International Conference on Audio- and Video-based Biometric Person Authentication, AVBPA'97, held in Crans-Montana, Switzerland, in Marc...

This book constitutes the refereed proceedings of the Third European Conference on Computational Learning Theory, EuroCOLT'97, held in Jerusalem, Israel, in March 1997.The book presents 25 revised ...

The agents approach is not just another abstract computing paradigm, but has matured during recent years into a booming research area and software engineering technology which holds great promise f...

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full pap...

Software is rarely built completely from scratch. To a great extent, existing software documents (source code, design documents, etc.) are copied and adapted to fit new requirements. Yet we are far...

This book constitutes the refereed proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, held in Grenoble, France, in March 1997.The volume presents 33 revised f...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users,, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three in...