Ugo levi (37 Ergebnisse)

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

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Usato - Come Nuovo. In-8 (Cm 24 x 21,5), pp. 239, brossura editoriale illustrata, illustrazioni a colori nel testo. COME NUOVO.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

In-8° pp. 44 con 61 ill. n.t. Bross. edit. Tracce del tempo.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

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.…

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.…

Zustand: As New. Unread book in perfect condition.

Zustand: New. 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 sch.

Zustand: New. 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 mi.

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.…

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.

Hardcover. Zustand: Gut. 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.

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.…

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. …

Zustand: OTTIMO USATO. IED. Da revisionare 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.…

In-8° gr. pp. XII-375. Bross. edit. Buono stato.

Roma, Istituto Poligrafico dello Stato, 1934, 8vo brossura, pp. 44 con 61 illustrazioni n.t.

Brossura editoriale a stampa. Zustand: ottimo. Volume di cm. 24, pp. 84. Brossura editoriale a stampa. Invio autografo dell'autore.

Zustand: leido. Parte Prima: Cinemática, Principi e Statica. En italiano. Plena piel. Pasta española. 375.