Filter by
Algorithms and Architectures for Parallel Processing: 15th International Conf…
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015. The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-27119-4
- Collation
- LI, 793
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.8 ALG a
Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, Septem…
This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015. The 86 revised full papers presented together with two invited lectures were carefully reviewed and selected from 320 initial submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Eng…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48350-3
- Collation
- XXIII, 1053
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005 ALG a
MATLAB Recipes: A Problem-Solution Approach
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environm…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0559-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Hardware and Software: Verification and Testing: 11th International Haifa Ver…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26286-4
- Collation
- XVI, 293
- Series Title
- -
- Call Number
- 004 HAN
Membrane Computing
This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28474-3
- Collation
- XI, 387; 56 illustrations in colour
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography