Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Continue reading
Time Domain Methods in Electrodynamics
This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...
Continue reading
Time-Dependent Scheduling
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Continue reading
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
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
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue readingTools 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 ...
Continue readingTools 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 ...
Continue reading
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 ...
Continue reading
Total Chemical Synthesis of Proteins / Ashraf Brik
This important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...
Continue reading
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 ...
Continue reading
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
Ultrathin Magnetic Structures I
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Continue reading
Ultrathin Magnetic Structures II
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
