| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910780897403321 |
|
|
Titolo |
Twenty-five years of constructive type theory [[electronic resource] ] : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford, : Clarendon Press |
|
New York, : Oxford University Press, 1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-19-191654-4 |
1-280-81972-3 |
9786610819720 |
0-19-158903-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (292 p.) |
|
|
|
|
|
|
Collana |
|
Oxford logic guides ; ; 36 |
Oxford science publications |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
SambinGiovanni |
SmithJan M |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Type theory |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Previously issued in print: Oxford: Clarendon Press, 1998. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Contents; 1. Yet another constructivization of classical logic; 2. Extension of Martin-Löf's type theory with record types and subtyping; 3. Type-theoretical checking and philosophy of mathematics; 4. The Hahn-Banach theorem in type theory; 5. A realizability interpretation of Martin-Löf's type theory; 6. The groupoid interpretation of type theory; 7. Analytic program derivation in type theory; 8. An intuitionistic theory of types; 9. On storage operators; 10. On universes in type theory; 11. How to believe a machine-checked proof |
12. Building up a toolbox for Martin-Löf's type theory: subset theory13. An introduction to well-ordering proofs in Martin-Löf's type theory; 14. Variable-free formalization of the Curry-Howard theory; 15. The forget-restore principle: a paradigmatic example |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Martin-LoÌf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of |
|
|
|
|
|
|
|
|
|
|
|
|
|
activity and of its early development. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910782037503321 |
|
|
Autore |
Wessner Charles W |
|
|
Titolo |
Partnering against terrorism [[electronic resource] ] : summary of a workshop / / Charles W. Wessner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : National Academy Press, c2005 |
|
|
|
|
|
|
|
ISBN |
|
0-309-16512-1 |
1-280-74206-2 |
9786610742066 |
0-309-54616-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (163 p.) |
|
|
|
|
|
|
Collana |
|
Government-industry partnerships |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Terrorism - United States - Prevention |
Public-private sector cooperation - United States |
Technology and state - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Sponsored by Committee on Government-Industry Partnerships for the Development of New Technologies, Board on Science, Technology, and Economic Policy, Policy and Global Affairs, National Research Council of the National Academies. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 138-145). |
|
|
|
|
|
|
Nota di contenuto |
|
""Front Matter""; ""Contents""; ""I. INTRODUCTION""; ""II. PROCEEDINGS""; ""Welcome""; ""Introduction""; ""Panel I: Partnering to Meet the New Security Challenge""; ""Panel II: Best Practice Examples of Public-Private Partnerships""; ""Panel III: Partnerships Against Bioterrorism""; ""Panel IV: Partnering for National Security""; ""Panel V: Roundtable on Partnering for National Missions: Defense, Health and Energy""; ""Closing Remarks""; ""III. APPENDIXES""; ""A. Biographies of Speakers""; ""B. Participants List""; ""C. Bibliography"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910955154003321 |
|
|
Titolo |
Pharmaceutical manufacturing handbook : regulations and quality / / [edited by] Shayne Cox Gad |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, N.J., : Wiley-Interscience, c2008 |
|
|
|
|
|
|
|
ISBN |
|
9786611237523 |
9781281237521 |
1281237523 |
9780470259832 |
0470259833 |
9780470259825 |
0470259825 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (857 pages) |
|
|
|
|
|
|
Collana |
|
Pharmaceutical Development Series |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Pharmaceutical technology - Quality control |
Pharmacy - Law and legislation - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
PHARMACEUTICAL MANUFACTURING HANDBOOK Regulations and Quality; CONTRIBUTORS; CONTENTS; PREFACE; SECTION 1 GOOD MANUFACTURING PRACTICES (GMP) AND OTHER FDA GUIDELINES; 1.1 Good Manufacturing Practices (GMPs) and Related FDA Guidelines; 1.2 Enforcement of Current Good Manufacturing Practices; 1.3 Scale-Up and Postapproval Changes (SUPAC) Regulations; 1.4 GMP-Compliant Propagation of Human Multipotent Mesenchymal Stromal Cells; SECTION 2 INTERNATIONAL REGULATIONS OF GOOD MANUFACTURING PRACTICES |
2.1 National GMP Regulations and Codes and International GMP Guides and Guildelines: Correspondences and Differences; SECTION 3 QUALITY; 3.1 Analytical and Computational Methods and Examples for Designing and Controlling Total Quality Management Pharmaceutical Manufacturing Systems; 3.2 Role of Quality Systems and Audits in Phatmaceutical Manufacturing Environment; 3.3 Creating and Managing |
|
|
|
|
|
|
|
|
|
|
|
a Quality Management System; 3.4 Quality Process Improvement; SECTION 4 PROCESS ANALYTICAL TECHNOLOGY (PAT); 4.1 Case for Process Analytical Technology: Regulatory and Industrial Perspectives |
4.2 Process Analytical Technology; 4.3 Chemical Imaging and Chemometrics: Useful Tools for Process Analytical Technology; SECTION 5 PERSONNEL; 5.1 Personnel Training in Pharmaceutical Manufacturing; SECTION 6 CONTAMINATION AND CONTAMINATION CONTROL; 6.1 Origin of Contamination; 6.2 Quantitation of Markers for Gram-Negative and Gram-Positive Endotoxins in Work Environment and as Contaminants in Pharmaceutical Products Using Gas Chromatography-Tandem Mass Spectrometry; 6.3 Microbiology of Nonsterile Pharmaceutical Manufacturing; SECTION 7 DRUG STABILITY |
7.1 Stability and Shelf Life of Pharmaceutical Products; 7.2 Drug Stability; 7.3 Effect of Packaging on Stability of Drugs and Drug Products; 7.4 Pharmaceutical Product Stability; 7.5 Alternative Accelerated Methods for Studying Drug Stability: Variable-Parameter Kinetics; SECTION 8 VALIDATION; 8.1 Analytical Method Validation: Principles and Practices; 8.2 Analytical Method Validation and Quality Assurance; 8.3 Validation of Laboratory Instruments; 8.4 Pharmaceutical Manufacturing Validation Principles; INDEX |
|
|
|
|
|
|
Sommario/riassunto |
|
With its coverage of Food and Drug Administration regulations, international regulations, good manufacturing practices, and process analytical technology, this handbook offers complete coverage of the regulations and quality control issues that govern pharmaceutical manufacturing. In addition, the book discusses quality assurance and validation, drug stability, and contamination control, all key aspects of pharmaceutical manufacturing that are heavily influenced by regulatory guidelines. |
|
|
|
|
|
|
|
| |