Software Development category: 2585 books
by Chris Eagle
Language: English
Release Date: July 11, 2011
Language: English
Release Date: July 11, 2011
No source code? No problem. With IDA Pro, the interactive disassembler, you live in a source code-optional world. IDA can automatically analyze the millions of opcodes that make up an executable and present you with a disassembly. But at that point, your work is just beginning. With The IDA Pro Book,...
by Atif Memon
Language: English
Release Date: February 27, 2013
Language: English
Release Date: February 27, 2013
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal...
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Language: English
Release Date: July 11, 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials...
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Language: English
Release Date: July 13, 2015
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed...
by Nguyễn Hồng Quân
Language: English
Release Date: July 26, 2013
Language: English
Release Date: July 26, 2013
Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. This is a practical, hands-on guide that helps you code efficiently.Instant Geany IDE is for software developers, programmers, and coders who need to...
Continuous API Management
Making the Right Decisions in an Evolving Landscape
Language: English
Release Date: November 14, 2018
A lot of work is required to release an API, but the effort doesn’t always pay off. Overplanning before an API matures is a wasted investment, while underplanning can lead to disaster. This practical guide provides maturity models for individual APIs and multi-API landscapes to help you invest the...
Learn OpenGL ES
For Mobile Game and Graphics Development
Language: English
Release Date: September 24, 2013
Want to create sophisticated games and graphics-intensive apps? Learn OpenGL ES gets you started immediately with OpenGL ES. After mastering the basics of OpenGL ES itself, you will quickly find yourself writing and building game apps, without having to learn about object oriented programming techniques.
This...
Programming Languages and Systems
14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Language: English
Release Date: October 10, 2016
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.
The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and...
Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers
Language: English
Release Date: February 27, 2015
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...
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Language: English
Release Date: June 20, 2016
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected...
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Language: English
Release Date: February 2, 2016
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed...
by
Language: English
Release Date: May 17, 2011
Language: English
Release Date: May 17, 2011
This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. Each volume contains 5 to 7 chapters, and 3 volumes are produced annually. Most chapters present an overview of a current subfield within computer science, including...
Embedded Computing Systems
Applications, Optimization, and Advanced Design
Language: English
Release Date: April 30, 2013
Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications,...
Autonomic Computing
Principles, Design and Implementation
Language: English
Release Date: May 13, 2013
This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader to rapidly gain an understanding of the theories, models, design principles and challenges of this subject while building upon their current...