Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lee mas
Security of Networks and Services in an All-Connected World
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lee mas
Sensors : Advancements in Modeling, Design Issues, Fabrication and Practical Applications
Sensors are the most important component in any system and engineers in any field need to understand the fundamentals of ...
Lee mas
Sequence Analysis and Modern C++ : The Creation of the SeqAn3 Bioinformatics Library / Hannes Hauswedell
Every developer who previously worked with C++ will enjoy the in-depth chapter on important changes in the language from ...
Lee mas
Signal Processing for Telecommunications and Multimedia
The unprecedented growth in the range of multimedia services offered today by modern telecommunication systems, is possible ...
Lee masSimulation of Semiconductor Processes and Devices 2007
The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and ...
Lee masSmart Buildings Digitalization : Case Studies on Data Centers and Automation / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban
Explains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. ...
Lee masSmart Buildings Digitalization : IoT and Energy Efficient Smart Buildings Architecture and Applications / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban
Discusses various artificial intelligence and machine learning applications concerning smart buildings. It includes how renewable ...
Lee mas
Smart Graphics (vol. # 3638)
Constitutes the refereed proceedings of the 5th International Symposium on Smart Graphics, SG 2005, held in Frauenworth Cloister, ...
Lee mas
Social Capital and Business Development in High-Technology Clusters
The economics of regional clusters, where business formation, technological innovation, and the emergence of a highly-skilled ...
Lee mas
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Lee mas
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
Lee mas
Sourcing Strategy
Sourcing Strategy is about sourcing as a long term strategic activity. Myopic purchasing management stops short with describing ...
Lee masSport and Public Health / Wissam aitouni ; Ola Al Masri ; Maha Al Hassan ; Dana Al Ebrahem
What Is the Importance of Sports in Our Lives? Physical Benefits of Sports. Playing sports can make you stronger and healthier, ...
Lee mas
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lee mas
Stochastic Modeling of Manufacturing Systems
This volume is devoted to the development of analytical methods aiming at responding to variability in a way that limits ...
Lee mas
Strand Corrosion in Prestressed Concrete Structures / Lei Wang
Focuses on the durability problems of existing prestressed concrete (PC) structures caused by strand corrosion, clarifies ...
Lee mas
Strategic Human Resource Development in Practice : Leveraging Talent for Sustained Performance in the Digital Age of AI / Lyle Yorks
Examines human resource development (HRD) strategy as a learning process, connecting learning and adult development with ...
Lee mas
Strategic Retail Management
This is not a traditional textbook or collection of case studies, but is intended to demonstrate the complex and manifold ...
Lee mas
Strategies and Tactics in Supply Chain Event Management
This book gives unique insights into the Supply Chain Event Management (SCEM) of world-leading companies. Aims, methods, ...
Lee mas
