Henzinger: mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

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

1

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

2

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Andreas Stahlbauer (auth.), Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš (eds.)

Tahun:

2013

Bahasa:

english

File:

PDF, 2.72 MB

0 / 0

english, 2013

3

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 7.12 MB

0 / 0

english, 2012

4

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc, Thomas A. Henzinger

Tahun:

2007

Bahasa:

english

File:

PDF, 9.49 MB

0 / 0

english, 2007

5

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

Tahun:

2006

Bahasa:

english

File:

PDF, 6.76 MB

0 / 0

english, 2006

6

Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings

Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Monika Henzinger (auth.), Mike S. Paterson (eds.)

Tahun:

2000

Bahasa:

english

File:

PDF, 5.53 MB

0 / 0

english, 2000

7

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

8

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

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

Springer-Verlag Berlin Heidelberg

Piotr Berman, Arnab Bhattacharyya, Konstantin Makarychev, Sofya Raskhodnikova (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 8.05 MB

0 / 0

english, 2011

9

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

10

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 3.95 MB

0 / 0

english, 2003

11

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.)

Tahun:

2001

Bahasa:

english

File:

PDF, 4.55 MB

0 / 0

english, 2001

12

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 6.51 MB

0 / 0

english, 2005

13

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 3.08 MB

0 / 0

english, 2010

14

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

15

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

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

Springer-Verlag Berlin Heidelberg

Piotr Berman, Arnab Bhattacharyya, Konstantin Makarychev, Sofya Raskhodnikova (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 9.63 MB

0 / 0

english, 2011

16

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 10.08 MB

0 / 0

english, 2009

17

LNCS 7721 - Mathematical and Engineering Methods in Computer Science

LNCS 7721 - Mathematical and Engineering Methods in Computer Science

Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar & David Antoš (eds.)

Tahun:

2013

File:

PDF, 2.72 MB

0 / 0

2013

18

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 3.14 MB

0 / 0

english, 2010

19

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 3.41 MB

0 / 5.0

english, 2010

20

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)

Tahun:

2018

Bahasa:

english

File:

PDF, 10.90 MB

5.0 / 5.0

english, 2018

21

Theory of reversible computing

Theory of reversible computing

Henzinger, Monika, Hromkovič, Juraj, Morita, Ken'ichi, Nielsen, Mogens

Tahun:

2017

Bahasa:

english

File:

PDF, 4.95 MB

5.0 / 5.0

english, 2017

22

Handbook of Networked and Embedded Control Systems

Handbook of Networked and Embedded Control Systems

Birkhäuser Boston

R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine

Tahun:

2005

Bahasa:

english

File:

PDF, 5.55 MB

0 / 0

english, 2005

23

Handbook of Networked and Embedded Control Systems

Handbook of Networked and Embedded Control Systems

Birkhäuser Boston

R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine

Tahun:

2005

Bahasa:

english

File:

PDF, 13.08 MB

0 / 0

english, 2005

24

Handbook of model checking

Handbook of model checking

Springer International Publishing

Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut et al. (eds.)

Tahun:

2018

Bahasa:

english

File:

PDF, 7.97 MB

0 / 0

english, 2018

25

Handbook of Massive Data Sets

Handbook of Massive Data Sets

Andrei Broder, Monika Henzinger (auth.), James Abello, Panos M. Pardalos, Mauricio G. C. Resende (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 38.65 MB

0 / 0

english, 2002

26

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jakob Ruess, John Lygeros (auth.), Ashutosh Gupta, Thomas A. Henzinger (eds.)

Tahun:

2013

Bahasa:

english

File:

PDF, 7.10 MB

0 / 0

english, 2013

27

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)

Tahun:

1998

Bahasa:

english

File:

DJVU, 4.54 MB

0 / 0

english, 1998

28

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (eds.)

Tahun:

2012

Bahasa:

english

File:

DJVU, 10.02 MB

0 / 0

english, 2012

29

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

30

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 8.15 MB

0 / 0

english, 2012

31

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 7.06 MB

0 / 0

english, 2009

32

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Vinayak S. Prabhu (auth.), Eugene Asarin, Patricia Bouyer (eds.)

Tahun:

2006

Bahasa:

english

File:

PDF, 5.31 MB

0 / 0

english, 2006

33

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

34

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 4.60 MB

0 / 0

english, 2005

35

Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings

Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Monika Henzinger (auth.), Mike S. Paterson (eds.)

Tahun:

2000

Bahasa:

english

File:

PDF, 6.01 MB

0 / 0

english, 2000

36

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jacques Duparc, Thomas A. Henzinger (eds.)

Tahun:

2007

Bahasa:

english

File:

PDF, 6.02 MB

0 / 0

english, 2007

37

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 6.00 MB

0 / 0

english, 2010

38

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

39

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 6.05 MB

0 / 0

english, 2010

40

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

41

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

42

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 6.99 MB

0 / 0

english, 2003