Filter by
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
- -
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- VIII, 220
- Series Title
- -
- Call Number
- -
Using the C++ Standard Template Libraries
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0004-9
- Collation
- XXV, 489
- Series Title
- -
- Call Number
- -
Agile Project Management: Managing for Success
Management and enables them to deal with the demands and complexities of modern, agile systems/software/hardware development teams. The book examines the project/program manager beyond the concepts of leadership and aims to connect to employees' sense of identity. The text examines human psychological concepts such as “locus of control,” which will help the manager understand their team mem…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-09018-4
- Collation
- VIII, 72
- Series Title
- -
- Call Number
- 005.1 CRO a
Agile Product Development: How to Design Innovative Products That Create Cust…
Shows you what it takes to develop products that blow your users away—and take market share from your competitors. This book will explain how the principles behind agile product development help designers, developers, architects, and product managers create awesome products; and how to look beyond a shiny user interface to build a great product. Most importantly, this book will give you a sha…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-1067-3
- Collation
- XVI, 186
- Series Title
- -
- Call Number
- 005.1 VAR a
Agile Processes in Software Engineering and Extreme Programming: 16th Interna…
This book contains the refereed proceedings of the 16th International Conference on Agile Software Development, XP 2015, held in Helsinki, Finland, in May 2015. While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. The XP conference series has always played, and cont…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-18612-2
- Collation
- XVII, 376
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 005.1 AGI a
Agile Performance Improvement: The New Synergy of Agile and Human Performance…
"1+1=3. That is the equation that summarizes the theme of this book. The book’s message is to integrate the developmental principles of Agile with the result-focused approaches integral to performance consulting. Your outcomes in shaping human performance will be significant--and greater than if you only used one of these models. This is a book for anyone who seeks to work collaboratively wit…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-0892-2
- Collation
- XV, 241
- Series Title
- -
- Call Number
- 005.1 WIN a
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Ma…
This volume contains the technical papers presented in the four high-quality workshops associated with the European Conference on Service-Oriented and Cloud Computing, ESOCC 2014, held in Manchester, UK, in September 2014: 4th International Workshop on Adaptive Services for the Future Internet, WAS4FI 2014, 2nd International Workshop on Cloud for IoT, CLIoT 2014, 2nd International Workshop on C…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-14886-1
- Collation
- XI, 287
- Series Title
- Communications in Computer and Information Science
- Call Number
- 004.6 ADV a
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- Collation
- 26 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography