Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1987
ISBN 10: 354017611X ISBN 13: 9783540176114
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 1987th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 9,25
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 24,91
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 33,25
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 33,27
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 24,89
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 24,98
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Zustand: NEW.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 44,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 44,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 33,32
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) | Hartmut Ehrig (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer | EAN 9783540176114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Istituto Poligrafico dello Stato, Roma, 1931
Anbieter: Antica Libreria di Bugliarello Bruno S.A.S., San Gregorio di Catania, CT, Italien
Collana Manualetti di tecnica militare a cura della Rivista Esercito e nazione. Aprile 1931 - Fasc. XIV - in 8° - pp.44 - Brossura editoriale - Illustrazioni in b/n nel testo - 17° migliaio - Libro usato.
Sprache: Italienisch
Verlag: Federico, 1901
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Hardcover. 81 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. Guter Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature on spine. Good condition, some traces of use. g1119 Sprache: Italienisch Gewicht in Gramm: 350.
Erscheinungsdatum: 1934
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
Roma, Istituto Poligrafico dello Stato, 1934, 8vo brossura, pp. 44 con 61 illustrazioni n.t.
Verlag: Istituto Poligrafico dello Stato, ROMA, 1931
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Zustand: BUONO USATO. Manualetti di tecnica e di cultura militare ITALIANO Libro usato ma in buone condizioni. Potrebbe presentare piccolissimi danni alle copertine e lievi piegature da lettura al dorso e/o piegature minime agli angoli, normali segni del tempo. La rilegatura potrebbe essere minimamente allentata ma integra e senza fogli sciolti e o mancanze. Le pagine e/o i tagli potrebbero essere lievemente ingialliti con minima fioritura. La foto corrisponde al libro in vendita. Altre foto su richiesta. Numero pagine 44.
Verlag: Società Editrice Il Mulino, BOLOGNA, 2001
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Zustand: OTTIMO USATO. IED. ITALIANO Libro usato che è già stato letto, ma in condizioni ottime. Nessun danno evidente alle coperte, potrebbe presentare minimi segni di usura alle copertine e alle pagine. Nessuna pagina mancante o strappata, nessuna sottolineatura/evidenziazione di testo né scritte ai margini. La foto corrisponde al libro in vendita. Altre foto su richiesta. Opera incompleta. Numero pagine 222.
Verlag: Prem. Stab. Tip-Lit Visentini Cav. Federico,, 1901
Anbieter: Libreria Antiquaria Pontremoli SRL, Milano, MI, Italien
brossura originale, Venezia, Prem. Stab. Tip-Lit Visentini Cav. Federico, 1901, Invio autografo dell'autore. in 8°, brossura originale, pp. 84.
Verlag: Nicola zanichelli, 1928
Anbieter: Librería Pérez Galdós, Madrid, M, Spanien
Zustand: leido. Parte Prima: Cinemática, Principi e Statica. En italiano. Plena piel. Pasta española. 375.
Sprache: Italienisch
Verlag: Creative Media Partners, LLC Mai 2025, 2025
ISBN 10: 102377397X ISBN 13: 9781023773973
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - I Monumenti Del Dialetto Di Lio Mazor, written by Ugo Levi and published in 1904, represents a significant contribution to the study of Italian dialects. This book meticulously documents and analyzes the unique linguistic characteristics of the Lio Mazor dialect, offering valuable insights into its structure, vocabulary, and usage. Levi's work serves not only as a linguistic resource but also as a historical record, preserving a snapshot of a specific cultural and linguistic landscape at the turn of the century. This volume will be of interest to scholars of Italian language, linguistics, and folklore, as well as those studying the history and culture of Italy.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Verlag: Zanichelli, 1974
Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, macchie Condizioni dell'interno: Buone.