Informatik (15 755 Artikel)

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.The book contains the 31 refereed full resea...

Without a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of programming languages. Object-oriented programming ...

Der erfolgreiche Einsatz eines Datenbanksystems in der Praxis ist davon abhängig, inwieweit es gelingt, das gegebene Informationsproblem in einem Datenmodell abzubilden, das dann auf einem Rechner ...

This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volum...

Based on a NATO Advanced Study Institute held in 1993, this book addresses recent advances in automatic speech recognition and speech coding. The book contains contributions by many of the most out...

This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU...

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures b...

This volume contains the best carefully revised full papers selected from the presentations accepted for the AI '93 and AI '94 Workshop on Evolutionary Computation held in Australia.The 21 papers i...

This volume contains thoroughly refereed full versions of the best papers presented at the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, held in Neuchâtel...

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in C...

This book presents the proceedings of the 4th International Symposium on large Spatial Databases, SSD '95, held in Portland, Maine, USA in August 1995.The 23 refereed full papers presented were sel...

This book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995.Conceptual structures are a modern trea...

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995. The 15 revised full papers included...

This book constitutes the proceedings of the 1994 Workshop on the Theory and Application of Cryptographic Techniques, EUROCRYPT '94, held in Perugia, Italy in May 1994.The 36 revised full papers pr...

This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The syn...