Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - Couverture souple
Synopsis
No Foundations of Software Technology and Theoretical Computer Science: v. 181 Read a customer review or write one .
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Foundations of Software Technology and Theoretical...
Image d'archives
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings (Lecture Notes in Computer Science) (v. 181)
Edité par
Springer, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 468 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB694898
Acheter D'occasion
EUR 13,60
Frais de port :
EUR 3,87
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 0387138838 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur DA1412429
Acheter D'occasion
EUR 16,72
Frais de port :
EUR 6
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-484-786
Acheter D'occasion
EUR 6,99
Frais de port :
EUR 20,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings (Lecture Notes in Computer Science, 181)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020160372
Acheter neuf
EUR 53,09
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations of Software Technology and Theoretical Computer Science : Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540138839
Acheter neuf
EUR 56,56
Frais de port :
EUR 17,73
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Foundations of Software Technology and Theoretical Computer Science
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1984, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 480 pp. Englisch. N° de réf. du vendeur 9783540138839
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Foundations of Software Technology and Theoretical Computer Science
Edité par
Springer Berlin Heidelberg, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.- Degre. N° de réf. du vendeur 4882371
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Technology and Theoretical Computer Science
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1984, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch. N° de réf. du vendeur 9783540138839
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Technology and Theoretical Computer Science : Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Edité par
Springer Berlin Heidelberg, 1984
ISBN 10 : 3540138838
ISBN 13 : 9783540138839
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540138839
Acheter neuf
EUR 53,49
Frais de port :
EUR 63,61
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Technology and Theoretical Computer Science | Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Foundations of Software Technology and Theoretical Computer Science | Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings | M. Joseph (u. a.) | Taschenbuch | x | Englisch | 1984 | Springer | EAN 9783540138839 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 102152605
Acheter neuf
EUR 50,35
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)