Home Advanced Search

Advanced Search - Page 1

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

PDF
English
Year: 2001
Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

PDF
English
Year: 2001
Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

PDF
English
Year: 2009
Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

PDF
English
Year: 2010
Author: Pamela Zave (auth.), Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.)

Robotic Sailing 2016: Proceedings of the 9th International Robotic Sailing Conference

PDF
English
Year: 2017
Author: José C. Alves, Nuno A. Cruz (eds.)

Challenges and Negotiations for Women in Higher Education

PDF
English
Year: 2007
Author: Barbara Bagilhole (auth.), Pamela Cotterill, Sue Jackson, Gayle Letherby (eds.)

Phosphatase Modulators

PDF
English
Year: 2013
Author: Michael R. Jackson (auth.), José Luis Millán (eds.)

Raising Public Awareness of Mathematics

DJVU
English
Year: 2012
Author: John D. Barrow, Robin Wilson (auth.), Ehrhard Behrends, Nuno Crato, José Francisco Rodrigues (eds.)

Algae and Man: Based on lectures presented at the NATO Advanced Study Institute July 22 – August 11, 1962 Louisville, Kentucky

PDF
English
Year: 1967
Author: G. W. Prescott (auth.), Daniel F. Jackson (eds.)

Human-Computer Interaction: The Agency Perspective

PDF
English
Year: 2012
Author: Pieter Desmet, Marc Hassenzahl (auth.), Marielba Zacarias, José Valente de Oliveira (eds.)