Electronic Books

Total Books: 261 - 280 /293
978-1-4020-8088-3
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 ...

Continue reading
978-0-387-36495-7
SystemVerilog for Design

SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...

Continue reading
978-0-387-27038-8
SystemVerilog for Verification

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

Continue reading
978-3-030-56441-4
Systems, Software and Services Process Improvement

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

Continue reading
978-0-387-24021-3
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 ...

Continue reading
978-3-030-50995-8
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Continue reading
978-3-030-00578-8
The Everyday Life of an Algorithm

This book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance ...

Continue reading
978-1-4020-4615-5
The Fernow Watershed Acidification Study

The Fernow Watershed Acidification Study is a long-term, paired watershed acidification study, undertaken in the central ...

Continue reading
978-0-387-78145-7
The International Space Station : Building for the Future

A comprehensive, highly readable account of complex, technical, political and human endeavor and a worthy successor to Creating ...

Continue reading
978-3-540-78731-0
The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings

This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...

Continue reading
978-1-4020-8474-4
The Legacies of Richard Popkin

Richard H. Popkin (1923-2005) transformed the study of the history of philosophy in the second half of the twentieth century. ...

Continue reading
978-1-4020-8541-3
The Lucky Few : Between the Greatest Generation and the Baby Boom

Born during the Great Depression and World War Two (1929 – 1945) - between the Greatest Generation and the Baby Boom - ...

Continue reading
978-1-84628-202-7
The Quintessential PIC® Microcontroller

The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...

Continue reading
978-3-540-74017-9
The University Department of Psychiatry in Munich : From Kraepelin and his predecessors to molecular psychiatry

The building history of the Munich clinic substantiates the developments in psychiatry during the past 100 years; but sole ...

Continue reading
978-3-540-78767-9
Theory and Simulation of Hard-Sphere Fluids and Related Systems

Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...

Continue reading
978-3-7643-7582-9
Theory of Function Spaces III

This book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...

Continue reading
978-3-030-24517-7
Tissue Engineering in Oral and Maxillofacial Surgery

This book provides a thorough, up-to-date description of the scientific basis and concepts of tissue engineering in the oral ...

Continue reading
978-3-030-45190-5
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
978-3-030-45237-7
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
978-3-030-72016-2
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
Total Books: 261 - 280 /293