logics-of-time-and-computation

You May Like

Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992,...
Lecture Notes Ser.: Logics of Time and Computation by Robert Goldblatt (1992,...

$4.99

View Details
Logics of Time and Computation (Volume - Paperback, by Goldblatt Robert - Good
Logics of Time and Computation (Volume - Paperback, by Goldblatt Robert - Good

$22.62

View Details
Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...
Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...

$35.23

View Details
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book

$46.10

View Details
Logics of Time and Computation - 9780937073940
Logics of Time and Computation - 9780937073940

$31.54

View Details
Robert Goldblatt Logics of Time and Computation (Paperback) (UK IMPORT)
Robert Goldblatt Logics of Time and Computation (Paperback) (UK IMPORT)

$42.85

View Details
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book

$45.49

View Details
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book
Logics of Time and Computation by Robert Goldblatt (English) Paperback Book

$49.13

View Details
Logics of Time and Computation, Paperback by Goldblatt, Robert, Like New Used...
Logics of Time and Computation, Paperback by Goldblatt, Robert, Like New Used...

$34.66

View Details
Time Delay ODE/PDE Models: Applications in Biomedical Science and Engineering by
Time Delay ODE/PDE Models: Applications in Biomedical Science and Engineering by

$121.00

View Details
Integrated Circuit and System Design. Power and Timing Modeling, Optimization an
Integrated Circuit and System Design. Power and Timing Modeling, Optimization an

$128.55

View Details
eureka math grade k modules 1 & 2 part of "great minds" publishing
eureka math grade k modules 1 & 2 part of "great minds" publishing

$12.50

View Details
Logics of Time and Computation, Paperback by Goldblatt, Robert, Like New Used...
Logics of Time and Computation, Paperback by Goldblatt, Robert, Like New Used...

$33.96

View Details
Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...
Logics of Time and Computation, Paperback by Goldblatt, Robert, Brand New, Fr...

$34.67

View Details
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

$188.09

View Details
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action by Pet
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action by Pet

$67.04

View Details
Collective Behavior in Complex Networked Systems Under Imperfect Communicatio...
Collective Behavior in Complex Networked Systems Under Imperfect Communicatio...

$163.65

View Details
Information Processing and Management of Uncertainty in Knowledge-Based Systems:
Information Processing and Management of Uncertainty in Knowledge-Based Systems:

$127.10

View Details
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FOR
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FOR

$67.04

View Details
Formal Modeling and Analysis of Timed Systems : 6th International Conference,...
Formal Modeling and Analysis of Timed Systems : 6th International Conference,...

$63.87

View Details
Cassez - Formal Modeling and Analysis of Timed Systems   6th Internat - S9000z
Cassez - Formal Modeling and Analysis of Timed Systems 6th Internat - S9000z

$68.72

View Details
Ouaknine - Formal Modeling and Analysis of Timed Systems  7th Interna - S9000z
Ouaknine - Formal Modeling and Analysis of Timed Systems 7th Interna - S9000z

$68.72

View Details
Information Processing and Management of Uncertainty in Knowledge-Based Systems.
Information Processing and Management of Uncertainty in Knowledge-Based Systems.

$126.24

View Details
Information Processing and Management of Uncertainty in Knowledge-based Syste...
Information Processing and Management of Uncertainty in Knowledge-based Syste...

$124.57

View Details
Dynamics on and of Complex Networks : Applications to Time-Varying Dynamical ...
Dynamics on and of Complex Networks : Applications to Time-Varying Dynamical ...

$123.29

View Details
Raskin - Formal Modeling and Analysis of Timed Systems  5th Internati - S9000z
Raskin - Formal Modeling and Analysis of Timed Systems 5th Internati - S9000z

$69.20

View Details
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action by Pet
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action by Pet

$74.49

View Details
Cellular Automata and Discrete Complex Systems : 22nd Ifip Wg 1.5 Internation...
Cellular Automata and Discrete Complex Systems : 22nd Ifip Wg 1.5 Internation...

$71.01

View Details
Advanced Discrete-Time Control: Designs and Applications by Khalid Abidi (Englis
Advanced Discrete-Time Control: Designs and Applications by Khalid Abidi (Englis

$135.68

View Details
Representing Plans Under Uncertainty : A Logic of Time, Chance, and Action, P...
Representing Plans Under Uncertainty : A Logic of Time, Chance, and Action, P...

$78.63

View Details
Collective Behavior in Complex Networked Systems Under Imperfect Communicatio...
Collective Behavior in Complex Networked Systems Under Imperfect Communicatio...

$163.66

View Details
Dynamics On and Of Complex Networks, Volume 2: Applications to Time-Varying Dyna
Dynamics On and Of Complex Networks, Volume 2: Applications to Time-Varying Dyna

$135.99

View Details
Engineering Applications of FPGAs: Chaotic Systems, Artificial Neural Networks,
Engineering Applications of FPGAs: Chaotic Systems, Artificial Neural Networks,

$167.53

View Details
Information Processing and Management of Uncertainty in Knowledge-based Syste...
Information Processing and Management of Uncertainty in Knowledge-based Syste...

$125.97

View Details
Dynamics on and of Complex Networks, Volume 2: Applications to Time-Varying: New
Dynamics on and of Complex Networks, Volume 2: Applications to Time-Varying: New

$123.31

View Details
Ouaknin - Formal Modeling and Analysis of Timed Systems  7th Internati - N555z
Ouaknin - Formal Modeling and Analysis of Timed Systems 7th Internati - N555z

$79.56

View Details
Pettersson - Formal Modeling and Analysis of Timed Systems   Third Int - N555z
Pettersson - Formal Modeling and Analysis of Timed Systems Third Int - N555z

$79.56

View Details
Cassez - Formal Modeling and Analysis of Timed Systems   6th Internati - N555z
Cassez - Formal Modeling and Analysis of Timed Systems 6th Internati - N555z

$109.31

View Details
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

$187.78

View Details
High Level Synthesis of Asics Under Timing and Synchronization Constraints, H...
High Level Synthesis of Asics Under Timing and Synchronization Constraints, H...

$188.11

View Details
Identification of Continuous-time Models from Sampled Data by Hugues Garnier (En
Identification of Continuous-time Models from Sampled Data by Hugues Garnier (En

$276.42

View Details
Principles of Adaptive Filters and Self-learning Systems: With 95 Figures by Ant
Principles of Adaptive Filters and Self-learning Systems: With 95 Figures by Ant

$100.56

View Details
Asarin - Formal Modeling and Analysis of Timed Systems   4th Internati - T555z
Asarin - Formal Modeling and Analysis of Timed Systems 4th Internati - T555z

$80.03

View Details
Penczek - Advances in Verification of Time Petri Nets and Timed Autom - T9000z
Penczek - Advances in Verification of Time Petri Nets and Timed Autom - T9000z

$220.50

View Details
Maheshwari - Timing Analysis and Optimization of Sequential Circuits - - T555z
Maheshwari - Timing Analysis and Optimization of Sequential Circuits - - T555z

$153.94

View Details
Identification of Continuous-time Models from Sampled Data by Hugues Garnier (En
Identification of Continuous-time Models from Sampled Data by Hugues Garnier (En

$274.26

View Details
Raskin - Formal Modeling and Analysis of Timed Systems  5th Internatio - S555z
Raskin - Formal Modeling and Analysis of Timed Systems 5th Internatio - S555z

$80.03

View Details
High Level Synthesis of ASICs under Timing and Synchronization Constraints by Da
High Level Synthesis of ASICs under Timing and Synchronization Constraints by Da

$190.81

View Details
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner a
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner a

$67.47

View Details
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

$205.61

View Details
Formal Modeling and Analysis of Timed Systems : 6th International Conference,...
Formal Modeling and Analysis of Timed Systems : 6th International Conference,...

$63.88

View Details
Information Processing and Management of Uncertainty in Knowledge-based Syste...
Information Processing and Management of Uncertainty in Knowledge-based Syste...

$126.84

View Details
Cellular Automata and Discrete Complex Systems : 22nd Ifip Wg 1.5 Internation...
Cellular Automata and Discrete Complex Systems : 22nd Ifip Wg 1.5 Internation...

$68.71

View Details
Dynamics on and of Complex Networks : Applications to Time-Varying Dynamical ...
Dynamics on and of Complex Networks : Applications to Time-Varying Dynamical ...

$123.30

View Details
Information Processing and Management of Uncertainty in Knowledge-based Syste...
Information Processing and Management of Uncertainty in Knowledge-based Syste...

$125.98

View Details
High Level Synthesis of Asics Under Timing and Synchronization Constraints, H...
High Level Synthesis of Asics Under Timing and Synchronization Constraints, H...

$188.12

View Details
Representing Plans Under Uncertainty : A Logic of Time, Chance, and Action, P...
Representing Plans Under Uncertainty : A Logic of Time, Chance, and Action, P...

$78.64

View Details