Erschienen: 23.06.1993 Abbildung von Lingas / Karlsson / Carlsson | Automata, Languages and Programming | 1993 | 20th International Colloquium,... | 700

Lingas / Karlsson / Carlsson

Automata, Languages and Programming

20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

128,39 €

inkl. Mwst.

1993. Buch. xiii, 703 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56939-8

Format (B x L): 15,5 x 23,3 cm

Gewicht: 2190 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 700

Produktbeschreibung

The International Colloquium on Automata, Languages and
Programming (ICALP) is an annual conference series sponsored
by the European Association for Theoretical Computer Science
(EATCS). It is intended to cover all important areas of
theoretical computer science, such as: computability,
automata,formal languages, term rewriting, analysis of
algorithms, computational geometry, computational
complexity, symbolic and algebraic computation,
cryptography, data types and data structures, theory of
data bases and knowledge bases, semantics of programming
languages, program specification, transformation and
verification, foundations of logicprogramming, theory of
logical design and layout, parallel and distributed
computation, theory of concurrency, and theory of robotics.
This volume contains the proceedings of ICALP 93, held at
LundUniversity, Sweden, in July 1993. It includes five
invited papers and 51 contributed papers selected from 151
submissions.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...