Mohlo by se vám také líbit

Více informací o knize CAAP '90

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: CAAP '90
• Podnázev: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
• Autor: Andre Arnold
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 288
• EAN: 9783540525905
• ISBN: 3540525904
• ID: 05274144
• Nakladatelství: Springer, Berlin
• Hmotnost: 426 g
• Rozměry: 240 × 160 × 15 mm
• Datum vydání: 25. April 1990

Oblíbené z jiného soudku

---

---

---