Informatik (15 755 Artikel)

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of ...

This volume constitutes the proceedings of the DIMACS International Workshop on Graph Drawing, GD '94, held in Princeton, New Jersey in October 1994.The 50 papers and system descriptions presented ...

This volume constitutes the proceedings of the 8th Conference on Software Engineering Education, SEI CSEE 1995, held in New Orleans, Louisiana, USA in March/April 1995. The volume presents 25 caref...

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical sta...

Die vorliegende Dissertation entstand neben meiner Tätigkeit am Institut für Produktionstechnik GmbH (ifp). Besonders danken möchte ich Herrn Professor Dr.-Ing. J. Milberg, dem Leiter des Lehrstuhl...

This volume constitutes the proceedings of the Third International Workshop of the European Association for Machine Translation, held in Heidelberg, Germany in April 1993. The EAMT Workshops tradit...

This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.Besides three invited talks, the book co...

This volume comprises ten thoroughly refereed and revised full papers originating from an interdisciplinary workshop on biocomputation entitled "Evolution as a Computational Process", held in Monte...

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karl...

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers se...

This volume presents the proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '94), held in Herrsching, Germany in June 1994.The volume contains 32 tho...

Eingeladene Beiträge.- Multimedia Database Systems -- The Notion and the Issues.- Super-Servers: Commodity Computer Clusters Pose a Software Challenge.- Die BTW im Wandel der Datenbank-Zeiten.- Vor...

I Grundlagen.- 1 Modelle.- 2 Grundbegriffe der Numerik.- II Lösen numerischer Probleme am Computer.- 3 Computer für die Numerische Datenverarbeitung.- 4 Numerische Daten und Operationen.- 5 Numeris...

10 Optimale Approximation.- 10.1 Mathematische Grundlagen.- 10.2 Bestapproximation im Quadratmittel -- L2-Approximation.- 10.3 Diskrete l2--Approximation -- Methode der kleinsten Quadrate.- 10.4 Gl...

This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995.The LATIN symposia are inte...