e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Science - Logic Temporal (Books)

  Back | 81-100 of 100
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  

click price to see details     click image to enlarge     click link to go to the store

 
81. Moments and points in an interval-based
 
82. Functional temporal calculus versus
 
83. Reasoning in interval temporal
 
84. Alternating automata and the exponential
 
85. Model checking is refinement:
 
86. Automatic verification of finite
 
87. Transforming temporal logic specifications
 
88. Modal and temporal logic programming
 
89. Equivalence of temporal interval
 
90. Regular expressions as temporal
 
91. Comparing linear and branching
 
92. Artificial Intelligence for Open
 
93. Automatic and hierarchical verification
 
94. Compiling temporal logic specifications
 
95. 4th Workshop on Temporal Representation
 
96. Gorski: Temporal Logic
 
97. The treatment of macro expansions
 
98. Temporal logics, automata, and
 
99. A temporal-logic based compositional
 
100. A taxonomy of fairness and temporal

81. Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science)
by James Allen
 Unknown Binding: 32 Pages (1987)

Asin: B00071AC4G
Canada | United Kingdom | Germany | France | Japan

82. Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica)
by R. T Boute
 Unknown Binding: 28 Pages (1985)

Asin: B0007BJKVC
Canada | United Kingdom | Germany | France | Japan

83. Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science)
by Ben Moszkowski
 Unknown Binding: 18 Pages (1983)

Asin: B0006YJ7PO
Canada | United Kingdom | Germany | France | Japan

84. 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
 Paperback: 6 Pages (1986)

Asin: B0007BES14
Canada | United Kingdom | Germany | France | Japan

85. Model checking is refinement: Relating Büchi testing and linear-time temporal logic (ICASE report)
by Rance Cleaveland
 Unknown Binding: 20 Pages (2000)

Asin: B0006RSKQI
Canada | United Kingdom | Germany | France | Japan

86. Automatic verification of finite state concurrent systems using temporal logic specifications (Technical report. University of Texas at Austin. Dept. of Computer Sciences)
by Edmund Melson Clarke
 Unknown Binding: 22 Pages (1985)

Asin: B00071IKIQ
Canada | United Kingdom | Germany | France | Japan

87. Transforming temporal logic specifications (Technical report. Technische Universität Müchen. Institut für Informatik)
by H Schlingloff
 Unknown Binding: 22 Pages (1986)

Asin: B0007BGRDG
Canada | United Kingdom | Germany | France | Japan

88. Modal and temporal logic programming (Research report. Imperial College of Science and Technology. Dept. of Computing)
by Dov M Gabbay
 Unknown Binding: 24 Pages (1986)

Asin: B0007BGXRQ
Canada | United Kingdom | Germany | France | Japan

89. Equivalence of temporal interval logic and temporal logic (Technical report. Pennsylvania State University. Dept. of Computer Science)
by A. A Aaby
 Unknown Binding: 8 Pages (1986)

Asin: B00071GJCK
Canada | United Kingdom | Germany | France | Japan

90. Regular expressions as temporal logic (Technical report. Monash University. Department of Computer Science)
by Christopher Stuart
 Unknown Binding: 28 Pages (1986)

Asin: B0007B6HFE
Canada | United Kingdom | Germany | France | Japan

91. Comparing linear and branching time temporal logics (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science)
by Colin Sterling
 Unknown Binding: 21 Pages (1987)

Asin: B0007BFAKM
Canada | United Kingdom | Germany | France | Japan

92. Artificial Intelligence for Open Multimedia Networking: Active Control, Temporal Planning and Logics (Frontiers in Artificial Intelligence & Applications)
 Hardcover: 250 Pages

Isbn: 1586031422
Canada | United Kingdom | Germany | France | Japan

93. Automatic and hierarchical verification of asynchronous circuits using temporal logic
by B Mishra
 Unknown Binding: 27 Pages (1983)

Asin: B0006YKFCS
Canada | United Kingdom | Germany | France | Japan

94. Compiling temporal logic specifications into observers =: Compiler des spécifications exprimées en logique temporelle vers des observateurs (Rapports ... Recherche en Informatique et en Automatique)
by Omar Drissi-Kaitouni
 Unknown Binding: 19 Pages (1988)

Asin: B0007BUDJK
Canada | United Kingdom | Germany | France | Japan

95. 4th Workshop on Temporal Representation and Reasoning, Time '97
by Fla.) International Workshop on Temporal Representation and Reasoning (4th : 1997 : Daytona Beach
 Hardcover: 187 Pages (1998-01)
list price: US$60.00
Isbn: 0818679379
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This text on temporal representation and reasoning is suitable for researchers, professors, practitioners, students and other computing professionals. ... Read more


96. Gorski: Temporal Logic
 Hardcover: Pages

Isbn: 0471929840
Canada | United Kingdom | Germany | France | Japan

97. The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik)
by A Kausche
 Unknown Binding: 34 Pages (1985)

Asin: B0007BHBAE
Canada | United Kingdom | Germany | France | Japan

98. Temporal logics, automata, and classical theories for defining real-time languages (Report)
by T. A Henzinger
 Unknown Binding: 71 Pages (1999)

Asin: B0006S3CYW
Canada | United Kingdom | Germany | France | Japan

99. A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science)
by Jozef Hooman
 Unknown Binding: 24 Pages (1988)

Asin: B00071OW0G
Canada | United Kingdom | Germany | France | Japan

100. A taxonomy of fairness and temporal logic problems for Petri nets (Technical report. Iowa State University. Dept. of Computer Science)
by Rodney R Howell
 Unknown Binding: Pages (1988)

Asin: B00071N5EA
Canada | United Kingdom | Germany | France | Japan

  Back | 81-100 of 100
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  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats