Home Advanced Search

Advanced Search - Page 1

Constraint Processing: Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
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.)
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.)
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.)
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Andreas Podelski
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Entrepreneurship and Culture
  • PDF
  • English
  • Year: 2010
  • Author: Andreas Freytag, Roy Thurik (auth.), Andreas Freytag, Roy Thurik (eds.)
Advanced Microsystems for Automotive Applications 2013: Smart Systems for Safe and Green Vehicles
  • PDF
  • English
  • Year: 2013
  • Author: Andreas von Eichhorn, Peter Zahn, Dieter Schramm (auth.), Jan Fischer-Wolfarth, Gereon Meyer (eds.)
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
search