Importe total (1 artículo artículos):
Destino del pedido:
kröning daniel (164 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (164)
- 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 (132)
- Como nuevo, Excelente o Muy bueno (24)
- Bueno o Aceptable (7)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
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 (79)
- No impresión bajo demanda (127)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Das Wäre Alles: Teil I: Ein gigantischer Witz
Idioma: Alemán
Publicado por CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1981945695 ISBN 13: 9781981945696
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 2,87
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,27
Envío por EUR 2,25
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.
-
Digitaltechnik: Eine praxisnahe Einführung
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,50
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,01
Envío por EUR 3,19
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Decision Procedures : An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 38,89
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2018
ISBN 10: 3662570653 ISBN 13: 9783662570654
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 41,21
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. A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework. Then, in separate chapters, they study decision procedures for propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas. They also study the problem of deciding combined theories based on the Nelson-Oppen procedure.Thefirst edition of this book was adopted as a textbook in courses worldwide. It was published in 2008 and the field now called SMT was then in its infancy, without the standard terminology and canonic algorithms it has now; this second edition reflects these changes. It brings forward the DPLL(T) framework. It also expands the SAT chapter with modern SAT heuristics, and includes a new section about incremental satisfiability, and the related Constraints Satisfaction Problem (CSP). The chapter about quantifiers was expanded with a new section about general quantification using E-matching and a section about Effectively Propositional Reasoning (EPR). The book also includes a new chapter on the application of SMT in industrial software engineering and in computational biology, coauthored by Nikolaj Bjørner and Leonardo de Moura, and Hillel Kugler, respectively.Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website. Softcover reprint of the original 2nd ed. 2016.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Idioma: Inglés
Publicado por Springer (edition 2008), 2008
ISBN 10: 3540741046 ISBN 13: 9783540741046
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 43,20
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. 2008. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 32,30
Envío por EUR 13,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 33,46
Envío por EUR 17,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 36,04
Envío por EUR 17,23
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.
-
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,02
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Validation of Evolving Software
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,02
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,84
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Validation of Evolving Software
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,84
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures: An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,58
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.
-
Validation of Evolving Software
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,35
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,35
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,18
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Programming and Software Engineering)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,18
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Validation of Evolving Software
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,18
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,75
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,58
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,83
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 29,51
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 44,13
Envío por EUR 13,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: SpringBooks, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 26,95
Envío por EUR 29,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 2. Auflage. Unread, with a mimimum of shelfwear.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,99
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Decision Procedures
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2017
ISBN 10: 3662504960 ISBN 13: 9783662504963
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,31
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. 2nd ed. 2016. A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework. Then, in separate chapters, they study decision procedures for propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas. They also study the problem of deciding combined theories based on the Nelson-Oppen procedure.Thefirst edition of this book was adopted as a textbook in courses worldwide. It was published in 2008 and the field now called SMT was then in its infancy, without the standard terminology and canonic algorithms it has now; this second edition reflects these changes. It brings forward the DPLL(T) framework. It also expands the SAT chapter with modern SAT heuristics, and includes a new section about incremental satisfiability, and the related Constraints Satisfaction Problem (CSP). The chapter about quantifiers was expanded with a new section about general quantification using E-matching and a section about Effectively Propositional Reasoning (EPR). The book also includes a new chapter on the application of SMT in industrial software engineering and in computational biology, coauthored by Nikolaj Bjørner and Leonardo de Moura, and Hillel Kugler, respectively.Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website.
-
Validation of Evolving Software
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,11
Envío por EUR 2,25
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.
-
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,13
Envío por EUR 2,25
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.
