Electronic Books

Total Books: 1361 - 1380 /1538

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 ...

Systems, Control, Modeling and Optimization

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

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Taking Your iPod touch to the Max

Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...

Taxonomies for the Development and Verification of Digital Systems

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...

Technical Translation

This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

Technology Enhanced Learning

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

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

TestGoal : Result-Driven Testing

TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...

Testing Commercial-off-the-Shelf Components and Systems

Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...

Testing of Communicating Systems (vol. # 3502)

This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

Total Books: 1361 - 1380 /1538