Electronic Books

Total Books: 201 - 220 /229
9780367644956
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 ...

Continue reading
978-3-540-73066-8
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 ...

Continue reading
978-3-540-68524-1
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 ...

Continue reading
978-3-540-79124-9
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 ...

Continue reading
978-3-540-33087-5
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 ...

Continue reading
978-0-387-71599-5
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 ...

Continue reading
978-1-4302-0038-3
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 ...

Continue reading
978-1-4302-0071-0
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 ...

Continue reading
978-3-030-29509-7
The Future of Software Quality Assurance

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

Continue reading
978-3-030-21143-1
The Governing-Evaluation-Knowledge Nexus

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

Continue reading
978-1-4020-4619-3
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 ...

Continue reading
978-1-4302-0056-7
The Robosapien Companion

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

Continue reading
978-3-540-78504-0
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 ...

Continue reading
978-3-030-18480-3
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 ...

Continue reading
978-3-540-31580-3
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 ...

Continue reading
978-3-540-31679-4
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 ...

Continue reading
978-3-540-37207-3
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 ...

Continue reading
978-3-030-45190-5
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 ...

Continue reading
978-3-030-45237-7
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 ...

Continue reading
978-3-540-31483-7
Trustworthy Global Computing

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

Continue reading
Total Books: 201 - 220 /229