Del 181 - Lecture Notes in Computer Science

Foundations of Software Technology and Theoretical Computer Science

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

Häftad, Engelska, 1984

Av M. Joseph, Rudrapatna K. Shyamasundar, R. Shyamasundar

729 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

stones of creation

M Joseph, M. Joseph

419 kr

Information Systems Security

Del 14424

Information Systems Security

Vallipuram Muthukkumarasamy, Sithu D. Sudarsan, Rudrapatna K. Shyamasundar

1 359 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Expeditionen : min kärlekshistoria (illustrerad utgåva)

399 kr579 kr

Den juligaste av jular : en berättelse i 24 kapitel

Nyhet

Den juligaste av jular : en berättelse i 24 kapitel

Callum Bloodworth

239 kr259 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr

Distributed Computing and Networking

Distributed Computing and Networking

Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha

729 kr

Trackside

Nyhet

Trackside

Erik Stenborg, Janne Blomqvist, Marcus Eriksson

349 kr

Information Systems Security

Information Systems Security

Rudrapatna K. Shyamasundar, Virendra Singh, Jaideep Vaidya

729 kr

Information Systems Security

Del 15416

Information Systems Security

Vishwas T. Patil, Ram Krishnan, Rudrapatna K. Shyamasundar

1 059 kr