Electronic Books

Total Books: 541 - 560 /566

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

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

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

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

Topics and Methods in Condensed Matter Theory

In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...

Total Chemical Synthesis of Proteins / Ashraf Brik

This important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...

Transactions on High-Performance Embedded Architectures and Compilers I

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Ultrashort Laser Pulses in Biology and Medicine

Sources of ultrashort laser pulses are nowadays commercially available and have entered many areas of research and development. ...

Ultrathin Magnetic Structures I

The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...

Ultrathin Magnetic Structures II

The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...

Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...

Understanding Acoustics An Experimentalist’s View of Sound and Vibration

This textbook, like Rayleigh’s classic Theory of Sound, focuses on experiments and on approximation techniques rather than ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Vertical Scar Mammaplasty

Over the past decade vertical scar mammaplasty has gained wide popularity amongst surgeons and patients because it stands ...

Virtual Reality

This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...

Visualizing the Semantic Web

This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...

Waxing for Dental Students / Rowida Abdalla

Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...

Wideband Amplifiers

This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...

Total Books: 541 - 560 /566