Home Advanced Search

Advanced Search - Page 1

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
  • PDF
  • English
  • Year: 2009
  • Author: Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)
Practical Methods of Financial Engineering and Risk Management: Tools for Modern Financial Professionals
  • PDF
  • English
  • Year: 2014
  • Author: Rupak Chatterjee
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Marsha Chechik, Jean-François Raskin (eds.)
Mémoires
  • PDF
  • French
  • Year: 2018
  • Author: Jean-François Revel, Laurent Theis
Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Ezio Bartocci, Rupak Majumdar (eds.)
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)
Les insertions lyriques dans les romans en vers du XIIIe siècle
  • PDF
  • French
  • Year: 2007
  • Author: François Laurent
search