Henzinger: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (42)
가장 인기 있는
목록
- 목록
- 표

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

년:

2007

언어:

english

파일:

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

년:

2013

언어:

english

파일:

PDF, 2.72 MB

0 / 0

english, 2013

3

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

년:

2007

언어:

english

파일:

PDF, 9.49 MB

0 / 0

english, 2007

4

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

년:

1996

언어:

english

파일:

DJVU, 5.84 MB

0 / 0

english, 1996

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

년:

2006

언어:

english

파일:

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

년:

2000

언어:

english

파일:

PDF, 5.53 MB

0 / 0

english, 2000

7

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

년:

2001

언어:

english

파일:

PDF, 4.55 MB

0 / 0

english, 2001

8

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

년:

2003

언어:

english

파일:

PDF, 3.95 MB

0 / 0

english, 2003

9

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

년:

2012

언어:

english

파일:

PDF, 7.12 MB

0 / 0

english, 2012

10

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

년:

1994

언어:

english

파일:

DJVU, 4.18 MB

0 / 0

english, 1994

11

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

년:

2005

언어:

english

파일:

PDF, 6.51 MB

0 / 0

english, 2005

12

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

년:

2011

언어:

english

파일:

PDF, 8.05 MB

0 / 0

english, 2011

13

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

년:

2011

언어:

english

파일:

PDF, 9.63 MB

0 / 0

english, 2011

14

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

년:

2009

언어:

english

파일:

PDF, 10.08 MB

0 / 0

english, 2009

15

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

년:

2013

파일:

PDF, 2.72 MB

0 / 0

2013

16

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

년:

2010

언어:

english

파일:

PDF, 3.08 MB

0 / 0

english, 2010

17

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

년:

2011

언어:

english

파일:

PDF, 7.67 MB

0 / 0

english, 2011

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

년:

2010

언어:

english

파일:

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

년:

2010

언어:

english

파일:

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

년:

2018

언어:

english

파일:

PDF, 10.90 MB

5.0 / 5.0

english, 2018

21

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

년:

2005

언어:

english

파일:

PDF, 5.55 MB

0 / 0

english, 2005

22

Theory of reversible computing

Theory of reversible computing

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

년:

2017

언어:

english

파일:

PDF, 4.95 MB

5.0 / 5.0

english, 2017

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

년:

2005

언어:

english

파일:

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

년:

2018

언어:

english

파일:

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

년:

2002

언어:

english

파일:

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

년:

2013

언어:

english

파일:

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

년:

1998

언어:

english

파일:

DJVU, 4.54 MB

0 / 0

english, 1998

28

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

년:

1996

언어:

english

파일:

PDF, 9.94 MB

0 / 0

english, 1996

29

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

년:

2012

언어:

english

파일:

PDF, 8.15 MB

0 / 0

english, 2012

30

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

년:

2009

언어:

english

파일:

PDF, 7.06 MB

0 / 0

english, 2009

31

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

년:

2012

언어:

english

파일:

DJVU, 10.02 MB

0 / 0

english, 2012

32

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

년:

2011

언어:

english

파일:

PDF, 6.56 MB

0 / 0

english, 2011

33

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

년:

2005

언어:

english

파일:

PDF, 4.60 MB

0 / 0

english, 2005

34

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

년:

2000

언어:

english

파일:

PDF, 6.01 MB

0 / 0

english, 2000

35

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

년:

2007

언어:

english

파일:

PDF, 6.02 MB

0 / 0

english, 2007

36

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

년:

2006

언어:

english

파일:

PDF, 5.31 MB

0 / 0

english, 2006

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

년:

2010

언어:

english

파일:

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

년:

1996

언어:

english

파일:

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

년:

2010

언어:

english

파일:

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

년:

1996

언어:

english

파일:

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

년:

2011

언어:

english

파일:

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

년:

2003

언어:

english

파일:

PDF, 6.99 MB

0 / 0

english, 2003