Home Advanced Search

Advanced Search - Page 1

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Leonardo de Moura (auth.), Jimmy Lee (eds.)
Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Leonardo de Moura (auth.), Jimmy Lee (eds.)
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Ramon López de Mántaras, Maarten Grachten, Josep-Lluís Arcos (auth.), Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.)
The Courant-Friedrichs-Lewy (CFL) condition : 80 years after its discovery
  • PDF
  • English
  • Year: 2013
  • Author: Carlos A de Moura (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.)
search