Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

PDF
English
Year: 2008
Author: Dino Distefano (auth.), G. Ramalingam (eds.)

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

PDF
English
Year: 2009
Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

PDF
English
Year: 2009
Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

Static Analysis: 4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings

DJVU
English
Year: 1997
Author: G. Ramalingam (auth.), Pascal Van Hentenryck (eds.)

Disease Gene Identification: Methods and Protocols

PDF
English
Year: 2011
Author: Johanna K. DiStefano, Darin M. Taverna (auth.), Johanna K. DiStefano (eds.)

Inner-Midrashic Introductions and Their Influence on Introductions to Medieval Rabbinic Bible Commentaries

PDF
English
Year: 2009
Author: Michel G. Distefano

Towards Sustainable Building

PDF
English
Year: 2001
Author: Dino Borri (auth.), Nicola Maiellaro (eds.)

Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings

DJVU
English
Year: 1996
Author: Jack Minker (auth.), Dino Pedreschi, Carlo Zaniolo (eds.)

Operative Atlas of Laparoscopic and Robotic Reconstructive Urology

PDF
English
Year: 2017
Author: Vipul R. Patel, Manickam Ramalingam (eds.)

Evaluating Theory-Practice and Urban-Rural Interplay in Planning

PDF
English
Year: 1997
Author: Andreas Faludi, Willem Korthals Altes (auth.), Dino Borri, Abdul Khakee, Cosimo Lacirignola (eds.)