Importe total (1 artículo artículos):
Destino del pedido:
aagaard mark (93 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (93)
- 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 (77)
- Como nuevo, Excelente o Muy bueno (12)
- Bueno o Aceptable (3)
- 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 (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (43)
- No impresión bajo demanda (67)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869)
Librería: St Vincent de Paul of Lane County, Eugene, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,01
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Acceptable. paperback 100% of proceeds go to charity! Acceptable reading copy with obvious signs of use, wear, and/or cosmetic issues. Item is complete and remains readable despite notable condition issues.
-
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000, Portland, Or, USA , August 2000 - Proceedings
Idioma: Inglés
Publicado por Springer Berlin / Heidelberg, 2000
ISBN 10: 3540678638 ISBN 13: 9783540678632
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 10,55
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,79
Envío por EUR 6,07
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,38
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,88
Envío por EUR 17,75
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,66
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,80
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,06
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order Logics
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 79,71
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 552.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,06
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,06
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
The Recording, Mixing, and Mastering Reference Handbook
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 70,45
Envío por EUR 14,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 328 pages. 11.00x8.50x0.75 inches. In Stock.
-
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 68,06
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,66
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Recording, Mixing, and Mastering Reference Handbook
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190686634 ISBN 13: 9780190686635
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 110,80
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Idioma: Inglés
Publicado por New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Librería: CSG Onlinebuch GMBH, Darmstadt, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 16,92
Envío por EUR 95,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.
-
Recording, Mixing, and Mastering Reference Handbook
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190686634 ISBN 13: 9780190686635
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 114,95
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.
-
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,17
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
-
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2000
ISBN 10: 3540678638 ISBN 13: 9783540678632
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,13
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project.
-
Formal Methods in Computer-Aided Design | 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Methods in Computer-Aided Design | 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings | Mark D. Aagaard (u. a.) | Taschenbuch | xii | Englisch | 2002 | Springer | EAN 9783540001164 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Theorem Proving in Higher Order Logics | 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theorem Proving in Higher Order Logics | 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings | Mark Aagaard (u. a.) | Taschenbuch | ix | Englisch | 2000 | Springer | EAN 9783540678632 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Recording, Mixing, and Mastering Reference Handbook
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190686634 ISBN 13: 9780190686635
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 105,79
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Recording, Mixing, and Mastering Reference Handbook
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190686634 ISBN 13: 9780190686635
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,21
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
The Oxford Handbook of Sound and Imagination, Volu Format: Hardcover
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190460245 ISBN 13: 9780190460242
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 151,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 13 disponibles
Añadir al carritoCondición: New.
-
Oxford Handbook of Sound and Imagination
Idioma: Inglés
Publicado por Oxford University Press, 2019
ISBN 10: 0190460245 ISBN 13: 9780190460242
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 149,10
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Oxford Handbook of Video Game Music and Sound
Idioma: Inglés
Publicado por Oxford University Press, 2024
ISBN 10: 0197556167 ISBN 13: 9780197556160
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 164,69
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Oxford Handbook of Video Game Music and Sound
Idioma: Inglés
Publicado por Oxford University Press, 2024
ISBN 10: 0197556167 ISBN 13: 9780197556160
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 165,19
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
The Oxford Handbook of Video Game Music and Sound
Idioma: Inglés
Publicado por Oxford University Press Inc, 2024
ISBN 10: 0197556167 ISBN 13: 9780197556160
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 167,56
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
The Oxford Handbook of Video Game Music and Sound
Idioma: Inglés
Publicado por Oxford University Press Inc, 2024
ISBN 10: 0197556167 ISBN 13: 9780197556160
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,17
Envío por EUR 12,71
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
