Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
41-60 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Temporal Logic:     more books (100)
  1. Advances in Temporal Logic (Applied Logic Series)
  2. 6th International Workshop on Temporal Representation and Reasoning (Time '99) by Fla.) International Workshop on Temporal Representation and Reasoning (6th : 1999 : Orlando, 1999-05
  3. Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking by Nir Piterman, 2010-03-09
  4. Spatio-Temporal Interpolation and Fuzzy Logic for GIS Simulation of Rural-to-Urban Transition.(geographic information systems): An article from: Cartography and Geographic Information Science by Suzana Dragicevic, Danielle J. Marceau, 1999-04-01
  5. Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear Temporal Logic, Requirements, Formal Methods, Formal Verification
  6. Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science) by Dov M. Gabbay, 1994-06
  7. GERMAN TEMPORAL SEMANTICS (Outstanding Dissertations in Linguistics) by Nerbonne, 1985-09-01
  8. Logics for Concurrency: Structure versus Automata
  9. Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
  10. Integrating Functional and Temporal Domains in Logic Design: the False Path Prob by Patrick C. and Robert K. Brayton McGeer, 1991
  11. Time Granularities in Databases, Data Mining, and Temporal Reasoning by Claudio Bettini, Sushil Jajodia, et all 2000-08-17
  12. Reasoning about the function and timing of integrated circuits with Prolog and temporal logic (Technical report. University of Cambridge. Computer Laboratory) by M. E Leeser, 1988
  13. Practical Formal Methods using Temporal Logic by Michael Fisher, 2010-08-16
  14. An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation) by Robert Mattison, 1969

lists with details

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  
41-60 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20