Filter by
High Performance Computing
This book constitutes the proceedings of the Second Latin American Conference on High Performance Computing, CARLA 2015, a joint conference of the High-Performance Computing Latin America Community, HPCLATAM, and the Conferencia Latino Americana de Computación de Alto Rendimiento, CLCAR, held in Petrópolis, Brazil, in August 2015. The 11 papers presented in this volume were carefully revie…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26927-6
- Collation
- X, 151
- Series Title
- -
- Call Number
- 004 HIG
Machine Learning Projects for .NET Developers
Machine Learning Projects for .NET Developers shows you how to build smarter .NET applications that learn from data, using simple algorithms and techniques that can be applied to a wide range of real-world problems. You’ll code each project in the familiar setting of Visual Studio, while the machine learning logic uses F#, a language ideally suited to machine learning applications in .NET. If…
- Edition
- -
- ISBN/ISSN
- 978-1-4302-6766-9
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography