foundations software technology theoretical (85 Ergebnisse)

Softcover. Zustand: 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.

Softcover. 1990. X, 420 p. Unread book. Very good condition. Slight traces of storage. 9783540534877 Sprache: Englisch Gewicht in Gramm: 1338.

XI, 346 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2245. Sprache: Englisch.

Taschenbuch. Zustand: Gut. 430 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469.

Taschenbuch. Zustand: Gut. 430 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469.

Paperback. Zustand: Good. Paperback in good condition. A few small marks on covers. Minor abrasion on leading edge of rear cover. Leading corners, edges and spine ends are slightly worn. Library label on spine foot. Library stamps and several marks on page block. Library label on front inside cover. Library stamps on FEP, BEP, copyright page and rear inside cover. Residue from sticker on FEP. Stamps on pages within. Pages are slightly faded on edges. Binding is tight, contents are clean and clear. AM. Ex-Library.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 472; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 560; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and creased lower leading corner. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 206; previous owner's sticker on the front cover, slight shelf wear. Ex-Library.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 532 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 366 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 453 pp., softcover, ex library, else text and binding clean and 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 518 pp., paperback, ex library, else text and binding clean and 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 452 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 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.

Zustand: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 420 pp., softcover, ex library, else text and binding clean and 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.

Zustand: Good. *FREE DOMESTIC SHIPPING until Monday, Sept. 22* 419 pp., softcover, ex library, else text and binding clean and 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.

430 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7861 9783540499947 Sprache: Englisch Gewicht in Gramm: 900.

Zustand: New. pp. 472 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Softcover Sehr gut erhalten.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Taschenbuch. Zustand: Neu. Neuware -share their expertise. 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12¿14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we had ve invited speakers this year: Hendrik Lenstra, Jr., Harry Mairson, Dale Miller, Chih-Hao Luke Ong, and Margus Veanes. We thank them for accepting our invitation and for providing abstracts (or even full papers) for the proceedings. Two workshops were organized in conjunction with the conference ¿ both in Kanpur. A workshop on Parameterized Complexity was held during December 10¿11, organized by Mike Fellows and Venkatesh Raman. The second workshop actually consisted of three miniworkshops: on Coding Theory by Madhu Sudan; on Finite Field Algorithms by Hendrik Lenstra, Jr.; and on Sieve Theory by R. Balasubramanian. We wish to thank all the reviewers and PC members who contributed greatly to making the conference a success. We also wish to thank the team at Springer- Verlag for their help in preparing the proceedings. 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running conference on computer science in India, and is organized under the aegis of the Indian As- ciation for Research in Computing Science, IARCS. Since its inception in 1981, the conference (held annually in the month of December) has helped in nurt- ing and creating an environment for the exchange of ideas amongst the research community in the country, by attracting top scientists around the world to the conference. This volume contains the proceedings of the 24th FSTTCS conf- ence held in December 2004. A strong point of the FSTTCS programmes has been excellent invited talks by eminent computer scientists of international renown. Continuing this t- dition, this FSTTCS featured invited talks by Javier Esparza, Piotr Indyk, Pavel A. Pevzner, John C. Reynolds, and Denis Th erien. We thank our invited speakers for readily agreeing to come to FSTTCS, and for providing write-ups for the proceedings. It is our pleasure that IARCS chose to honor Prof. Rani Siromoney at this conference, on the occasion of her 75th birthday. The in uence she has wielded (and the impact she has exerted) in Indian theoretical computer science is tremendous, and the tribute is tting and richly deserved. We thank R.K. Sh- masundar for chairing the special session in her honor, and Kamala Krithivasan and K.G. Subramanian for speaking at the session.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes. TOC:The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.