Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Roma, Tipografia dell'Unione Editrice, 1918, in-8, nato senza brossura, pp. [8]. L'Ufficio del Soldo Quotidiano, fondato da Giorgio Enrico Levi, raccoglieva fondi a favore della famiglie dei militari sotto le armi.
Verlag: Roma Accademia Nazionale dei, 1950
Anbieter: LIBRAIRIE GIL-ARTGIL SARL, RODEZ, Frankreich
Buch
Broché. Roma Accademia Nazionale dei Lincei 1950, plaquette In-8 brochée. 15 pages. En italien. Bon état. Livres.
Verlag: Roma - Instituto per L'Oriente, 1971
Anbieter: Antiquariat Mang, Saarbrücken, Deutschland
broschiert, 0. zahlr. Abbildungen, 228 S., broschiert, gut erhalten. 0.500 kg.
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540208038ISBN 13: 9783540208037
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 5th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11 13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14 16,2004.The purposeofVMCAIistoprovideaforumforresearchersfromthreecommunities veri cation, model checking, and abstract interpretation which will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine thethreeareas.Withthegrowingneedforformaltoolstoreasonaboutcomplex, in nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, static analysis te- niques, model checking, program certi cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. This year s meeting follows the four previous events in Port Je erson (1997), Pisa (1998), Venice (2002), LNCS 2294 and New York (2003), LNCS 2575. In particular, we thank VMCAI 2003 s sponsor, the Courant Institute at New York University, for allowing us to apply a monetary surplus from the 2003 meeting to this one. The program committee selected 22 papers out of 68 on the basis of three - views.Theprincipalcriteriawererelevanceandquality.TheprogramofV MCAI 2004 included, in addition to the research papers, a keynote speech by David Harel (Weizmann Institute, Israel) onAGrand Challenge for Computing: Full Reactive Modeling of a Multicellular Animal, aninvitedtalkbyDawsonEngler(StanfordUniversity,USA)onStaticAn- ysis Versus Software Model Checking for Bug Finding, an invited talk by Mooly Sagiv (Tel Aviv University, Israel) called On the Expressive Power of Canonical Abstraction,and atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e ort the conference would not have been possible.
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 354055873XISBN 13: 9783540558736
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic techniques and logic programming. On theone hand, logic programming has been very successful duringthe last decades and more and more systems compete inenhancing its expressive power. On the other hand, conceptslike functions, equality theory, and modularity areparticularly well handled in an algebraic framework. Commonfoundations of both approaches have recently been developed,and this conference is a forum for people from both areas toexchange ideas, results, and experiences. The book coversthe following topics: semantics ofalgebraic and logicprogramming; integration of functional and logicprogramming; term rewriting, narrowing, and resolution;constraintlogic programming and theorem proving; concurrentfeatures in algebraic and logic programming languages; andimplementation issues.
Verlag: Springer Berlin Heidelberg, 1998
ISBN 10: 3540650148ISBN 13: 9783540650140
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP 98 and several wo- shops. SAS 98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS 94,SAS 95,SAS 96andSAS 97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA 92 held in Bordeaux (France) and WSA 93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS 98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS 98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS 98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy systemmanagers .
Verlag: Clarendon, 1994
ISBN 10: 0198538537ISBN 13: 9780198538530
Anbieter: Cambridge Rare Books, Cambridge, GLOUC, Vereinigtes Königreich
Buch
Hardback. Zustand: VERY GOOD. 1994. Clarendon. Hard Cover. Book- VG, integral colour boards. 9.5x6.5. 254pp.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 18,03
Verlag: Bibliotheca Apostolica Vaticana, Città del Vaticano, 1942
Anbieter: Antiquariat Leseband, Freiburg, Deutschland
Erstausgabe
Hardcover. Zustand: Gut. 1. Auflage. Studi e testi 132 .XI-57 S. Mit 20 Bildtafeln im Anhang. Oktav. Hl der Zeit (kaum berieben) Bibliotheksexemplar. Signaturschilder am Einband. Titel aus dem OU am Rücken geklebt. Kleine Stempel auf dem Titelblatt und der letzten Seite. OU eingebunden. Text sauber, relativ frisch. Gutes Bibliotheksexemplar. Buch.
Verlag: HMSO, 1909
Anbieter: Cambridge Rare Books, Cambridge, GLOUC, Vereinigtes Königreich
Erstausgabe
Hardback. Zustand: GOOD. 1st Edition. 1909. HMSO. First. Disbound loose sheets with clear protective covers. 7.5x11. Ex-libris. Complete specification for patent application.
Zustand: Molto buono (Very Good). 16°, 18 cm, pp. 83, brossura editoriale con risvolti, titolo al piatto e dorso, velina originale, esemplare numerato 366/1000, molto buono. Book.
Verlag: Neri Pozza Editore, VENEZIA, 1966
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Zustand: BUONO USATO. I ED. Nuova Biblioteca di Cultura ITALIANO Volume n. 29 della Nuova Biblioteca di Cultura, I edizione. Mezza legatura con angoli in pelle scura e piatti marmorizzati, con titoli in oro solo al dorso, con lieve usura lungo i margini, piccole abrasioni e spellature e bordi stanchi. Tagli e pagine ingialliti; quest'ultime salde, con ampio margine. Numero pagine 254.
Erscheinungsdatum: 1932
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
Buch
Firenze, Tipografia Gino Ciolli, 1932, 8vo tutta tela editoriale, pp. XXVIII-404.
Verlag: Ciolli,, Firenze,, 1932
Anbieter: Studio Bibliografico Benacense, Riva del garda, Italien
Cm. 25, pp. xxviii, 404. Bross. orig. Ben conservato.
Zustand: Molto buono (Very Good). 21 cm, pp. 254, brossura editoriale, titolo al piatto e dorso, sovracoperta editoriale, ex libris privato applicato al contropiatto. Esemplare molto buono. Preludio: La soffitta delle obtteghe oscure, Un ebreo tra i modernisti; Colloqui di giugno; Il collega gentile. Book.
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, strappi macchie Condizioni dell'interno: Buone.
Verlag: Guida,, Napoli,, 1984
Anbieter: Studio Bibliografico Benacense, Riva del garda, Italien
Cm. 22,5, pp. 324 (4). Bross. editoriale. Ottimo stato di conservazione. A cura di Francesco Gabrieli e Fulvio Tessitore.
Verlag: All'insegna del Pesce d'oro, Milano, 1967
Anbieter: BACCHETTA GIORGIO - ALFEA RARE BOOKS, Milano, Italien
Erstausgabe
Volume: 1 17,5x12 in brossura, ampi risvolti, protezione in acetato, pp. 83 (2), prima edizione a tiratura limitata e numerata, in italiano, leggere abrasioni margini acetato, buon esemplare.
Erscheinungsdatum: 1967
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
Buch
Milano, All'Insegna del Pesce d'Oro, 1967, 16mo brossura, pp. 83, tiratura di mille esemplari numerati, il nostro è il n. 439.
Zustand: Used: Like New. LIVRE A L?ETAT DE NEUF. EXPEDIE SOUS 3 JOURS OUVRES. NUMERO DE SUIVI COMMUNIQUE AVANT ENVOI, EMBALLAGE RENFORCE. EAN:9791094512173.
Couverture souple. Zustand: bon. RO60151060: 1966. In-8. Broché. Etat d'usage, Couv. défraîchie, Dos satisfaisant, Papier jauni. 254 pages. Texte en italien. Rousseurs. Jaquette en état d'usage. Avec Jaquette. . . Classification Dewey : 450-Italien, roumain, rhéto-romain.
Verlag: Modena, Tipo-Litografia Dini, Modena, 1986
Anbieter: Libreria Alberto Govi di F. Govi Sas, Modena, Italien
Zustand: Molto buono (Very Good). In 8vo (mm 250x176); pp. 57, [3], XX c. di tav. fuori testo in bianco e nero. Ristampa anastatica, su carta vergata fine, dell'edizione pubblicata a cura della Biblioteca Apostolica Vaticana nel 1947. Ancora a fogli chiusi. Cartoncino editoriale.
Tiré à 150 ex. num. 38, XXXIV pp., (5) ff. demi-perc. rouge, coiffe inf. frottée.
Verlag: Le Monnier, Firenze, 1885
Anbieter: studio bibliografico pera s.a.s., LUCCA, Italien
Brossura. Zustand: discrete. "Come non debbasi adottare il principio dell'eguaglianza di trattamento di trasporto in ferrovia delle derrate alimentari sulla base dell'unità del vagone completo, e come sarebbe più conveniente accogliere invece l'emendamento al progetto di legge delle Convenzioni Ferroviarie proposto dal Barone Avv.Giorgio Enrico Levi". 8°,pg.40. 150 gr.
Verlag: Gino Ciolli, Firenze, 1932
XXVIII, 404 pp. br., couv. et dos déf. avec manques.
Verlag: Martino Publishing, 2002
ISBN 10: 1578982790ISBN 13: 9781578982790
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Buch
Zustand: Used - Like New. Martino Publishing. Mansfield Center, Connecticut, 2002. Cloth. 8vo. Book is As New. Published without dj. Limited edition facsimile reprint from the original Milan edition of 1903.
Erscheinungsdatum: 1903
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
Buch
Milano, Hoepli, 1903, 8° grande tutta tela coeva con tassello al dorso, copertine originali conservate all'interno, pp. LII-570-(2). Non comune prima edizione della più ricca e accurata bibliografia sul duello.
Verlag: Conti Tipocolor per ENI, Firenze,, 1984
Anbieter: FIRENZELIBRI SRL, Reggello, FI, Italien
Zustand: BUONO. A cura di Mario Padovani. cm.25x23, pp.117, Firenze, Conti Tipocolor per ENI cm.25x23, pp.117, leg.ed.in t.tela, sopracop.fig.a col. leg.ed.in t.tela, sopracop.fig.a col.
Verlag: Milano Giorgio Mondadori & Associati 1983, 1983
Zustand: 2. in-4, cartonnage sous jaquette illustrée, 279 pp., nombreuses photos en noir. Texte en italien. Tome 7 seul. Très bon état.
Verlag: Milano Giorgio Mondadori & Associati 1983, 1983
Zustand: 2. in-4, cartonnage sous jaquette illustrée, 228 pp., nombreuses photos en noir et en couleurs. Texte en italien. Tome 13 seul. Petite déchirure au dos de la jaquette, sans gravité. Sinon en très bon état.
Zustand: 2. in-4, cartonnage sous jaquette illustrée, 213 pp., nombreuses photos en noir. Texte en italien. Tome 9 seul. Très bon état.