Home Advanced Search

Advanced Search - Page 1

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
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
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.)
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)
Programación lógica. teoría y práctica
Programación lógica. teoría y práctica
  • PDF
  • Spanish
  • Year: 2007
  • Author: María Alpuente Fresnedo, Pascual Julian Iranzo
Disease Gene Identification: Methods and Protocols
Disease Gene Identification: Methods and Protocols
  • PDF
  • English
  • Year: 2011
  • Author: Johanna K. DiStefano, Darin M. Taverna (auth.), Johanna K. DiStefano (eds.)
Homework helpers. Biology
Homework helpers. Biology
  • EPUB
  • English
  • Year: 2004
  • Author: Distefano, Matthew
Retroalimentación y sistemas de control
  • PDF
  • Spanish
  • Year: 1992
  • Author: Joseph Distefano