Electronic Books

Total Books: 461 - 480 /540

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...

Spring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...

This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...

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

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

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

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 ...

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

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

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

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

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

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

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

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

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

Total Books: 461 - 480 /540