کتاب های T.a. Henzinger
Handbook of Networked and Embedded Control Systems
R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine, 2005
Handbook of Networked and Embedded Control Systems
R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine, 2005
Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings
Monika Henzinger (auth.), Mike S. Paterson (eds.), 2000
Handbook of Massive Data Sets
Andrei Broder, Monika Henzinger (auth.), James Abello, Panos M. Pardalos, Mauricio G. C. Resende (eds.), 2002
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.), 2009
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.), 2009
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.), 2005
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.), 2005
Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings
Monika Henzinger (auth.), 2000
