Foundations of Software Technology and Theoretical Computer Science

Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings

Häftad, Engelska, 1984

AvM. Joseph,R. Shyamasundar

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1984-11-01
Mått155 x 235 x 26 mm
Vikt721 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor470
Upplaga1984
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540138839

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Logic for knowledge representation.- Logical specification and implementation.- Process specification of logic programs.- Functional programming systems revisited.- Models and transformations for nondeterministic extensions of functional programming.- Degrees of non-determinism and concurrency: A Petri net view.- Proof rules for communication abstractions.- A distributed algorithm for detecting communication deadlocks.- On the existence and construction of robust communication protocols for unreliable channels.- Heuristic search approach to optimal routing in a distributed architecture.- Replacement in monotone Boolean networks: An algebraic perspective.- A new characterization of BPP.- Treating terminals as function values of time.- Logics of knowledge, games and dynamic logic.- Persistent first class procedures are enough.- Abstraction concepts for modeling screen oriented dialogue interfaces.- VLSI systems for design rule checks.- Bounds on the length of convex partitions of polygons.- On mapping cube graphs onto VLSI arrays.- A linear-time algorithm for determining the intersection type of two star polygons.- Eliminating cascading rollback in structured databases.- Recognition and top-down generation of ?-acyclic database schemes.- Universal and representative instances using unmarked nulls.- On some computational problems related to data base coding.- Generic oracles.- Approximation algorithm for maximum independent set in planar traingle-free graphs.- Grid file algorithms: An analysis in the biased case.- On the mean weight balance factor of binary trees.- An efficient algorithm for random sampling without replacement.- Proof rules for communication abstractions.

Du kanske också är intresserad av

stones of creation

M Joseph, M. Joseph

Häftad

419 kr

Grönsaker A-Ö : recept och bruksanvisning

Paul Svensson

Inbunden

399 kr

Bokrea

Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr

Bokrea

Del 3

Lucia är död

Katarina Wennstam

Inbunden

289 kr