Electronic Books

Total Books: 541 - 560 /617

Supercomputing

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...

Systems Engineering of Software-Enabled Systems / Richard E. Fairley

Presents an approach to developing software-enabled systems that integrates the incremental approach used by systems engineers ...

Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Taking Your iPod touch to the Max

Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

TestGoal : Result-Driven Testing

TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

The Best Software Writing I

Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...

The Common Component Modeling Example : Comparing Software Component Models

The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...

The Definitive Guide to Apache MyFaces and Facelets

The Definitive Guide to Apache MyFaces and Facelets is an ideal reference if you're looking to develop real–world applications ...

The Definitive Guide to Django : Web Development Done Right

Django, the Python–based equivalent to the Ruby on Rails web development framework, is hottest topics in web development. ...

The Definitive Guide to Terracotta : Cluster the JVM™ for Spring, Hibernate, and POJO Scalability

Get the definitive guide on all the fundamentals of Terracotta as well as user secrets, recipes, and prepackaged frameworks. Written ...

The Developers Guide to Debugging

"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...

The Essence of Software Engineering

This book includes contributions by leading researchers and industry thought leaders on various topics related to the essence ...

Total Books: 541 - 560 /617