Henzinger: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (42)
Más populares
Lista
- Lista
- Tabla

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

Año:

2007

Idioma:

english

Archivo:

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.)

Año:

2013

Idioma:

english

Archivo:

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.)

Año:

2012

Idioma:

english

Archivo:

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

Año:

2007

Idioma:

english

Archivo:

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.)

Año:

2006

Idioma:

english

Archivo:

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.)

Año:

2000

Idioma:

english

Archivo:

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.)

Año:

1996

Idioma:

english

Archivo:

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.)

Año:

2011

Idioma:

english

Archivo:

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.)

Año:

1994

Idioma:

english

Archivo:

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.)

Año:

2003

Idioma:

english

Archivo:

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.)

Año:

2001

Idioma:

english

Archivo:

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.)

Año:

2005

Idioma:

english

Archivo:

PDF, 6.51 MB

0 / 0

english, 2005

13

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.)

Año:

2011

Idioma:

english

Archivo:

PDF, 7.67 MB

0 / 0

english, 2011

14

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.)

Año:

2011

Idioma:

english

Archivo:

PDF, 9.63 MB

0 / 0

english, 2011

15

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.)

Año:

2010

Idioma:

english

Archivo:

PDF, 3.08 MB

0 / 0

english, 2010

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.)

Año:

2009

Idioma:

english

Archivo:

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.)

Año:

2013

Archivo:

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.)

Año:

2010

Idioma:

english

Archivo:

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.)

Año:

2010

Idioma:

english

Archivo:

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.)

Año:

2018

Idioma:

english

Archivo:

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

Año:

2017

Idioma:

english

Archivo:

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

Año:

2005

Idioma:

english

Archivo:

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

Año:

2005

Idioma:

english

Archivo:

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.)

Año:

2018

Idioma:

english

Archivo:

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.)

Año:

2002

Idioma:

english

Archivo:

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.)

Año:

2013

Idioma:

english

Archivo:

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.)

Año:

1998

Idioma:

english

Archivo:

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.)

Año:

2012

Idioma:

english

Archivo:

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.)

Año:

1996

Idioma:

english

Archivo:

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.)

Año:

2012

Idioma:

english

Archivo:

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.)

Año:

2009

Idioma:

english

Archivo:

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.)

Año:

2006

Idioma:

english

Archivo:

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.)

Año:

2011

Idioma:

english

Archivo:

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.)

Año:

2005

Idioma:

english

Archivo:

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.)

Año:

2000

Idioma:

english

Archivo:

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.)

Año:

2007

Idioma:

english

Archivo:

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.)

Año:

2010

Idioma:

english

Archivo:

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.)

Año:

1996

Idioma:

english

Archivo:

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.)

Año:

2010

Idioma:

english

Archivo:

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.)

Año:

1996

Idioma:

english

Archivo:

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.)

Año:

2011

Idioma:

english

Archivo:

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.)

Año:

2003

Idioma:

english

Archivo:

PDF, 6.99 MB

0 / 0

english, 2003