Home Advanced Search

Advanced Search - Page 1

Verification and Control of Hybrid Systems: A Symbolic Approach
  • PDF
  • English
  • Year: 2009
  • Author: Paulo Tabuada (auth.)
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)
Networked Embedded Sensing and Control: Workshop NESC’05: University of Notre Dame, USA, October 2005 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Panos J. Antsaklis, Paulo Tabuada
Noncommutative Motives
  • PDF
  • English
  • Year: 2015
  • Author: Goncalo Tabuada
Noncommutative Motives
  • PDF
  • English
  • Year: 2015
  • Author: Goncalo Tabuada
Théorie homotopique des DG-catégories [PhD thesis]
  • PDF
  • French
  • Year: 2007
  • Author: Goncalo Nery Tabuada
Concepts and Formulations for Spatial Multibody Dynamics
  • PDF
  • English
  • Year: 2015
  • Author: Paulo Flores (auth.)
Meine Zahlen, meine Freunde: Glanzlichter der Zahlentheorie
  • PDF
  • German
  • Year: 2009
  • Author: Paulo Ribenboim (auth.)
Literary and Cultural Relations between Brazil and Mexico: Deep Undercurrents
  • PDF
  • English
  • Year: 2013
  • Author: Paulo Moreira (auth.)
Classical Theory of Algebraic Numbers
  • PDF
  • English
  • Year: 2001
  • Author: Paulo Ribenboim (auth.)
search