Importe total (1 artículo artículos):
Destino del pedido:
zhe hou (207 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (207)
- 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 (152)
- Como nuevo, Excelente o Muy bueno (10)
- Bueno o Aceptable (45)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- 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 (73)
- No impresión bajo demanda (188)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 36,46
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: As New. Unread book in perfect condition.
-
Fundamentals Of Logic And Computation 1st ed. 2021
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,01
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: As New. Unread book in perfect condition.
-
Fundamentals Of Logic And Computation 1st ed. 2021
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 40,43
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.
-
Fundamentals of Logic and Computation
Libro 68 de 83: Texts in Computer ScienceIdioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2022
ISBN 10: 3030878848 ISBN 13: 9783030878849
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 42,78
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. 2021 ed.
-
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,68
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.
-
Fundamentals of Logic and Computation
Libro 68 de 83: Texts in Computer ScienceIdioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 45,03
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 carritoHardback. Condición: New. 2021 ed.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,82
Envío por EUR 13,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 35,18
Envío por EUR 13,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Libro 68 de 83: Texts in Computer ScienceLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 31,79
Envío por EUR 17,87
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Fundamentals Of Logic And Computation 1st ed. 2021
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,60
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,81
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,62
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.
-
Fundamentals Of Logic And Computation 1st ed. 2021
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,86
Envío por EUR 17,31
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.
-
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Libro 68 de 83: Texts in Computer ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,85
Envío por EUR 17,31
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.
-
Fundamentals of Logic and Computation
Libro 68 de 83: Texts in Computer ScienceLibrería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,36
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,07
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: As New. Unread book in perfect condition.
-
FatherGerman children's literature selected works of Keith Turner(Chinese Edition)
Idioma: Inglés
Publicado por Beijing Science and Technology Press; 1 edition (J, 1991
ISBN 10: 7530441523 ISBN 13: 9787530441527
Librería: liu xing, Nanjing, JS, China
Calificación del vendedor: 5 de 5 estrellas
EUR 46,48
Envío por EUR 15,49
Se envía de China a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritopaperback. Condición: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback. Pub Date :2009-11-01 Language: Chinese Publisher: Beijing Science and Technology Press Product Name :German parent of children's literature selected works of Keith Turner : Kestner Translator: Housu Qin Illustrator : ( Germany ) Trier ISBN Number: 9787530441527 Publisher: Beijing Science and Technology Press product type : Book published :2009 -11-01 printing :2009 -06-01 [ editor ] recommended Oulunshipi Siegel is one Kestner selected works of the father of German children's liter.Four Satisfaction guaranteed,or money back.
-
Luna came to my house -2(Chinese Edition)
Librería: liu xing, Nanjing, JS, China
Calificación del vendedor: 5 de 5 estrellas
EUR 46,61
Envío por EUR 15,49
Se envía de China a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. Paperback. Pub Date :2013-10-01 Pages: 212 Language: Chinese Publisher: Hunan Art Basic information Title : Luna come to my house -2 Price: 21 yuan Author : ( date ) Goto Yu Xun Translator: Rin 's Bow painting : ( day ) bales sticks Riko Press: Hunan Fine Arts Publishing Date :2013-10-01ISBN: 9787535665928 words: pages: 212 Edition : Binding: Folio: 32 weight: editor's Choice Luna came to my house 2 is translated from Japanese Yu Xun Goto popular light novel Luna come to my house . the second.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 59,47
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 56,07
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 57,85
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Fundamentals of Logic and Computation (Paperback)
Libro 68 de 83: Texts in Computer ScienceIdioma: Inglés
Publicado por Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030878848 ISBN 13: 9783030878849
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,90
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. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering informal methods. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 56,41
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.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Libro 68 de 83: Texts in Computer ScienceLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, ... (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,97
Envío por EUR 13,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 20
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,77
Envío por EUR 17,87
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,96
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods And Software Engineering
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 69,68
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,47
Envío por EUR 17,31
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.
