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 ...
Lire la suite
Targeted Cancer Therapy
In the era of personalized medicine, cancer treatment has become a model for the use of targeted therapeutics. Leaving behind ...
Lire la suite
The Designers Guide to High-Purity Oscillators
The Designer's Guide to High-Purity Oscillators presents a comprehensive theory and design methodology for the design of ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suite
Tumeurs endocrines thoraciques et digestives = Thoracic and digestive endocrine tumors
There is little literature on digestive and thoracic endocrine tumors. The complexity of their management, often entrusted ...
Lire la suite
VLSI-Design of Non-Volatile Memories
VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...
Lire la suite
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suiteWaves in Nonlinear Pre-Stressed Materials
The papers in this book provide a unique state-of-the-art multidisciplinary overview on the subject of waves in pre-stressed ...
Lire la suite
