Electronic Books

Total Books: 1381 - 1400 /1575

Super-Recursive Algorithms

New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...

Supercomputing

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...

Supercomputing Frontiers

This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...

Supply Chain Management on Demand

During the last years, the competitive pressures and short product lifecycles have caused many manufacturing and retail companies ...

Supply Chain Management with APO

The Advanced Planner and Optimiser (APO) is the software from SAP dedicated to supply chain management. This book provides ...

Sustainable Design Basics : A methodology for the schematic design of sustainable buildings

An accessible, climate-diverse guide that transforms readers from sustainable design novices to whole-solution problem solvers. ...

Symbolic-Numeric Computation

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the ...

System Analysis and Modeling

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

System Modeling and Optimization (vol. # 199)

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

System Software Reliability

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...

System Verilog for Verification : A Guide to Learning the Testbench Language Features

This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...

System-level Test and Validation of Hardware

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...

SystemC Kernel Extensions for Heterogeneous System Modeling

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...

Systems Analysis and Design in a Changing World / John W. Satzinger, Robert B. Jackson, Stephen D. Burd

Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...

Systems Biology : International Research and Development

Systems biology is defined for the purpose of this study as the understanding of biological network behaviors, and in particular ...

Systems Engineering of Software-Enabled Systems / Richard E. Fairley

Presents an approach to developing software-enabled systems that integrates the incremental approach used by systems engineers ...

Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

Total Books: 1381 - 1400 /1575