Núria M. Pinyol's Documents

Núria M. Pinyol's Documents

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Read more
An Introduction to nuclear physics

An Introduction to nuclear physics
Read more
Ordinary and Partial Differential Equations: Proceedings of the Seventh Conference Held at Dundee, Scotland, March 29 - April 2, 1982 (Lecture Notes in Mathematics)

Ordinary and Partial Differential Equations: Proceedings of the Seventh Conference Held at Dundee, Scotland, March 29 - April 2, 1982 (Lecture Notes in Mathematics)
Read more
Measure Theory and Probability Theory

Measure Theory and Probability Theory
Read more
La sabiduría del escriba: edición diplomática de la versión siriaca del libro de Ben Sira según el Códice Ambrosiano, con traducción española e inglesa

La sabiduría del escriba: edición diplomática de la versión siriaca del libro de Ben Sira según el Códice Ambrosiano, con traducción española e inglesa
Read more
Essentials of Precalculus

Essentials of Precalculus
Read more
Food Science and Technology: New Research

Food Science and Technology: New Research
Read more
The Demon Book 2

The Demon Book 2
Read more
Adapting Proofs-as-Programs: The Curry-Howard Protocol

Adapting Proofs-as-Programs: The Curry-Howard Protocol
Read more
The Cambridge Companion to Merleau-Ponty

The Cambridge Companion to Merleau-Ponty
Read more
Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems

Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems
Read more
The Future of Learning Institutions in a Digital Age (John D. and Catherine T. MacArthur Foundation Reports on Digital Media and Learning)

The Future of Learning Institutions in a Digital Age (John D. and Catherine T. MacArthur Foundation Reports on Digital Media and Learning)
Read more
Solid State Physics

Solid State Physics
Read more
Identifying, Assessing, and Treating Self-Injury at School (Developmental Psychopathology at School)

Identifying, Assessing, and Treating Self-Injury at School (Developmental Psychopathology at School)
Read more
Generalized Collocations Methods: Solutions to Nonlinear Problems

Generalized Collocations Methods: Solutions to Nonlinear Problems
Read more
Business Process Outsourcing: The Competitive Advantage

Business Process Outsourcing: The Competitive Advantage
Read more
Maximum Penalized Likelihood Estimation: Volume II: Regression

Maximum Penalized Likelihood Estimation: Volume II: Regression
Read more
Linear Programming 2: Theory and Extensions

Linear Programming 2: Theory and Extensions
Read more
The Glaucoma Book: A Practical, Evidence-Based Approach to Patient Care

The Glaucoma Book: A Practical, Evidence-Based Approach to Patient Care
Read more
Variation in Indigenous Minority Languages (Impact: Studies in Language and Society)

Variation in Indigenous Minority Languages (Impact: Studies in Language and Society)
Read more
Ligand-Binding Assays: Development, Validation, and Implementation in the Drug Development Arena

Ligand-Binding Assays: Development, Validation, and Implementation in the Drug Development Arena
Read more
Handbook of Fiber Rope Technology

Handbook of Fiber Rope Technology
Read more
Laboratory Shear Strength of Soil-STP 740

Laboratory Shear Strength of Soil-STP 740
Read more
Design, Evaluation, and Analysis of Questionnaires for Survey Research (Wiley Series in Survey Methodology)

Design, Evaluation, and Analysis of Questionnaires for Survey Research (Wiley Series in Survey Methodology)
Read more
Concise Guide to Mood Disorders

Concise Guide to Mood Disorders
Read more
Handbooks of Aging: Handbook of the Biology of Aging, Sixth Edition

Handbooks of Aging: Handbook of the Biology of Aging, Sixth Edition
Read more
Dynamic Combinatorial Chemistry

Dynamic Combinatorial Chemistry
Read more
Metadata and Semantic Research: 4th International Conference, MTSR 2009, Alcalá de Henares, Spain, October 20-22, 2010, Proceedings (Communications in Computer and Information Science)

Metadata and Semantic Research: 4th International Conference, MTSR 2009, Alcalá de Henares, Spain, October 20-22, 2010, Proceedings (Communications in Computer and Information Science)
Read more
Social Dynamics (Economic Learning and Social Evolution)

Social Dynamics (Economic Learning and Social Evolution)
Read more
Polymeric Foams: Mechanisms and Materials (Polymeric Foams Series)

Polymeric Foams: Mechanisms and Materials (Polymeric Foams Series)
Read more