Filter by
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
- -
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography