Home Advanced Search

Advanced Search - Page 1

Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
  • PDF
  • English
  • Year: 2017
  • Author: Mauricio Ayala-Rincón, Flávio L. C. de Moura (auth.)
Applied logic for computer scientists : computational deduction and formal proofs
  • PDF
  • English
  • Year: 2017
  • Author: Ayala-Rincón, Mauricio; Moura, Flávio L. C. de
História Moderna Através de Textos
  • PDF
  • Portuguese
  • Year: 2001
  • Author: Adhemar Martins Marques, Flávio Berutti, Ricardo De Moura Faria
Financial Speculation and Fictitious Profits: A Marxist Analysis
  • EPUB
  • English
  • Year: 2019
  • Author: Gustavo Moura de Cavalcanti Mello; Mauricio de Souza Sabadini
Fundamentals of Linear Control
  • PDF
  • English
  • Year: 2017
  • Author: Mauricio C. de Oliveira
Metaheuristics: Computer Decision-Making
  • PDF
  • English
  • Year: 2004
  • Author: Mauricio G. C. Resende, Jorge Pinho de Sousa (auth.)
Mathematical Methods in Systems, Optimization, and Control: Festschrift in Honor of J. William Helton
  • PDF
  • English
  • Year: 2012
  • Author: Harry Dym, Mauricio C. de Oliveira, Mihai Putinar (auth.), Harry Dym, Mauricio C. de Oliveira, Mihai Putinar (eds.)
Mathematical Methods in Systems, Optimization, and Control: Festschrift in Honor of J. William Helton
  • PDF
  • English
  • Year: 2012
  • Author: Harry Dym, Mauricio C. de Oliveira, Mihai Putinar (auth.), Harry Dym, Mauricio C. de Oliveira, Mihai Putinar (eds.)
Advances in Fatigue Science and Technology
  • PDF
  • English
  • Year: 1989
  • Author: K. J. Miller (auth.), C. Moura Branco, L. Guerra Rosa (eds.)
String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Krishna Bharat (auth.), Mario A. Nascimento, Edleno S. de Moura, Arlindo L. Oliveira (eds.)
search