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.)
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.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: José Júlio Alferes, Moa Johansson
Communicating with XML
  • EPUB
  • English
  • Year: 2012
  • Author: Airi Salminen; Frank Tompa
Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Amir H. Chinaei, Hamid R. Chinaei, Frank Wm. Tompa (auth.), Willem Jonker, Milan Petković (eds.)
Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Amir H. Chinaei, Hamid R. Chinaei, Frank Wm. Tompa (auth.), Willem Jonker, Milan Petković (eds.)
search