Home Advanced Search

Advanced Search - Page 1

Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Andreas Podelski, François Taïani
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Andreas Podelski
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Frédéric Benhamou (auth.), Andreas Podelski (eds.)
Distributed Applications and Interoperable Systems: 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Matthew Brook, Craig Sharp, Graham Morgan (auth.), Jim Dowling, François Taïani (eds.)
Distributed Applications and Interoperable Systems: 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Matthew Brook, Craig Sharp, Graham Morgan (auth.), Jim Dowling, François Taïani (eds.)
Distributed Applications and Interoperable Systems: 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Shen Lin, François Taïani, Gordon Blair (auth.), Twittie Senivongse, Rui Oliveira (eds.)
Constraint Processing: Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)
Constraint Processing: Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)
search