Filter by
Topical Themes in Energy and Resources A Cross-Disciplinary Education and Tr…
This book combines issues several critical ones in the energy field (low-energy technologies, renewable energies such as the hydrogen economy, and geothermal energy). Moving towards a more sustainable world requires a complete revolution in the way we manage energy and resources. However, from an academic perspective, this theme is so broad that most educators and researchers tend to focus o…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55309-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools for High Performance Computing 2015 Proceedings of the 9th Internation…
High Performance Computing (HPC) remains a driver that offers huge potentials and benefits for science and society. However, a profound understanding of the computational matters and specialized software is needed to arrive at effective and efficient simulations. Dedicated software tools are important parts of the HPC software landscape, and support application developers. Even though a tool is…
- Edition
- -
- ISBN/ISSN
- 978-3-319-39589-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Forming, Recruiting and Managing the Academic Profession
This book focuses on the changes in academic careers and their implications for job attachment and the management of academic work. Against the background of an ageing profession, with different demands on academic staff, increasing insecurity, accountability and internationalisation, it discusses important, common themes in detail. This book examines such aspects as the nature of academic care…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16080-1
- Collation
- XIII, 328 pages
- Series Title
- -
- Call Number
- -
Formation and Containment Control for High-order Linear Swarm Systems
This book focuses on analysis and design problems for high-order linear time-invariant (LTI) swarm systems (multi-agent systems) to achieve consensus, formation, containment and formation-containment. As a first step, the concepts of practical consensus and formation-containment are introduced. Unlike previous research, the formation in this book can be time-varying. A general framework for con…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47836-3
- Collation
- XIX, 170 pages
- Series Title
- Springer Theses
- 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
- -
A Description of the Country from Thirty to Forty Miles round Manchester
The late eighteenth century saw Manchester and its surrounding areas undergo significant change as industrialisation fuelled urbanisation and population growth. In this classic 1795 account, the physician and prolific writer John Aikin (1747–1822) gathers together information on the settlements at the heart of manufacturing and trade in north-west England, covering the vital network of waterw…
- Edition
- -
- ISBN/ISSN
- 9781107706101
- Collation
- -
- Series Title
- Cambridge Library Collection - British & Irish History, 17th & 18th Centuries
- Call Number
- -
Formality Theory
This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebr…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09290-4
- Collation
- XII, 90 pages
- Series Title
- SpringerBriefs in Mathematical Physics
- Call Number
- -
Formalisms for Reuse and Systems Integration
Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16577-6
- Collation
- X, 295 pages
- Series Title
- Advances in Intelligent Systems and Computing
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography