Filter by
Dag Prawitz on Proofs and Meaning
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…
- Edition
- -
- ISBN/ISSN
- 9783319110417
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
Dairy Chemistry and Biochemistry
It also covers heat-induced changes in milk, the use of exogenous enzymes in dairy processing, principal physical properties of milk, bioactive compounds in milk and comparison of milk of different species.
- Edition
- -
- ISBN/ISSN
- 9783319374369
- Collation
- -
- Series Title
- -
- Call Number
- 641.37
A Descriptive Catalogue of the Manuscripts in the Library of Corpus Christi C…
M. R. James (1862–1936) is probably best remembered as a writer of chilling ghost stories, but he was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum, and many of his stories reflect his academic background. His detailed descriptive catalogues of manuscripts owned by colleges, ca…
- Edition
- -
- ISBN/ISSN
- 9780511703560
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
A Descriptive Catalogue of the Manuscripts in the Fitzwilliam Museum
M. R. James (1862–1936) is probably best remembered as a writer of chilling ghost stories, but he was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum, and many of his stories reflect his academic background. His detailed descriptive catalogues of manuscripts owned by colleges, ca…
- Edition
- -
- ISBN/ISSN
- 9780511693830
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
Get access
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
- Edition
- -
- ISBN/ISSN
- 9780511919930
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
Toward 5G Software Defined Radio Receiver Front-Ends
This book introduces a new intuitive design methodology for the optimal design path for next-generation software defined radio front-ends (SDRXs). The methodology described empowers designers to "attack" the multi-standard environment in a parallel way rather than serially, providing a critical tool for any design methodology targeting 5G circuits and systems. Throughout the book the SDRX desig…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32759-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Topological Fixed Point Theory for Singlevalued and Multivalued Mappings and …
This is a monograph covering topological fixed point theory for several classes of single and multivalued maps. The authors begin by presenting basic notions in locally convex topological vector spaces. Special attention is then devoted to weak compactness, in particular to the theorems of Eberlein–Šmulian, Grothendick and Dunford–Pettis. Leray–Schauder alternatives and eigenvalue proble…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31948-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics on Methodological and Applied Statistical Inference
This book brings together selected peer-reviewed contributions from various research fields in statistics, and highlights the diverse approaches and analyses related to real-life phenomena. Major topics covered in this volume include, but are not limited to, bayesian inference, likelihood approach, pseudo-likelihoods, regression, time series, and data analysis as well as applications in the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-44093-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A Descriptive Catalogue of the Latin Manuscripts in the John Rylands Library …
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
- Edition
- -
- ISBN/ISSN
- 9780511919930
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
Foundations & Principles of Distributed Manufacturing
By outlining encapsulation and evolving decision-making principles, Foundations & Principles of Distributed Manufacturing fully conceptualizes the view of manufacturing networks as sets of loosely coupled interacting smart factory objects. Moreover, the book provides concrete approaches to a number of future fields, where distributed manufacturing might be applied. Both researchers and professi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18078-6
- Collation
- XVII, 121 pages
- Series Title
- Springer Series in Advanced Manufacturing
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography