Special Topics in Information Technology
This book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
اقرأ المزيد
Speech Separation by Humans and Machines
the ability to focus on one voice in a sea of noises - is a highly sophisticated skill that is usually effortless to listeners ...
اقرأ المزيد
Speech-to-Speech Translation
This book provides the readers with retrospective and prospective views with detailed explanations of component technologies, ...
اقرأ المزيد
Spies, Lies, And Algorithms: The History And Future Of American Intelligence / Amy B. Zegart
Spying has never been more ubiquitous—or less understood. The world is drowning in spy movies, TV shows, and novels, but ...
اقرأ المزيد
Spoken Multimodal Human-Computer Dialogue in Mobile Environments
This book is based on publications from the ISCA Tutorial and Research Workshop on Multi-Modal Dialogue in Mobile Environments ...
اقرأ المزيد
Sport Aerodynamics
This book describes the various sport disciplines on the basis of aerodynamic analysis and also cover the biomechanics part ...
اقرأ المزيد
Stability and Optimization of Structures
Stability and Optimization of Structures: Generalized Sensitivity Analysis is the first book to address issues of structural ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
اقرأ المزيد
Standardized Functional Verification
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
اقرأ المزيد
Starting Out with C++ from Control Structures through Objects / Tony Gaddis
covers control structures, functions, arrays, and pointers before objects and classes in Tony Gaddis’s hallmark accessible, ...
اقرأ المزيد
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
اقرأ المزيد
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
اقرأ المزيد
Static Analysis (vol. # 4134)
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
اقرأ المزيد
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
Statistical Analysis and Optimization for VLSI: Timing and Power
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
اقرأ المزيد
Statistical Language and Speech Processing
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
اقرأ المزيد
