Fundamentals of Computation Theory

Fundamentals of Computation Theory von Budach Lothar (Herausgeber)

Herausgeber: Budach, Lothar

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540544585

EAN/ISBN-13: 9783540544586

Sprache: eng

Veröffentlichung: September 2007


 
 
Klappentext zu Fundamentals of Computation Theory
This volume contains papers which were contributed forpresentation at the international conference "Fundamentalsof Computation Theory - FCT '91" heldat Gosen, near Berlin,September 9-13, 1991. This was the eighth in the series ofFCT conferences organized every odd year. The programme oftheconference, including invited lectures and selectedcontributions, falls into the following categories:- Semantics and logical concepts in the theory of computing,formal specification,- Automata and formal languages, Computational geometry,- Algorithmic aspects of algebra and algebraic geometry,cryptography,- Complexity (sequential, parallel, distributedcomputing, structure, lower bounds, complexity of analyticalproblems, general concepts),- Algorithms (efficient, probabilistic, parallel,sequential, distributed),- Counting and combinatorics in connection with mathematicalcomputer science.The proceedings of previous FCT meetings are available asLecture Notes in Computer Science (Vols. 380, 278, 199, 158,117, 56).

weitere passende Bücher

Fundamentals of Computation Theory

This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State …


geschrieben von Lothar Budach (Herausgeber) und Rais G. Bukharajev (Herausgeber) und Oleg B. Lupanov (Herausgeber)

Fundamentals of Computation Theory

This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State …


geschrieben von Lothar Budach (Herausgeber)

Building Reliable Component-Based Software Systems

CBSE (component-based software engineering) is the emerging discipline of the development of software components and systems incorporating such components. This first-of-its-kind resource is a …

Preface. Introduction. The Definition and Specification of Components. Software Architecture and Components. Developing Software Components. Using Software Components. Software Product Lines. …


geschrieben von Ivica Crnkovic (Herausgeber) und Magnus Larsson (Herausgeber)

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January …


geschrieben von Lenore D. Zuck (Herausgeber) und Paul D. Attie (Herausgeber) und Agostino Cortesi (Herausgeber) und Supratik Mukhopadhyay (Herausgeber)

Unsere Welt. Atlas für Nordrhein-Westfalen. Große Ausgabe

Die Kartenfolge orientiert sich an leicht erfassbaren geographischen Ordnungsgrundsätzen. Sie folgt der regionalen Großgliederung vom Nahen zum Fernen: Deutschland - Europa - Asien - …


geschrieben von

Meistererzählungen

Robert Louis Stevenson (1850 - 1894) feierte seinen ersten großen literarischen Erfolg 1883 mit seiner Abenteuergeschichte «Die Schatzinsel», weitere mit unheimlichen Geschichten in der …

Inhalt:
Bourgeois und Bohemien / Unterkunft für die Nacht / Der Schatz von …


geschrieben von Alastair (Übersetzung) und Robert Louis Stevenson (Autor)

Die Kunst, Nackten in die Tasche zu greifen

Psychologische Konzepte, die psychosoziale Fachleute verwenden, sind keine "Dinge an sich", sondern Erklärungen und Hypothesen, die wir nutzen, um der Welt einen Sinn zu verleihen. Diese Idee - …


geschrieben von Ben Furman (Autor) und Tapani Ahola (Autor)

Wiedersehen mit Vamperl

Renate Welsh wurde 1937 in Wien geboren. Ihre Kindheit verlebte sie in einem Vorort Wiens, wo ihr Vater Arzt war. Nach dem Abitur studierte sie Englisch, Spanisch und Literaturwissenschaften, brach …


geschrieben von Renate Welsh (Autor)

Interaktionsspiele für Jugendliche 1

Die Experimente sind so zusammengestellt, daß sie mit Jugendlichen unterschiedlicher sozialer und schulischer Herkunft durchgeführt werden können. Wichtige Lebensthemen kommen zur …


geschrieben von Klaus W. Vopel (Autor)

Volkswirtschaftslehre III

Dieses Lehrbuch der Makroökonomik, eine vollständig revidierte und in weiten Teilen neu geschriebene Fassung der "Gesamtwirtschaftlichen Theorie" von 1975 , wendet sich an …


geschrieben von Alfred Stobbe (Autor)


durchsuche buecher-lounge.de

  • Loading