Importe total (1 artículo artículos):
Destino del pedido:
logics time computation (35 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (35)
- 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.)
Encuadernación
Más atributos
- Primera edición (1)
- 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 (10)
- No impresión bajo demanda (33)
Idioma (2)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Logics of time and computation (CSLI lecture notes)
Publicado por Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Idioma: Inglés
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
EUR 14,92
Convertir monedaEUR 14,48 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Good. Type: Book Small plain label inside cover.
-
Logics of time and computation.
Publicado por CSLI Publications, Stanford, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Idioma: Inglés
Librería: Emile Kerssemakers ILAB, Heerlen, Holanda
Miembro de asociación: ILAB NVVA
Calificación del vendedor: 5 de 5 estrellas
EUR 15,00
Convertir monedaEUR 16,25 gastos de envío desde Holanda a EspañaCantidad disponible: 1 disponibles
Añadir al carrito23 cm. original softcover. x,132 pp. bibliography. index. "Lecture Notes". -(few signs of use, otherwise (very) good). 255g.
-
Logics of Time and Computation
Publicado por The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 29,96
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . .
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation. Real and Near Real Time Analysis and Decision Making System.
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Miembro de asociación: GIAQ ILAB VDA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 22,00
Convertir monedaEUR 10,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carrito1st ed. 2017. 23.5 cm x 15.5 cm, 0 g. XXIV, 425 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Logics of Time and Computation
Publicado por Centre for the Study of Language and Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 33,64
Convertir monedaEUR 4,03 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Logics of Time and Computation
Publicado por The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 36,07
Convertir monedaEUR 1,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . . Books ship from the US and Ireland.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 32,73
Convertir monedaEUR 5,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. In.
-
Logics of Time & Computation 2e
Publicado por Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 28,64
Convertir monedaEUR 11,59 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of Time and Computation
Publicado por Centre for the Study of Language & Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 39,43
Convertir monedaEUR 6,63 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 369.
-
Logics of time and computation (CSLI lecture notes)
Publicado por Center for the Study of Language, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Idioma: Inglés
Librería: Orca Knowledge Systems, Inc., Novato, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 18,33
Convertir monedaEUR 28,66 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Shelf wear to covers (fold marks, black lines on back cover, scuffed), Binding is tight. Finding no markings in book. 131pp.
-
Logics of Time and Computation
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 31,25
Convertir monedaEUR 16,97 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Logics of Time and Computation
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 32,21
Convertir monedaEUR 16,97 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Logics of Time and Computation
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 32,72
Convertir monedaEUR 17,38 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Logics of Time and Computation
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 35,47
Convertir monedaEUR 17,38 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Logics of time a. computation. Second, rev. a. exp. ed.
Publicado por OO, 1992
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 4 de 5 estrellas
EUR 19,00
Convertir monedaEUR 15,65 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoIX, 180 S. OKart. Kanten leicht bestoßen. Rücken verblichen. St. a. Vortit. (CSLI Lecture Notes 7) Sprache: Englisch.
-
Logics of Time and Computation (Lecture Notes)
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 21,43
Convertir monedaEUR 33,71 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTrade Paperback. Condición: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine.
-
LOGICS OF TIME & COMPUTATION R
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,01
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. KlappentextrnrnNow revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositiona.
-
Logics of Time and Computation
Publicado por Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 46,86
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por Center for the Study of Language and Inf (edition 1), 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,01
Convertir monedaEUR 63,68 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Logics of Time and Computation (Paperback)
Publicado por Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 64,31
Convertir monedaEUR 31,42 gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Logics of Time and Computation (Paperback)
Publicado por Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,50
Convertir monedaEUR 63,68 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Idioma: Inglés
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 81,95
Convertir monedaEUR 37,36 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. In shrink wrap. Looks like an interesting title!
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Publicado por Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319851489 ISBN 13: 9783319851488
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a technical approach to a Business Resilience System with its Risk Atom and Processing Data Point based on fuzzy logic and cloud computation in real time. Its purpose and objectives define a clear set of expectations for Organizations and Enterprises so their network system and supply chain are totally resilient and protected against cyber-attacks, manmade threats, and natural disasters. These enterprises include financial, organizational, homeland security, and supply chain operations with multi-point manufacturing across the world. Market shares and marketing advantages are expected to result from the implementation of the system. The collected information and defined objectives form the basis to monitor and analyze the data through cloud computation, and will guarantee the success of their survivability's against any unexpected threats. This book will be useful for advanced undergraduate and graduate students in the field of computer engineering, engineers that work for manufacturing companies, business analysts in retail and e-Commerce, and those working in the defense industry, Information Security, and Information Technology.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Publicado por Springer International Publishing, 2017
ISBN 10: 3319534165 ISBN 13: 9783319534169
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a technical approach to a Business Resilience System with its Risk Atom and Processing Data Point based on fuzzy logic and cloud computation in real time. Its purpose and objectives define a clear set of expectations for Organizations and Enterprises so their network system and supply chain are totally resilient and protected against cyber-attacks, manmade threats, and natural disasters. These enterprises include financial, organizational, homeland security, and supply chain operations with multi-point manufacturing across the world. Market shares and marketing advantages are expected to result from the implementation of the system. The collected information and defined objectives form the basis to monitor and analyze the data through cloud computation, and will guarantee the success of their survivability's against any unexpected threats. This book will be useful for advanced undergraduate and graduate students in the field of computer engineering, engineers that work for manufacturing companies, business analysts in retail and e-Commerce, and those working in the defense industry, Information Security, and Information Technology.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,51
Convertir monedaEUR 5,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,51
Convertir monedaEUR 5,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 127,42
Convertir monedaEUR 9,76 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Logics of time and computation (CSLI lecture notes)
Publicado por Center for the Study of Language, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Idioma: Inglés
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 84,78
Convertir monedaEUR 63,64 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,68
Convertir monedaEUR 11,59 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 102,24
Convertir monedaEUR 63,68 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
