mario coppo (55 risultati)

Condizione: NEW.

Hardcover. Condizione: Very Good. No Jacket. Coppo, Marianna (illustratore). Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.97.

Condizione: BUONO USATO. ITALIANO Legatura in tela blu, con titoli in oro al piatto ed al dorso, con lievi e marginali segni d'uso. Pagine poco brunite, arricchite da figure in bianco e nero. Numero pagine 372.

In 12°; bross. edit. (lievi tracce d'uso); pp. 423-(1); seconda edizione accresciuta; coll. Collana di attualità di medicina pratica. Lievi e sporadiche fioriture in buon esemplare.

Condizione: Buono (Good). Mm. 188x131. Pp. 345, [3]. Carta leggermente ed uniformemente brunita. Brossura editoriale. Copertine un po' sporche, ma nel complesso ottimo esemplare. . Book.

Condizione: Buone. italiano Condizioni dell'esterno: Discrete con difetti, bruniture Condizioni dell'interno: Discrete con Difetti, bruniture.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close to Nijmegen), The Netherlands. These workshops followed a series of meetings organized in the period 1993-2002 within previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these e- lier workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 2277, and 2646. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: Design, Implementation and Ex- riments. Proceedings for annual meetings under that action were published by Cambridge University Press in the books 'Logical Frameworks', and 'Logical Environments', edited by G. Huet and G. Plotkin. We are very grateful to the members of the research group 'Semantics and Logics of Computation' of the Computer Science Department of the University of Turin, who helped organize the Types 2003 meeting in Torino.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12 14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. The Certosa is a place full of history (founded in the 15th century, it was set on re a century later and reconstructed) and of valuable artworks, like frescoes of the Scuola Senese. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila(1992),Ravello(1995),Prato(1998),Turin(2001)andBertinoro(2003). Theconferenceaimsatbringingtogethercomputerscientists,especiallyyoung researchers, to foster cooperation, exchange of ideas and results. Great e orts have been made to attract researchers from all over the world. The main t- ics of the conference cover all the elds of theoretical computer science and include analysis and design of algorithms, computability, computational c- plexity, cryptography, formal languages and automata, foundations of progr- ming languages and program analysis, foundations of arti cial intelligence and knowledge representation, foundations of web programming, natural computing paradigms (quantum computing, bioinformatics), parallel and distributed c- putation, program speci cation and veri cation, term rewriting, theory of c- currency, theory of data bases, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.

Soft cover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 1st Edition. 4° - 128pp - Color & B/w reproductions. Excellent monograph on Raimondo Cardelli (1938-2008). First edition in Italian language. Original cloth and dust-jacket. Very good condition (as new!).

Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 133 p. illus. 27 cm. ; LCCN: 67-23533 ; LC: DG738.7; Dewey: 945/.51 ; OCLC: 2005210 ; Translation of Firenze i giorni del diluvio. ; pictorial white and black cloth, in like pictorial dustjacket ; Photojournalistic report on the background, sequence of events and aftermath of the flood that resulted when the Arno River overflowed on November 3-4, 1966. ; Contents : How the people of Florence fought back -- A ton of mud for every inhabitant -- The night of November 3rd-4th -- Dawn -- The fight -- Cut off -- The longest night -- The escapers -- First light -- THe cross and the hammer and sickle -- The sixth day -- A city which belongs to all the world -- Our gratitude -- Fahrenheit 451 -- Damage done to the city's art treasures -- The months to come -- What are the facts behind the flood? -- A computer could save Florence -- Powerless for days -- Why no warning? -- No one realized -- Why the goldsmiths? -- The heavens opened -- Suppose it happened again? -- The best solution : Move Florence -- The neglect of the forests -- Inquiry and responsibility -- The dams -- Conclusions -- A menace that has existed for seven hundred years -- Devastation once in a century -- The old chronicles -- The Chronicles of Giovanni Villani -- History of Florence by Marchione di Coppo Stefani -- The flood of August 1547 -- Story of his times by Giovanni Batista Adriani -- History of Florence by Bernardo Segni -- Morozzi : Of the ancient and modern condition of the river Arno -- Baldinucci : Of the life of Bartolommeo Ammannati -- Scipione Ammirato to Don Virginio Orsino Duca di Bracciano -- Guiseppe Aiazzi : Report upon the flooding of the river Arno 3rd November 1844 ; foxing ; else VG/VG. Book.