Rajeev Alur: mencari di situs web Z-Library

Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Akses gratis ke pengetahuan dan budaya.

Sumbangan 15 September 2024 – 1 Oktober 2024

Z-Library adalah perpustakaan online yang terbesar di dunis yang mengandung lebih dari 17,000,000 buku dan 84,837,000 artikel. Misi kami adalah membuat buku dapat diakses oleh semua orang! Hari ini (15 September 2024) kami mulai mengumpulkan sumbangan untuk mendukung dan mengembangkan proyek.

Juga unduhan TANPA BATASAN (selama 31 hari setelah hari pemberian donasi) tersedia untuk SEMUA pengguna yang akan menyumbang proyek selama periode pengumpulan sumbangan hingga 1 Oktober 2024.

Tentang pengumpulan danaMembaca lebih lanjut

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (25)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Tahun:

2015

Bahasa:

english

File:

PDF, 3.62 MB

3.0 / 5.0

english, 2015

2

A really temporal logic

A really temporal logic

Dept. of Computer Science Stanford University

Rajeev Alur, T A Henzinger, Stanford University. Computer Science Department

Tahun:

2007

Bahasa:

english

File:

PDF, 2.32 MB

0 / 0

english, 2007

3

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

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

Tahun:

2015

Bahasa:

english

File:

7Z, 6.52 MB

0 / 0

english, 2015

4

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 8.73 MB

0 / 0

english, 2008

5

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 12.30 MB

0 / 0

english, 2004

6

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Tahun:

2015

Bahasa:

english

File:

PDF, 3.64 MB

0 / 0

english, 2015

7

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

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 9.94 MB

0 / 0

english, 2004

8

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Farn Wang (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 17.65 MB

0 / 0

english, 2004

9

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 4.40 MB

0 / 0

english, 2003

10

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 5.84 MB

0 / 0

english, 1996

11

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)

Tahun:

1994

Bahasa:

english

File:

DJVU, 4.18 MB

0 / 0

english, 1994

12

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 7.67 MB

0 / 0

english, 2011

13

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Tahun:

2015

Bahasa:

english

File:

PDF, 3.62 MB

0 / 0

english, 2015

14

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

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 6.80 MB

0 / 0

english, 2004

15

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 2.31 MB

0 / 0

english, 2004

16

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 3.04 MB

0 / 0

english, 2004

17

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

Tahun:

1996

Bahasa:

english

File:

PDF, 9.94 MB

0 / 0

english, 1996

18

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

Tahun:

2006

Bahasa:

english

File:

PDF, 3.83 MB

0 / 0

english, 2006

19

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.14 MB

0 / 0

english, 2011

20

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Farn Wang (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 9.02 MB

0 / 0

english, 2004

21

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 6.56 MB

0 / 0

english, 2011

22

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.54 MB

0 / 0

english, 2011

23

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

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 5.09 MB

0 / 0

english, 1996

24

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

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

Tahun:

1996

Bahasa:

english

File:

PDF, 14.40 MB

0 / 0

english, 1996

25

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

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 7.13 MB

0 / 0

english, 2011