e99 Online Shopping Mall
Help | |
Home - Science - Logic Temporal (Books) |
  | Back | 81-100 of 100 |
click price to see details click image to enlarge click link to go to the store
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 speÌcifications exprimeÌ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 |
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 |