Gesamtpreis (1 Artikel Artikel):
Versandziel:
logics time computation (35 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (35)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (10)
- Keine Print-on-Demand Angebote (33)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag: Center for the Study of Language and Inf (edition 1), 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
EUR 16,01
Währung umrechnenEUR 6,78 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Logics of time and computation.
Verlag: CSLI Publications, Stanford, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Sprache: Englisch
Anbieter: Emile Kerssemakers ILAB, Heerlen, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 15,00
Währung umrechnenEUR 7,50 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorb23 cm. original softcover. x,132 pp. bibliography. index. "Lecture Notes". -(few signs of use, otherwise (very) good). 255g.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation. Real and Near Real Time Analysis and Decision Making System.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 22,00
Währung umrechnenEUR 3,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorb1st 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 (CSLI lecture notes)
Verlag: Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Sprache: Englisch
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 14,92
Währung umrechnenEUR 13,90 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Good. Type: Book Small plain label inside cover.
-
Logics of Time and Computation
Verlag: The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 29,96
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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. . . . .
-
Logics of Time and Computation
Verlag: The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 36,07
Währung umrechnenEUR 1,87 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Verlag: Centre for the Study of Language and Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 33,64
Währung umrechnenEUR 4,50 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 32,73
Währung umrechnenEUR 5,77 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 39,01
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: 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 & Computation 2e
Verlag: Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 28,64
Währung umrechnenEUR 11,59 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of Time and Computation
Verlag: Centre for the Study of Language & Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 39,43
Währung umrechnenEUR 5,91 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days. 369.
-
Logics of time a. computation. Second, rev. a. exp. ed.
Verlag: OO, 1992
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 4 von 5 Sternen
EUR 19,00
Währung umrechnenEUR 7,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbIX, 180 S. OKart. Kanten leicht bestoßen. Rücken verblichen. St. a. Vortit. (CSLI Lecture Notes 7) Sprache: Englisch.
-
Logics of time and computation (CSLI lecture notes)
Verlag: Center for the Study of Language, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Sprache: Englisch
Anbieter: Orca Knowledge Systems, Inc., Novato, CA, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 18,33
Währung umrechnenEUR 28,66 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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
Verlag: Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 46,86
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 31,25
Währung umrechnenEUR 16,97 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Logics of Time and Computation
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 32,21
Währung umrechnenEUR 16,97 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Logics of Time and Computation
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 32,72
Währung umrechnenEUR 17,38 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Logics of Time and Computation
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 35,47
Währung umrechnenEUR 17,38 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Logics of Time and Computation (Lecture Notes)
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 21,43
Währung umrechnenEUR 33,71 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTrade Paperback. Zustand: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine.
-
Logics of Time and Computation (Paperback)
Verlag: Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 64,31
Währung umrechnenEUR 31,42 für den Versand von Australien nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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)
Verlag: Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: Grand Eagle Retail, Fairfield, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 33,45
Währung umrechnenEUR 63,68 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319851489 ISBN 13: 9783319851488
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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
Verlag: Springer International Publishing, 2017
ISBN 10: 3319534165 ISBN 13: 9783319534169
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: 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.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Sprache: Englisch
Anbieter: BennettBooksLtd, North Las Vegas, NV, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 81,95
Währung umrechnenEUR 37,36 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 116,51
Währung umrechnenEUR 5,77 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 116,51
Währung umrechnenEUR 5,77 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 127,42
Währung umrechnenEUR 7,64 für den Versand von USA nach DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Logics of time and computation (CSLI lecture notes)
Verlag: Center for the Study of Language, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Sprache: Englisch
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 84,78
Währung umrechnenEUR 63,64 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 154,68
Währung umrechnenEUR 11,59 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: 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
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 102,24
Währung umrechnenEUR 63,68 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
