Del 118 - Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1981

10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings

Häftad, Engelska, 1981

Av Jozef Gruska, M. Chytil, J. Gruska

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-08-01
Mått155 x 233 x 33 mm
Vikt908 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor590
Upplaga1981
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540108566

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

The complexity of manipulating hierarchically defined sets of rectangles.- The transformational machine: Theme and variations.- Probabilistic two-way machines.- A survey of some recent results on computational complexity in weak theories of arithmetic.- A survey on oracle techniques.- Time and space bounded complexity classes and bandwidth constrained problems.- Representations of graphs by means of products and their complexity.- Parsing strategies: A concise survey.- The art of dynamizing.- Fast parallel computation of polynomials using few processors.- Generalizations of Petri nets.- Partial match retrieval in implicit data structures.- A characterization of Floyd-provable programs.- Semantics of CSP via translation into CCS.- More about the "geography" of context-free languages.- On the power of algebraic specifications.- An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages.- On the complexity of word problems in certain Thue systems.- On the transformation of derivation graphs to derivation trees.- Pushdown automata with restricted use of storage symbols.- Structured nets.- Retraceability, repleteness and busy beaver sets.- Combining T and level-N.- On realization and implementation.- Multiplicative complexity of a bilinear form over a commutative ring.- Making dynamic logic first-order.- Partial interpretations of program schemata.- Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata.- Another hierarchy defined by multihead finite automata.- An extension of Rabin's complete proof concept.- How to find invariants for coloured Petri nets.- Relationships between probabilistic and deterministic tape complexity.- Grammatical levels of the position restricted grammars.- A general framework for comparing sequential and parallel rewriting.- A bin packing algorithm with complexity O(n log n) and performance 1 in the stochastic limit.- Codings of nonnegative integers.- The maximum k-flow in a network.- On the constructive description of graph languages accepted by finite automata.- Weighted multidimensional B-trees used as nearly optimal dynamic dictionaries.- Maximum flow in planar networks.- Probabilistic combinatorial optimization.- Time-processor trade-offs for universal parallel computers.- Negative results on the size of deterministic right parsers.- Key-equivalence of functional dependency statements systems.- On representation of dynamic algebras with reversion.- A framework for studying grammars.- On existence of complete predicate calculus in metamathematics without exponentiation.- On structural similarity of context-free grammars.- Axioms for the term-wise correctness of programs.- Complexity and entropy.- Axiomatic semantics of indirect addressing.- Testing of join dependency preserving by a modified chase method.- A starvation-free solution of the dining philosophers' problem by use of interaction systems.- Admissible representations of effective cpo's.- Preserving total order in constant expected time.- Constructive category theory (No. 1).- Two pebbles don't suffice.

Du kanske också är intresserad av

Mathematical Foundations of Computer Science 1986

Del 233

Mathematical Foundations of Computer Science 1986

Jozef Gruska, Branislav Rovan, Juraj Wiedermann

1 449 kr

Mathematical Foundations of Computer Science 1977

Del 53

Mathematical Foundations of Computer Science 1977

1 449 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 kr

Hitster Original

Hitster Original

Jumbo

299 kr379 kr

Hon som blev kvar

Hon som blev kvar

79 kr125 kr

Hatets hjärta

Nyhet

Hatets hjärta

79 kr125 kr

Book Nook - Owl Bookstore

Book Nook - Owl Bookstore

Cutebee

499 kr

Julkalas, Alfons Åberg

Nyhet

Julkalas, Alfons Åberg

Gunilla Bergström

179 kr

Kafé Pumpkin Spice

Nyhet

Del 1

Kafé Pumpkin Spice

79 kr125 kr

Barnens Adventskalender 2025

Barnens Adventskalender 2025

Scouterna

79 kr