Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
EUR 10,28
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
EUR 20,91
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 418 pages. 9.00x6.00x1.05 inches. In Stock.
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
EUR 30,24
Anzahl: 3 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 24,13
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. 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,350grams, ISBN:9780826497246.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 35,30
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. 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,350grams, ISBN:9780826497246.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 45,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 45,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,26
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 168 pages. 9.13x6.06x0.55 inches. In Stock.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - To prove the exact severity of modern climate change, scientists must know exactly what the Earth's atmosphere was made of hundreds of thousands of years ago. They cannot rely on fossils; they need physical samples of the ancient air itself. Those samples are locked inside microscopic bubbles, buried under three miles of solid, freezing ice in Antarctica.This technical volume explores the extreme, specialized engineering of deep ice core drilling. We detail the mechanical nightmare of operating massive, hollow drill bits in -40 degree weather, where standard metal becomes brittle and lubricants freeze solid. Engineers must carefully lower drills on kilometers of steel cable, extracting three-meter-long, flawless cylinders of ancient ice without cracking them.The narrative dissects the crucial handling logistics. Once brought to the surface, the ice core cannot be exposed to modern air. It must be hermetically sealed, cataloged, and transported across oceans in specialized freezers to elite laboratories, where lasers and mass spectrometers measure the trapped carbon dioxide to chart the paleoclimatic history of the world.Uncover the frozen archives of the planet. A brutal journey into the mechanical science of pulling ancient, breathable time capsules out of the crushing depths of the ice sheet.
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verbandsmitglied: GIAQ
Erstausgabe
EUR 76,32
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: As New. Series: Serono Colloquia. 168p large format hardback, white laminated boards, excellent fresh copy, no names or stamps, as new Language: English.
Taschenbuch. Zustand: Neu. Cylinders of Time: The Logistics of Deep Ice Core Drilling | Glaciers, Air Bubbles, and the Brutal Engineering Required to Read the Earth's Ancient [.] | Sean B. Matthews | Taschenbuch | Englisch | epubli | EAN 9783565376643 | Verantwortliche Person für die EU: Neopubli GmbH (Imprint: epubli), Köpenicker Str. 154a, 10997 Berlin, produktsicherheit[at]epubli[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,92
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd revised edition. 440 pages. 10.00x7.00x1.32 inches. In Stock.
Anbieter: moluna, Greven, Deutschland
Zustand: New. An updated guide to prepare military, emergency, and first responders to face psychological, social, and physical challenges of leading in dangerous contexts. This edition includes new chapters that address character development, ethical decision-making and.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 109,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Taschenbuch. Zustand: Neu. Labelled Deduction | David Basin (u. a.) | Taschenbuch | Applied Logic Series | xi | Englisch | 2012 | Springer | EAN 9789401057813 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 127,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Kluwer Academic Publishers, 2000
ISBN 10: 0792362373 ISBN 13: 9780792362371
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576. . 2000. annotated ed. Hardback. . . . . Books ship from the US and Ireland.
EUR 127,84
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 176,14
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 168 pages. 9.45x6.22x0.47 inches. In Stock.
Buch. Zustand: Neu. Neuware - Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
cassette. Zustand: Gut. Seiten; 9781840323375.3 Gewicht in Gramm: 500.