Ian mackie (15 Ergebnisse)

Paperback. Zustand: Brand New. 61 pages. 9.00x6.00x0.16 inches. In Stock.

hardcover. Zustand: Good. No Dust Jacket. First Edition. Printed boards, no jacket. Minor shelf wear, bumped at corners. Ex-library: card wallet and return slip on FEP; ink stamps on both endpapers. Contents otherwise clean, bright, sound. Ex Library.

paperback. Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Churchill, Ian; Rapmund, Norm (illustrator). …

Original Cream Hardback. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good Plus. First Edition. 1994. x, 416pp. B&W images and maps. "The Nuba Mountains in Kordofan Province of Central Sudan are among the most remote locations in Africa, far from trade-routes and civilization.Mackie got as close to the people of the Nuba Mountains as any white man before or since. And his belief in the sanctity of their way of life and commitment to improving their agriculture - is evident on every page." Dust jacket has light wear to edges and corners with a small tear to top of spine, no loss. Not price-clipped. Book has gilt titles to spine. Boards, pages, and contents are in excellent condition with no inscriptions. Heavyish book so extra may be needed for shipping to non-UK customers.…

cloth, 416 pp, ills, dustwrappers.

Hardcover. Zustand: Like New. First Edition. A bright, clean hardback, firm and square with strong joints, just a few very minor rubs. Hence a non-text page is stamped 'damaged'. Despite such this book is actually nearly new condition. Thus it looks and feels unread with contents that are crisp, fresh and tight. Now offered for sale at a special bargain price. …

Zustand: New. In.

Zustand: New. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370. . 2001. Softcover reprint of the original 1st ed. 1997. Paperback. . . . . Books ship from the US and Ireland.…

Hardcover. Zustand: Brand New. 268 pages. 10.00x7.00x1.25 inches. In Stock.

Zustand: New. In.

Zustand: New. Anzac Battlefield is an important contribution to our understanding of Gallipoli and its landscape of war and memory. Num Pages: 376 pages. BIC Classification: HBJM; HBLW; HBWN. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 245 x 170. . . 2016. Hardcover. . . . . Books ship from the US and Ireland. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Anzac Battlefield: A Gallipoli Landscape of War and Memory explores the transformation of Gallipoli's landscape in antiquity, during the famed battles of the First World War and in the present day. Drawing on archival, archaeological and cartographic material, this book unearths the deep history of the Gallipoli peninsula, setting the Gallipoli campaign in a broader cultural and historical context. The book presents the results of an original archaeological survey, the research for which was supported by the Australian, New Zealand and Turkish Governments. The survey examines materials from both sides of the battlefield, and sheds new light on the environment in which Anzac and Turkish soldiers endured the conflict. Richly illustrated with both Ottoman and Anzac archival images and maps, as well as original maps and photographs of the landscape and archaeological findings, Anzac Battlefield is an important contribution to our understanding of Gallipoli and its landscape of war and memory. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.…

Zustand: as new. Dordrecht : Kluwer Academic Publishers, 1997. Hardcover. xv, 424 pp. - The last twenty years have witnessed an accelerated development of pure and applied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto- mated deduction for the logic and its fragments is as important as the logic itself. In such a climate there is a need to emphasise algorithmic logic methodologies alongside any individual logics. Thus the tableaux method or the resolution method are as central to todays discipline of logic as classical logic or intuitionistic logic are. From this point of view, J. Goubault and I. Mackie's book on Proof Theory and Automated Deduction is most welcome. It covers major algorithmic methodolo- gies as well as a variety of logical systems. It gives a wide overview for the ap- plied consumer of logic while at the same time remains relatively elementary for the beginning student. A decade ago I put forward my view that a logical system should be presented as a point in a grid. One coordinate is its philosphy, motivation, its accepted theorems and its required non-theorems. The other coordinate is the algorithmic methodol- ogy and execution chosen for its effective presentation. Together these two aspects constitute a 'logic'. Condition : as new copy. ISBN 9780792345930. Keywords : COMPUTER SCIENCE, proof theory Logic programming.…

Zustand: New. Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics. Editor(s): Gay, Simon; Mackie, Ian. Num Pages: 492 pages, 161 b/w illus. 27 tables. BIC Classification: PHQ; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 32. Weight in Grams: 820. . 2009. Illustrated. hardcover. . . . . Books ship from the US and Ireland.…