Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 9,20
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 UK, Fairford, GLOS, Vereinigtes Königreich
EUR 21,20
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 27,00
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 27,02
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 21,26
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 21,15
Anzahl: 15 verfügbar
In den WarenkorbPAP. 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 27,09
Anzahl: 15 verfügbar
In den WarenkorbHRD. 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,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 44,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
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.
Sprache: Italienisch
Verlag: Arnaldo Forni Editore 1978 (= ristampa dell'edizione di Venezia 1901)., 1978
Anbieter: Antiquariat Andree Schulte, Grafschaft-Ringen, Deutschland
Verbandsmitglied: GIAQ
81 pp. -TEXT IN ITALIAN- Sprache: Italienisch Gewicht in Gramm: 200 8vo. Softcover, no dust jacket, copy from an official library with library signs, stamps and signatures, binding coated with transparent film and a bit stained, all in all good.
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.
Verlag: Zanichelli, 1974
Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, macchie Condizioni dell'interno: Buone.