Electronic Books

Total Books: 381 - 400 /414
NoIMG
The Dynamics of Opportunity in America : Evidence and Perspectives

The goal of Educational Testing Service’s Opportunity in America initiative is to explore these powerful dynamics and to ...

Continue reading
978-3-030-00578-8
The Everyday Life of an Algorithm

This book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance ...

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-3-540-71227-5
The Method of Approximate Inverse: Theory and Applications

Inverse problems arise whenever one tries to calculate a required quantity from given measurements of a second quantity that ...

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
NoIMG
The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin

This book is focused on the challenges to implement sustainability in diverse contexts such as agribusiness, natural resource ...

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-540-31862-0
Theoretical Aspects of Computing - ICTAC 2004

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

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-540-72788-0
Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Continue reading
978-3-540-79719-7
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Continue reading
978-3-030-56514-5
Therapeutic Lipidology

The chapters focus on recent advances in the field including novel biomarkers and the microbiome, genomics of cardiovascular ...

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
NoIMG
Towards Resilient Organizations and Societies : A Cross-Sectoral and Multi-Disciplinary Perspective

This book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...

Continue reading
Total Books: 381 - 400 /414