Filter by
Static Analysis
Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Munich, Seattle, Deauville…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48288-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Gardens, Knowledge and the Sciences in the Early Modern Period
This volume focuses on the outstanding contributions made by botany and the mathematical sciences to the genesis and development of early modern garden art and garden culture. The many facets of the mathematical sciences and botany point to the increasingly “scientific” approach that was being adopted in and applied to garden art and garden culture in the early modern period. This developme…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26340-3
- Collation
- -
- Series Title
- -
- Call Number
- 580
Mobile Persuasion Design
Mobile Persuasion Design presents ten conceptual design projects (or ‘Machines’) for new mobile application's (smartphone or tablet with Web portals) that combine theories of persuasion and information design to change people’s behaviour. Areas such as the environment, health, learning and happiness are explored, looking at ways of marrying people’s wants and needs to make simple, us…
- Edition
- 1
- ISBN/ISSN
- 978-1-4471-4323-9
- Collation
- XXXIV, 659
- Series Title
- Human–Computer Interaction Series
- Call Number
- -
Modern Management of Cancer of the Rectum
Modern Management of Cancer of the Rectum is intended to provide a comprehensive overview of all aspects of rectal neoplasms. It addresses epidemiology, biology, screening and chemoprevention, the role of imaging in diagnosis, staging and prognosis, radiation therapy, medical and surgical treatment, as well as new modalities of therapy, including laparoscopy, and transanal endoscopic surgery. A…
- Edition
- 1
- ISBN/ISSN
- 978-1-4471-6608-5
- Collation
- XVII, 472
- Series Title
- -
- Call Number
- -
State-of-the-Art and Future Directions of Smart Learning
The rapid development and popularization of information technology significantly increase the speed of the generation of human knowledge, which has brought fundamental impacts on the modes of education and the methods of instruction. The traditional ways of learning are facing a revolution to adapt to the requirements of the information age. In order to facilitate easy, engaging and effecti…
- Edition
- -
- ISBN/ISSN
- 978-981-287-868-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Mobile Networks for Biometric Data Analysis
This book showcases new and innovative approaches to biometric data capture and analysis, focusing especially on those that are characterized by non-intrusiveness, reliable prediction algorithms, and high user acceptance. It comprises the peer-reviewed papers from the international workshop on the subject that was held in Ancona, Italy, in October 2014 and featured sessions on ICT for health ca…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-39698-9
- Collation
- IX, 323
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- -
The Semantic Web - ISWC 2015
The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discus…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25007-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Mobile Networks and Management
This book constitutes the post-proceedings of the 7th International Conference on Mobile Networks and Management, MONAMI 2015, held in Santander, Spain, in September 2015. The 16 full papers were carefully reviewed and selected from 24 submissions. In addition there appears one short and 5 invited papers. These are organized thematically in five parts starting with Cellular Network Management …
- Edition
- -
- ISBN/ISSN
- 978-3-319-26924-5
- Collation
- XI, 294
- Series Title
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- Call Number
- -
Migration in the Age of Genocide
This book presents a novel proposal for establishing justice and social harmony in the aftermath of genocide. It argues that justice should be determined by the victims of genocide rather than a detached legal system, since such a form of justice is more consistent with a socially grounded ethics, with a democracy that privileges citizen decision-making, and with human rights. The book covers …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21848-9
- Collation
- XIV, 216
- Series Title
- Migration, Minorities and Modernity
- Call Number
- -
Migrating to Swift from Web Development
Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately. After the sho…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIV, 260
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography