Filter by
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
- -
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
- 9780511919923
- Collation
- -
- Series Title
- Cambridge Library Collection - History of Printing, Publishing and Libraries
- Call Number
- -
Formalizing Data-Centric Web Services
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24678-9
- Collation
- XIII, 131 pages
- Series Title
- Web-Scale Workflow and Analytics
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19195-9
- Collation
- XII, 245 pages
- Series Title
- -
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography