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-27122-4
- Collation
- LI, 737
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.8 ALG a
Handbook of Space Security: Policies, Applications and Programs
Space Security involves the use of space (in particular communication, navigation, earth observation, and electronic intelligence satellites) for military and security purposes on earth and also the maintenance of space (in particular the earth orbits) as safe and secure areas for conducting peaceful activities. The two aspects can be summarized as "space for security on earth" and “the safeg…
- Edition
- -
- ISBN/ISSN
- 978-1-4614-2028-6
- Collation
- XLI, 1036
- Series Title
- -
- Call Number
- 004. HAN
Visio Services Quick Guide Using Visio with SharePoint 2013 and Office 365
In this fast-paced 100-page guide, you’ll learn to load, display and interact with dynamic, data-powered Visio diagrams in SharePoint 2013 or Office 365. Visio Services Quick Guide gives you the tools to build anything from a simple project workflow to an organizational infrastructure diagram, powered by real data from SharePoint or SQL Server. Colleagues can load your diagrams entirely in…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0868-7
- Collation
- IX, 144
- Series Title
- -
- Call Number
- -
Virtualized Cloud Data Center Networks: Issues in Resource Management.
This book discusses the characteristics of virtualized cloud networking, identifies the requirements of cloud network management, and illustrates the challenges in deploying virtual clusters in multi-tenant cloud data centers. The book also introduces network partitioning techniques to provide contention-free allocation, topology-invariant reallocation, and highly efficient resource utilization…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32632-0
- Collation
- VIII, 57
- 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
- -
Vehicular ad hoc Networks Standards, Solutions, and Research
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15497-8
- Collation
- XII, 544
- Series Title
- -
- Call Number
- -
Using Scribe Insight Developing Integrations and Migrations using the Scribe…
Understand how to utilize the workbench, console, adapters, publisher, and other components in Scribe to ensure you have a rapid development toolkit that will drastically reduce your workload and timeline. In Using Scribe Insight, you’ll learn to build your integrations and migrations with the minimal amount of effort, what shortcuts can be taken to simplify and reduce your labor, and what te…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1624-8
- Collation
- XX, 122
- Series Title
- -
- Call Number
- -
Agile Software Development with HP Agile Manager
Agile development practices have been widely adopted in a variety of organizations, yet only a few tools are available to help make the practical process of managing agile teams less painful and more successful. HP Agile Manager is a purpose-built SaaS-based Agile planning tool. HP Agile Manager provides a simpler, smarter way to manage collaborative development. Liran Tal provides a prac…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-1034-5
- Collation
- XVII, 148
- Series Title
- -
- Call Number
- 004.6 TAL a
Agent Environments for Multi-Agent Systems IV: 4th International Workshop, E4…
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems. The 6 revised full papers presented together with 1 roadmap paper a…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-23850-0
- Collation
- X, 255
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 AGE a
Unsupervised Learning Algorithms
This book summarizes the state-of-the-art in unsupervised learning. The contributors discuss how with the proliferation of massive amounts of unlabeled data, unsupervised learning algorithms, which can automatically discover interesting and useful patterns in such data, have gained popularity among researchers and practitioners. The authors outline how these algorithms have found numerous appli…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24211-8
- Collation
- 59 b/w illustrations, 101 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography