19 924 résultats
mon0003753744SUNY Press 2019-08-01. Hardcover. Very Good. 0.6299 9.4094 6.1811. SUNY Press hardcover
37599173-nnew. unknown
37599173like new. unknown
41492700like new. unknown
41492700-nnew. unknown
1438475365.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1438475373.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
ria9781438475370_inpHardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Argues that the photographic negative gives a new way of understanding Victorian debates surrounding origins and copies as well as reality and representation.Victorian Negatives examines the intersection between Victorian photography an hardcover
A9781438475370Hardback. New. hardcover
18324106630Madrid: Imprenta de Don Tomás Jordan 1832. Six volumes duodecimo with six engraved plates one in each volume original blue printed wrappers preserved a charming set in period Spanish quarter calf gilt. <p><p>Very uncommon first Spanish edition of Cook's first voyage published in 1832 as part of a series described as the 'New Library of Modern Voyages useful and interesting for Spanish youth.' The work has a charming series of six plates which include a scene in Tahiti featuring the Chief Mourner and two New Zealand scenes a warrior in profile the war canoe and conclude with a dramatic scene on board the Endeavour. The presence of the original printed wrappers bound-in is of more than passing interest as the back wrappers give an interesting overview of how the set was marketed being sold for 6 reales per volume as they were issued whether in Madrid or in the provinces and stressing the value of the work for the instruction of youth. Each volume would subsequently be priced 8 reales per volume.</p> <p>The translator Alvarado y de la Pena based his work on the French edition of Cook's first voyage. He also prepared at least one other work of Australian interest an edition of George Barrington published in Madrid circa 1815. Beddie listed copies in the Mitchell and National Libraries.</p> </p> . Provenance: Early owner's name on title-pages; old stamps from a Barcelona library; José Gallart Folch bookplates. Imprenta de Don Tomás Jordan unknown
1390294218.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1396246703.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1786930420.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
20072754<p><strong>Verification Model Checking and Abstract Interpretation</strong></p><p><strong>8th International Conference VMCAI 2007 Nice France January 14–16 2007 — Proceedings</strong> <strong>Edited by Byron Cook & Andreas Podelski</strong> Springer 2007 Lecture Notes in Computer Science Vol. 4349 ISBN 3540697357 / 9783540697350 Language: English</p><p><strong>Book Description</strong></p><p>This volume presents the <strong>refereed proceedings of VMCAI 2007</strong> held in Nice France. As part of the <strong>Lecture Notes in Computer Science</strong> series it brings together research at the intersection of <strong>program verification</strong> <strong>model checking</strong> and <strong>abstract interpretation</strong> — three complementary approaches to ensuring program correctness. The proceedings include revised full papers selected from peer‑reviewed submissions covering topics such as <strong>static analysis</strong> <strong>temporal logic</strong> <strong>automated reasoning</strong> <strong>program invariants</strong> <strong>abstract domains</strong> and <strong>verification frameworks</strong>. This copy comes from the <strong>Hassan Aït‑Kaci technical library</strong> aligning with his long‑standing engagement in logic semantics and formal methods.</p> Springer-Verlag, Berlin, Heidelberg, New York paperback
2007x-3540697357Springer-Verlag New York Inc 2007. Paperback. New. 8th edition. 395 pages. 9.20x6.50x0.90 inches. Springer-Verlag New York Inc paperback
2001Q-8872802881Cpg Inc 2001-12-01. Paperback. New. New. In shrink wrap. Looks like an interesting title! Cpg Inc paperback
0266914683.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
20181-0847861813Rizzoli Intl Pubns 2018. Hardcover. New. 416 pages. 9.75x7.00x1.50 inches. Rizzoli Intl Pubns hardcover
0847861813.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
DADAX0847861813Rizzoli 2018-03-06. hardcover. New. 7.00x1.50x9.75. Buy with confidence. Excellent Customer Service & Return policy. Rizzoli hardcover
9500420600.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
0783885989.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1999007612New York: G.P. Putnam's Sons 1999. 1st Edition. Hardcover. Fine/Fine. 8vo. 404pp. Beautiful First Edition First Printing with full number sequence. Square tight and clean throughout with little or no wear. Perhaps a hint at the spine ends but quite minor. Equally attractive unclipped dust-jacket $24.95 is fresh and bright no creases chipping or tears. Signed by Cook on the half-title page. Also laid in is a TLS signed by then US Senator Orrin Hatch R-Utah on his letter head presenting the book to House member David Dreier. R- California. Though nothing in this copy references their relationship Hatch and Cook likely knew each other well with Hatch writing at least one review blurbs for Cook's books. Also as Hatch was a one-time member of the Subcommittee on Health Care and Cook has testified before Congress on several occasions their paths almost certainly crossed frequently. A gorgeous collectable copy. G.P. Putnam's Sons hardcover
2000Q-0425172996G.P. Putnam's Sons 2000-01-01. Mass Market Paperback. New. New. In shrink wrap. Looks like an interesting title! G.P. Putnam's Sons paperback
2000DADAX0425172996G.P. Putnam's Sons 2000-01-01. Reprint. paperback. New. 4.50x1.00x7.00. Buy with confidence. Excellent Customer Service & Return policy. G.P. Putnam's Sons paperback