Home Advanced Search

Advanced Search - Page 1

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lars Lucas, Tobias Schuele, Wolfgang Schwitzer (auth.), João M. Lourenço, Eitan Farchi (eds.)
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)
Geometria Diferencial e Cálculo das variações
  • PDF
  • Portuguese
  • Year: 1975
  • Author: João Lucas M. Barbosa
Computational Vision and Medical Image Processing: Recent Trends
  • PDF
  • English
  • Year: 2011
  • Author: Ahmed El-Rafei, Tobias Engelhorn (auth.), João Manuel R. S. Tavares, R. M. Natal Jorge (eds.)
Computational vision and medical image processing: Recent trends
  • PDF
  • English
  • Year: 2011
  • Author: Ahmed El-Rafei, Tobias Engelhorn (auth.), João Manuel R. S. Tavares, R. M. Natal Jorge (eds.)
Semantic Technologies in Content Management Systems: Trends, Applications and Evaluations
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Maass (auth.), Wolfgang Maass, Tobias Kowatsch (eds.)
Semantic Technologies in Content Management Systems: Trends, Applications and Evaluations
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Maass (auth.), Wolfgang Maass, Tobias Kowatsch (eds.)
Computer Vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV
  • PDF
  • English
  • Year: 2012
  • Author: Miguel Lourenço, João Pedro Barreto (auth.), Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (eds.)
Computer Vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV
  • PDF
  • English
  • Year: 2012
  • Author: Miguel Lourenço, João Pedro Barreto (auth.), Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (eds.)
search