" T.A. Henzinger" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

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

Krishnendu Chatterjee, Thomas A. Henzinger

Категория: Компьютеры

3.08 Mb

#2

Automata, Languages and Programming, Part I - ICALP 2011

Luca Aceto, Monika Henzinger, Jiri Sgall

8.05 Mb

#3

Automata, Languages and Programming, Part II - ICALP 2011

Luca Aceto, Monika Henzinger, Jiri Sgall

6.56 Mb

#4

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

9.49 Mb

#5

Computer Science Logic, 21 conf., CSL 2007

Jacques Duparc, Thomas A. Henzinger

Категория: Cs_Computer science, CsLn_Lecture notes

6.02 Mb

#6

Computer Aided Verification, 8 conf., CAV '96

Rajeev Alur, Thomas Henzinger

Категория: Cs_Computer science, CsLn_Lecture notes

5.09 Mb

#7

Handbook of Networked and Embedded Control Systems

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

5.55 Mb

#8

Handbook of Networked and Embedded Control Systems

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

Категория: Engineering

13.08 Mb

#9

Hybrid Systems III: Verification and Control: No. 3

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

5.84 Mb

#10

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

Thomas A. Henzinger, Shankar Sastry

4.54 Mb

#11

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

Thomas A. Henzinger, Christoph M. Kirsch

4.55 Mb