Author books / Книги автора Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.)

book 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

pdf

Author: Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Theory of reversible computing

Theory of reversible computing

pdf

Author: Henzinger Monika, Hromkovič Juraj, Morita Ken'ichi, Nielsen Mogens
Language: English
Year: 2017

00

30.01.2024

0

0

book Handbook of model checking

Handbook of model checking

pdf

Author: Bloem Roderick, Clarke Edmund M., Henzinger Thomas A., Veith Helmut et al. (eds.)
Language: English
Year: 2018

00

30.01.2024

0

0

book Handbook of Model Checking

Handbook of Model Checking

pdf

Author: Edmund M. Clarke Thomas A. Henzinger Helmut Veith Roderick Bloem (eds.)
Language: English
Year: 2018

00

29.01.2024

0

0

book 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

pdf

Author: Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger (auth.) Susanne Albers Alberto Marchetti-Spaccamela Yossi Matias Sotiris Nikoletseas Wolfgang Thomas (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book 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

pdf

Author: Monika Henzinger (auth.) Mike S. Paterson (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book 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

pdf

Author: Thomas A. Henzinger (auth.) Oscar H. Ibarra Zhe Dang (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Handbook of Massive Data Sets

Handbook of Massive Data Sets

pdf

Author: Andrei Broder Monika Henzinger (auth.) James Abello Panos M. Pardalos Mauricio G. C. Resende (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book 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

pdf

Author: Riccardo Colini-Baldeschi Monika Henzinger Stefano Leonardi Martin Starnberger (auth.) Artur Czumaj Kurt Mehlhorn Andrew Pitts Roger Wattenhofer (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book 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

pdf

Author: Jakob Ruess John Lygeros (auth.) Ashutosh Gupta Thomas A. Henzinger (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0