Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: Anybook.com, Lincoln, United Kingdom
US$ 10.72
Quantity: 1 available
Add to basketCondition: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:3540176608.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 24.70
Quantity: 15 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 31.46
Quantity: 15 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 31.49
Quantity: 15 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 24.77
Quantity: 15 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 24.65
Quantity: 15 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Fondazione Ugo E Olga Levi, 2012
Seller: Arca dei libri di Lorenzo Casi, Sansepolcro, AR, Italy
Paperback. Condition: Usato - Come Nuovo. In-8 (Cm 24 x 21,5), pp. 239, brossura editoriale illustrata, illustrazioni a colori nel testo. COME NUOVO.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: Italian
Published by Arnaldo Forni Editore, 1984
ISBN 10: 8827124896 ISBN 13: 9788827124895
Seller: libreriauniversitaria.it, Occhiobello, RO, Italy
Condition: NEW.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 31.57
Quantity: 15 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: Italian
Published by Arnaldo Forni Editore, 1984
ISBN 10: 8827124896 ISBN 13: 9788827124895
Seller: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italy
Brossura. Condition: new. Sala Bolognese, 1984; br., pp. 84, cm 17x24. Libro.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 51.53
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 51.53
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 47.32
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: New. pp. 356.
Published by Roma, 1931., 1931
Seller: Libreria Gullà, Roma, RM, Italy
In-8° pp. 44 con 61 ill. n.t. Bross. edit. Tracce del tempo.
Seller: Forgotten Books, London, United Kingdom
US$ 18.08
Quantity: Over 20 available
Add to basketPaperback. Condition: New. Print on Demand. This book brings together transcriptions and an exhaustive analysis of the oldest legal documents pertaining to the governance of guilds in the Italian city of Chioggia. The documents date from the 13th and 14th centuries and provide a valuable glimpse into the trade, working conditions, and social structures of the time. The author's detailed phonological examination reveals the evolution of the local dialect from Latin, shedding light on the socio-economic history of an important maritime republic. The significance of the book lies in its contribution to our understanding of medieval Italian history and the linguistic landscape of the Adriatic coast. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 30.83
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 35.78
Quantity: Over 20 available
Add to basketCondition: New.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the complexity of branching programs and decision trees for clique functions.- Average complexity of additive properties for multiway tries: A unified approach.- Longest common factor of two words.- An unification semi-algorithm for intersection type schemes.- Optimal run time optimization proved by a new look at abstract interpretations.- Transformation ordering.- On parametric algebraic specifications with clean error handling.- Toward formal development of programs from algebraic specifications: Implementations revisited.- Finite algebraic specifications of semicomputable data types.- On the semantics of concurrency: Partial orders and transition systems.- CCS without 's.- A fully observational model for infinite behaviours of communicating systems.- SMoLCS-driven concurrent calculi.- Parameterized horn clause specifications: Proof theory and correctness.- Partial composition and recursion of module specifications.- Efficient representation of taxonomies.- Applications of compactness in the Smyth powerdomain of streams.- Characterizing Kripke structures in temporal logic.- Dialogue with a proof system.- Induction principles formalized in the calculus of constructions.- Algebraic semantics.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog - A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 | Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) | Hartmut Ehrig (u. a.) | Taschenbuch | xviii | Englisch | 1987 | Springer | EAN 9783540176602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.