Filter by
Metasynthetic Computing and Engineering of Complex Systems
Provides a comprehensive overview and introduction to the concepts, methodologies, analysis, design and applications of metasynthetic computing and engineering. The author: • Presents an overview of complex systems, especially open complex giant systems such as the Internet, complex behavioural and social problems, and actionable knowledge discovery and delivery in the big data era. • Discu…
- Edition
- 1
- ISBN/ISSN
- 978-1-4471-6550-7
- Collation
- XIV, 348
- Series Title
- Advanced Information and Knowledge Processing
- Call Number
- -
Fault-Tolerance Techniques for High-Performance Computing
This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical perfo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20943-2
- Collation
- IX, 320
- Series Title
- -
- Call Number
- -
Microsoft Mapping Second Edition
This 200 page revised edition of Microsoft Mapping includes the latest details about SQL Server 2014 and the new 3D and Streetside-capable map control for Windows 10 applications. It contains updated chapters on Microsoft Azure and Power Map for Excel plus a new chapter on Bing Maps for Universal Windows. The book tells a story, from beginning to end, of planning and deploying a single geospati…
- Edition
- 2
- ISBN/ISSN
- 978-1-4842-1444-2
- Collation
- XX, 170
- Series Title
- -
- Call Number
- -
Wartime Schooling and Education Policy in the Second World War Catholic Educ…
This book deals with the development of private secondary schooling during the Second World War in Belgium. It focuses on how the German occupier used education to gain acceptance of the regime, and discusses the attitudes of Belgian education authorities, schools, teachers and pupils towards the German occupation. Suggesting that the occupation forced Belgian education authorities, such as the…
- Edition
- -
- ISBN/ISSN
- 978-1-137-52011-1
- Collation
- XII, 220
- Series Title
- -
- Call Number
- -
Visual Studio Lightswitch 2015
In this fully updated second edition, award-winning author Tim Leung explains how to build data-centric business applications for the desktop, cloud, web, and mobile devices in just a few clicks—with no code required—using Visual Studio Lightswitch 2015. This book explains the basics of Visual Studio Lightswitch 2015 plus new features and key advanced topics that every Microsoft developer n…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0766-6
- Collation
- XXXIII, 853
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- XVIII, 468
- Series Title
- -
- Call Number
- -
Vector Generalized Linear and Additive Models With an Implementation in R
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2818-7
- Collation
- XXIV, 589
- Series Title
- -
- Call Number
- -
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- VIII, 220
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- 150 illustrations in colour
- Series Title
- -
- Call Number
- -
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- XIV, 267
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography