Importe total (1 artículo artículos):
Destino del pedido:
ohearn peter (50 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (50)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (39)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (4)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (20)
- No impresión bajo demanda (40)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Peace, Order and Good Government
Publicado por The MacMillan Company of Canada Limited, 1964
Librería: Regent College Bookstore, Vancouver, BC, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 14,18
Envío por EUR 9,25
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. 325 pp. No DJ. Hardcover in good condition, though spine slightly cocked. Binding is tight, text block appears clear and unmarked throughout, slight foxing on the leaf foredges.
-
A Song for the King: Saraha on Mahamudra Meditation
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 28,88
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. new title edition. 192 pages. 9.00x6.00x0.50 inches. In Stock.
-
ACADEMIC ARITHMETIC, Being Part Four of the Progressive School Series of Arithmetics
Publicado por T.C. Allen & Co., Halifax, 1898
Librería: Augustine Funnell Books, Fredericton, NB, Canada
Calificación del vendedor: 4 de 5 estrellas
EUR 13,29
Envío por EUR 21,51
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Estado de la sobrecubierta: No Jacket (as issued). Maroon cloth w/impressed title/rule in black, 143 pages (including answers to the various questions posed throughout). Mildly cocked, bumped/lightly worn corners/spine ends, light cover soil, previous owner's name/address to front end paper, tanned. A fairly nice copy of a school book that hasn't been subjected to the indignities generally heaped upon school books. Size: 16mo - over 5¾ - 6¾" tall. Book.
-
Common School Arithmetic (In Three Parts). Part Two
Publicado por George A. Knodell, St. John, NB, 1894
Librería: Minotavros Books, ABAC ILAB, Whitby, ON, Canada
Miembro de asociación: ABAC ILAB
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 25,78
Envío por EUR 14,19
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Good. 1st Edition. 18mo. Part Two of Three Only. Orig. yellow cloth spine and brown card wrappers. 92 pp. Chip to fore edge, rubbing to extremities, a few damp stains, front cover curled. Black ink stain to fore edge, stain to top edge. Short tear to head of title page. A few pencil notations to text.
-
Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 61,41
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Verified Software: Theories, Tools, Experiments (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,91
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri?cation techniques, speci?cation languages, formal calculi, veri?- tion tools, solutions to challenge problems, software design methods, reusable components, re?nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci?edinthecallforpapers,authorssubmitted15-pagepaperselectr - ically.The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con?icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,58
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Algol-like Languages (Progress in Theoretical Computer Science Volume 2)
Librería: Big River Books, Powder Springs, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,66
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
-
ACADEMIC ARITHMETIC; Being Part Four of the Progressive School Series of Aritmetics.
Publicado por T.C. Allen & Co., Halifax N.S., 1898
Librería: Harry E Bagley Books, Fredericton, NB, Canada
Calificación del vendedor: 2 de 5 estrellas
EUR 22,15
Envío por EUR 25,81
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fair. blind stamped cloth.pp., 143, wear at spine ends, corners, covers faded, hinges starting, some small moisture stains on end papers, ink names, inscription on front endpaper, W.T Kenedy was Principal of County Academy, Halifax, O'Hern was Principal of St. Patick's Boys' High School, Halifax Size: 12mo., [18 cm]. Textbook.
-
A Song for the King: Saraha on Mahamudra Meditation
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,03
Envío por EUR 5,98
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. In shrink wrap. Looks like an interesting title!
-
Algol-like Languages
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 81,52
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 300.
-
Algol-like Languages
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 80,93
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 300 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,14
Envío por EUR 11,56
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.
-
Algol-Like Languages
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 90,44
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Algol-like Languages
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 81,56
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 300.
-
Algol-Like Languages
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 100,80
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Verified Software: Theories, Tools, Experiments
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 60,88
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.
-
Algol-Like Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 124,63
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algol-like Languages
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 123,44
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 364.
-
Algol-like Languages (Progress in Theoretical Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,44
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algol-like Languages (Progress in Theoretical Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,44
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algol-like Languages (Progress in Theoretical Computer Science Volume 2)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,44
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algol-like Languages (Progress in Theoretical Computer Science Volume 1)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,44
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algol-like Languages
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 124,25
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 364 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Algol-Like Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 129,78
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algol-Like Languages
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,43
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algol-Like Languages
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,43
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algol-like Languages
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 124,87
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 364.
-
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 73,80
Envío por EUR 61,93
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Veri ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti c and technical challenges of producing veri ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri cation techniques, speci cation languages, formal calculi, veri - tion tools, solutions to challenge problems, software design methods, reusable components, re nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci edinthecallforpapers,authorssubmitted15-pagepaperselectr- ically. The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
-
Algol-like Languages
Idioma: Inglés
Publicado por Birkhauser Boston Inc, US, 2013
ISBN 10: 1475738536 ISBN 13: 9781475738537
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 144,55
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. Softcover reprint of the original 1st ed. 1997.
