Geometry.Net - the online learning center
Home  - Science - Logic Temporal
e99.com Bookstore
  
Images 
Newsgroups
101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6 
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  

         Logic Temporal:     more books (100)
  1. Executable Modal and Temporal Logics by Michael Fisher, 2007
  2. The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla, 1986
  3. Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989
  4. Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff, 2003-01-01
  5. Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande, 1994
  6. Hierarchical planning using temporal logic (Tech report) by Michael J Manthey, 1984
  7. Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande, 1994
  8. The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna, 1991-01-01
  9. Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana, 1988
  10. A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley, 1986
  11. Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen, 1987
  12. Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute, 1985
  13. Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski, 1983
  14. Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller, 1986

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  
101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6