Electronic Books

Total Books: 201 - 220 /229

Testing of Construction Materials / Bahurudeen A, P V P Moorthi

Provides an understanding of peer-reviewed international construction materials and their testing methods in a simplified ...

Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

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 : 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 Basel II Risk Parameters

The focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...

The Bayesian Choice : From Decision-Theoretic Foundations to Computational Implementation

This book covers both the basic ideas of statistical theory, and also some of the more modern and advanced topics of Bayesian ...

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 Definitive Guide to MySQL 5

This is the first book to offer in-depth instruction about the new features of the world's most popular open source database ...

The Future of Software Quality Assurance

This book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...

The Governing-Evaluation-Knowledge Nexus

This book analyses the interplay between governing, evaluation and knowledge with an empirical focus on Swedish higher education. ...

The Moral, Social, and Commercial Imperatives of Genetic Testing and Screening

This is a dynamic book that successfully combines global and local thinking with regard to an emerging technology that will ...

The Robosapien Companion

The book functions as both a practical user guide and an interesting read about the theory behind the machine: BEAM robotics ...

The Testing Network : An Integral Approach to Test Activities in Large Software Projects

"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...

Theoretical and Practical Advances in Computer-based Educational Measurement

Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...

Theory and Applications of Satisfiability Testing (vol. # 3542)

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

Theory and Applications of Satisfiability Testing (vol. # 3569)

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

Theory and Applications of Satisfiability Testing - SAT 2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Trustworthy Global Computing

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...

Total Books: 201 - 220 /229