Filter by
Sublinear Algorithms for Big Data Applications
The brief focuses on applying sublinear algorithms to manage critical big data challenges. The text offers an essential introduction to sublinear algorithms, explaining why they are vital to large scale data systems. It also demonstrates how to apply sublinear algorithms to three familiar big data applications: wireless sensor networks, big data processing in Map Reduce and smart grids. These a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20448-2
- Collation
- XI, 85
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- -
A Survey of Characteristic Engine Features for Technology-Sustained Pervasive…
This book scrutinizes pervasive games from a technological perspective, focusing on the sub-domain of games that satisfy the criteria that they make use of virtual game elements. In the computer game industry, the use of a game engine to build games is common, but current game engines do not support pervasive games. Since the computer game industry is already rich with game engines, this book i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17632-1
- Collation
- XII, 66
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- 005.642 NEV s
Ready: A Commodore 64 Retrospective
How did the Commodore 64 conquer the hearts of millions and become a platform people still actively develop for even today? What made it so special? This book will appeal to both those who like tinkering with old technology as a hobby and nostalgic readers who simply want to enjoy a trip down memory lane. It discusses in a concise but rigorous format the different areas of home gaming and pe…
- Edition
- -
- ISBN/ISSN
- 978-981-287-341-5
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, S…
This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting syst…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24537-9
- Collation
- -
- Series Title
- -
- Call Number
- 004
Re-engineering the Uptake of ICT in Schools
This book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically sound ways of introducing ICT, new technical artifacts supporting the approach, the evaluation in a large-scale validator, and future work. While many innovations in Technology Enhanced Learning (TEL) have emerged over the last two decades, the uptake of these inno…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19366-3
- Collation
- -
- Series Title
- -
- Call Number
- 370
Introducing Meteor
Meteor is a full stack application platform that makes it easy to build powerful, real time Web apps quickly. Introducing Meteor guides you through building top-quality Web apps in a fraction of the time using an application platform built for the modern web. This book takes you from installing the development environment all the way through deploying a live app, and everything in between. Intr…
- Edition
- -
- ISBN/ISSN
- 978-1-4302-6835-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Introducing Gradle
This concise book is a quick start-up primer on the Gradle build and release tool. You'll learn about Gradle and how to set it up to use. You'll learn about the Gradle life cycle and how to effectively leverage and use it. Also, you'll learn the basics of using site plugins and generating Javadocs, test coverage/FindBugs reports, version/release notes and more. Furthermore, you'll take advantag…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1031-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Computational invariant theory
This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xxii, 366 pages : illustrations ; 25 cm.
- Series Title
- -
- Call Number
- -
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; mode…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17404-4
- Collation
- VIII, 189
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Internet of Vehicles - Safe and Intelligent Mobility: Second International Co…
This book constitutes the refereed proceedings of the Second International Conference on Internet of Vehicles, IOV 2015, held in Chengdu, China, in December 2015. The 40 full papers presented were carefully reviewed and selected from 128 submissions. They focus on the following topics: IOV architectures and applications; intelligent mobility; V2V and M2M communications; and modeling and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27293-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography