Filter by
Energy Informatics 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, Novem…
This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015. The 18 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on distributed energy sources and storage, smart meters and monitoring, research lab infrastruc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25876-8
- Collation
- 92 b/w illustrations
- Series Title
- -
- Call Number
- -
Energy Efficient Servers Blueprints for Data Center Optimization
Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these fea…
- Edition
- -
- ISBN/ISSN
- 978-1-4302-6638-9
- Collation
- 103 b/w illustrations
- Series Title
- -
- Call Number
- -
Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambr…
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10 revised full papers presented were carefully selected from numerous submissions. They are organized in three topical sections named: energy optimization algorithms and models, the future role of dat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15786-3
- Collation
- 85 b/w illustrations
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- 48 illustrations in colour
- Series Title
- -
- Call Number
- -
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain…
This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015. The 10 full papers and 13 short papers were presented at the event. Additionally, the volume contains 2 keynote speeches, 3 doctoral consortia papers, 1 workshop paper and 6 EUD-playground papers. The papers provide a broad overview of the c…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18425-8
- Collation
- 64 b/w illustrations
- Series Title
- -
- Call Number
- -
New Challenges for Data Design
The present work provides a platform for leading Data designers whose vision and creativity help us to anticipate major changes occurring in the Data Design field, and pre-empt the future. Each of them strives to provide new answers to the question, “What challenges await Data Design?” To avoid falling into too narrow a mind-set, each works hard to elucidate the breadth of Data Design today…
- Edition
- 1
- ISBN/ISSN
- 978-1-4471-6596-5
- Collation
- XIV, 447
- Series Title
- -
- Call Number
- -
Networks of Dissipative Systems
This book addresses a major problem for today’s large-scale networked systems: certification of the required stability and performance properties using analytical and computational models. On the basis of illustrative case studies, it demonstrates the applicability of theoretical methods to biological networks, vehicle fleets, and Internet congestion control. Rather than tackle the network as…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-29927-3
- Collation
- X, 102
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- -
Networked Systems
This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorith…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26849-1
- Collation
- XXVIII, 526
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Network and System Security
This book constitutes the proceedings of the 9th International Conference on Network and System Security, NSS 2015, held in New York City, NY, USA, in November 2015. The 23 full papers and 18 short papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on wireless security and privacy; smartphone security; systems security; appl…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25644-3
- Collation
- XIV, 542
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography