Importe total (1 artículo artículos):
Destino del pedido:
stephane demri (69 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (69)
- 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 (59)
- Como nuevo, Excelente o Muy bueno (8)
- Bueno o Aceptable (1)
- 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 (29)
- No impresión bajo demanda (43)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Advances in Modal Logic Volume 11
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,23
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.
-
Advances in Modal Logic Volume 11
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 25,04
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Advances in Modal Logic Volume 11
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 27,74
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.
-
Advances in Modal Logic Volume 11
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,82
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.
-
Advances in Modal Logic Volume 11
Idioma: Inglés
Publicado por College Publications 2016-06, 2016
ISBN 10: 1848902018 ISBN 13: 9781848902015
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 23,19
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Advances in Modal Logic Volume 11
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 27,50
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Advances in Modal Logic Volume 11
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 26,15
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Advances in Modal Logic Volume 11
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 29,24
Envío por EUR 17,34
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.
-
Concise Introduction to Alternating-Time Temporal Logics (Hardcover)
Idioma: Inglés
Publicado por Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032118840 ISBN 13: 9783032118844
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,11
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago. This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage ofor adapting proof methods fromtemporal logics, games in theoretical computer science and automata theory.Topics and features:Provides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to VerificationFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalismsIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-studyOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexityThe textbook/guides target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.Stephane Demri is a CNRS directeur de recherche at the Laboratoire Methodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... (Lecture Notes in Artificial Intelligence)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,48
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, P
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,17
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,23
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.
-
Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,13
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Automated Reasoning
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 78,49
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 558.
-
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 81,47
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Temporal Logics in Computer Science Finite-State Systems
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 90,71
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.
-
Temporal Logics in Computer Science Finite-State Systems
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 90,71
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.
-
Concise Introduction To Alternating-Time Temporal Logics: A Guide For Understanding The Model-Checking Problem
Idioma: Inglés
Publicado por Springer Nature Switzerland Ag, 2026
ISBN 10: 3032118840 ISBN 13: 9783032118844
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,80
Envío por EUR 11,56
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 211 pages. 6.30x0.71x9.49 inches. In Stock.
-
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science)
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 93,01
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 780.
-
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science)
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 88,97
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. 780.
-
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science)
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 90,54
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. 780.
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014 (Lecture Notes in Artificial Intelligence, Band 8562)
Idioma: Inglés
Publicado por Springer International Publishing, 2014
ISBN 10: 3319085867 ISBN 13: 9783319085869
Librería: Antiquariat Bernhardt, Kassel, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 52,20
Envío por EUR 49,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert Broschiert. Condición: Sehr gut. XXVIII, 528 Seiten, Lecture Notes in Artificial Intelligence, Band 8562. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 938.
-
TEMPORAL LOGICS IN COMPUTER
Libro 34 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 106,47
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 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.
-
Advances in Modal Logic Volume 11
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 31,79
Envío por EUR 75,13
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem
Idioma: Inglés
Publicado por Birkhäuser, Palgrave Macmillan, 2026
ISBN 10: 3032118840 ISBN 13: 9783032118844
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,44
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago.This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage of or adapting proof methods from temporal logics, games in theoretical computer science and automata theory.Topics and features:Provides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to VerificationFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalismsIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-studyOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexityThe textbook/guide s target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.Stéphane Demri is a CNRS directeur de recherche at the Laboratoire Méthodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France.
-
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Idioma: Inglés
Publicado por Springer International Publishing, 2014
ISBN 10: 3319085867 ISBN 13: 9783319085869
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,16
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 book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, . / Lecture Notes in Artificial Intelligence)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 82,55
Envío por EUR 40,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2014 edition. 556 pages. 9.30x6.20x1.26 inches. In Stock.
-
Incomplete Information: Structure, Inference, Complexity.
Idioma: Inglés
Publicado por Berlin Springer Verlag, 2002
ISBN 10: 3540419047 ISBN 13: 9783540419044
Librería: CSG Onlinebuch GMBH, Darmstadt, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 31,02
Envío por EUR 95,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGebunden. Condición: Gut. Gebraucht - Gut Zustand: Gut, XVIII, 405 p. About this book: This monograph presents a systematic, exhaustive and up-to-date overview of formal methods and theories for data analysis and inference inspired by the concept of rough set. The book studies structures with incomplete information from the logical, algebraic and computational perspective. The formalisms developed are non-invasive in that only the actual information is needed in the process of analysis without external sources of information being required. The book is intended for researchers, lecturers and graduate students who wish to get acquainted with the rough set style approach to information systems with incomplete information. Written for Researchers in the field.
-
Incomplete Information: Structure, Inference, Complexity (Monographs in Theoretical Computer Science. An EATCS Series)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 100,00
Envío por EUR 42,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito2002. 426 p. New! -- Neu und originalverschweißt! 9783540419044 Sprache: Englisch Gewicht in Gramm: 798 Hardcover: 15.6 x 2.4 x 23.4 cm.
-
Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,76
Envío por EUR 17,34
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.
