Mônica Carneiro Sandoval's Documents

Mônica Carneiro Sandoval's Documents

The Changing

The Changing
Read more
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Read more
toc

toc
Read more
Bioactive Natural Products Detection, Isolation, and Structural Determination

Bioactive Natural Products Detection, Isolation, and Structural Determination
Read more
Jean Genet: Performance and Politics

Jean Genet: Performance and Politics
Read more
Herbs, Spices and Essential Oils: Post-Harvest Operations in Developing Countries

Herbs, Spices and Essential Oils: Post-Harvest Operations in Developing Countries
Read more
Der Renner

Der Renner
Read more
100 Questions & Answers About Osteoporosis and Osteopenia (100 Questions Series)

100 Questions & Answers About Osteoporosis and Osteopenia (100 Questions Series)
Read more
The Israel Lobby and U.S. Foreign Policy

The Israel Lobby and U.S. Foreign Policy
Read more
Architecture of a Database System

Architecture of a Database System
Read more
Practical Head and Neck Ultrasound (Greenwich Medical Media)

Practical Head and Neck Ultrasound (Greenwich Medical Media)
Read more
The Official Patient's Sourcebook on Peyronie's Disease

The Official Patient's Sourcebook on Peyronie's Disease
Read more
Family Psychology: The Art of the Science (Oxford Textbooks in Clinical Psychology)

Family Psychology: The Art of the Science (Oxford Textbooks in Clinical Psychology)
Read more
Cardboard in Architecture: Volume 7 Research in Architectural Engineering Series

Cardboard in Architecture: Volume 7 Research in Architectural Engineering Series
Read more
Foundations of Augmented Cognition, 3 conf., FAC 2007

Foundations of Augmented Cognition, 3 conf., FAC 2007
Read more
Nicetas Stethatos. Le Paradis spirituel et autres textes annexes. (Sources chrétiennes 008)

Nicetas Stethatos. Le Paradis spirituel et autres textes annexes. (Sources chrétiennes 008)
Read more
Theory of Linear Operators in Hilbert Space

Theory of Linear Operators in Hilbert Space
Read more
Quantum probability and infinite dimensional analysis

Quantum probability and infinite dimensional analysis
Read more
Stability and Control of Large-Scale Dynamical Systems: A Vector Dissipative Systems Approach

Stability and Control of Large-Scale Dynamical Systems: A Vector Dissipative Systems Approach
Read more
Debugging with GDB: The GNU Source-Level Debugger

Debugging with GDB: The GNU Source-Level Debugger
Read more
Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011
Read more
Race, class, and the world system: the sociology of Oliver C. Cox

Race, class, and the world system: the sociology of Oliver C. Cox
Read more
slide18

slide18
Read more
No title

No title
Read more
Chronic Leukemia: A Medical Dictionary, Bibliography, And Annotated Research Guide To Internet References

Chronic Leukemia: A Medical Dictionary, Bibliography, And Annotated Research Guide To Internet References
Read more
Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings (Lecture Notes in ... Applications, incl. Internet Web, and HCI)

Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings (Lecture Notes in ... Applications, incl. Internet Web, and HCI)
Read more
Hands-On Dog Care

Hands-On Dog Care
Read more
et al Analysis and control of nonlinear process systems

et al Analysis and control of nonlinear process systems
Read more
Horns, Tusks, and Flippers: The Evolution of Hoofed Mammals

Horns, Tusks, and Flippers: The Evolution of Hoofed Mammals
Read more
Money, Macroeconomics and Keynes

Money, Macroeconomics and Keynes
Read more