Informatik (15 757 Artikel)

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in Septemb...

This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1...

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited p...

This book constitutes the refereed proceedings of the 6th International Workshop of Field-Programmable Logic and Applications, FPL '96, held in Darmstadt, Germany, in September 1996. The 37 revised...

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September ...

This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.The book is a unique survey o...

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume...

This book constitutes the refereed postworkshop proceedings of the Fourth Canadian Workshop on Information Theory, held in Lac Delage, Quebec, in May 1995.The book contains 18 revised full papers s...

This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB, at th...

This book constitutes the strictly refereed post-workshop proceedings of the second International Workshop on , held in conjunction with ECCV '96 in Cambridge, UK, in April 1996.The 15 revised full...

This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS...

This book constitutes the refereed proceedings of the 10th International Workshop on Distributed Algorithms, WDAG '96, held in Bologna, Italy, in October 1996.The volume presents 21 revised full pa...

This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Itali...

This book constitutes the refereed proceedings of the 5th European Workshop on Software Process Technology, EWSPT '96, held in Nancy, France, in October 1996.The book presents 31 revised full paper...

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.The book presents 26 revised full papers sele...