Home Advanced Search

Advanced Search - Page 1

Software Reuse: Methods, Techniques, and Tools: 7th International Conference, ICSR-7 Austin, TX, USA, April 15–19, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Mark Grechanik, Don Batory, Dewayne E. Perry (auth.), Cristina Gacek (eds.)
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)
Architecting Dependable Systems IV
  • PDF
  • English
  • Year: 2007
  • Author: Joyce L. Tokar (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Architecting Dependable Systems IV
  • PDF
  • English
  • Year: 2007
  • Author: Joyce L. Tokar (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
  • PDF
  • English
  • Year: 2006
  • Author: Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)
Architecting Dependable Systems VII
  • PDF
  • English
  • Year: 2010
  • Author: Themistoklis Bourdenas, Morris Sloman, Emil C. Lupu (auth.), Antonio Casimiro, Rogério de Lemos, Cristina Gacek (eds.)
Architecting Dependable Systems VII
  • PDF
  • English
  • Year: 2010
  • Author: Themistoklis Bourdenas, Morris Sloman, Emil C. Lupu (auth.), Antonio Casimiro, Rogério de Lemos, Cristina Gacek (eds.)
search