Author books / Книги автора Rajeev Alur » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Rajeev Alur

book Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

7z

Author: Rajeev Alur
Language: English
Year: 2015

00

13.02.2024

0

0

book Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

pdf

Author: Rajeev Alur
Language: English
Year: 2015

00

29.01.2024

0

0

book Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

pdf

Author: Rajeev Alur P. Madhusudan (auth.) Marco Bernardo Flavio Corradini (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

pdf

Author: Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

pdf

Author: Rajeev Alur Jyotirmoy V. Deshmukh (auth.) Luca Aceto Monika Henzinger Jiří Sgall (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

pdf

Author: Bernard Boigelot Patrice Godefroid (auth.) Rajeev Alur Thomas A. Henzinger (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

pdf

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

1

0

book Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

pdf

Author: Rajeev Alur (auth.) Lev D. Beklemishev Ruy de Queiroz (eds.)
Language: English
Year: 2011

00

27.01.2024

2

0

book Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

pdf

Author: Rajeev Alur Jyotirmoy V. Deshmukh (auth.) Luca Aceto Monika Henzinger Jiří Sgall (eds.)
Language: English
Year: 2011

00

27.01.2024

3

0

book A really temporal logic

A really temporal logic

rar

Author: Rajeev Alur, T A Henzinger, Stanford University. Computer Science Department
Language: English
Year: 2007

00

27.01.2024

0

0