9783540762560 - theorem proving with the real numbers (distinguished dissertations) de harrison, john robert (7 resultados)
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 52,17
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xii + 186 1st Edition.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 49,32
Envío por EUR 7,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xii + 186.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 50,42
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xii + 186.
- Tapa dura
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de AmericaThriftBooks-Atlanta
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 68,68
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Idioma: Inglés
Editorial: London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer, 1998
- Tapa dura
Librería: Antiquariat Im Baldreit, Baden-Baden, AlemaniaAntiquariat Im Baldreit
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 28,00
Envío por EUR 45,10Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
8°, grüner OPp mit Rückentitel. XII, 186 Seiten: graph. Darst., Gutes Exemplar mit handschriftlichem Besitzvermerk Sprache: Englisch Gewicht in Gramm: 405.
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 84,42
Envío por EUR 29,27Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa dura
Librería: CSG Onlinebuch GMBH, Darmstadt, AlemaniaCSG Onlinebuch GMBH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 29,71
Envío por EUR 95,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Gebunden. Condición: Gut. Gebraucht - Gut Zustand: Gut, XII, 186 pp. About this book: The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. Th…e dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. Theorem Proving with the Real Numbers discusses the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification. Written for Postgraduate students; final year undergraduates; researchers.
