Electronic Books

Total Books: 401 - 420 /421

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

Tools and Algorithms for the Construction and Analysis of Systems

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...

Tools 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 I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

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

Transactions on Computational Science XXXVII

This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...

Transactions on High-Performance Embedded Architectures and Compilers I

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Transistor Level Modeling for Analog

The editors and authors present a wealth of knowledge regarding the most relevant aspects in the field of MOS transistor ...

Trust, Privacy and Security in Digital Business

This book constitutes the refereed proceedings of the 17th International Conference on Trust, Privacy and Security in Digital ...

Trusted Computing Platforms

Trusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, ...

UML for SOC Design

The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...

Ubiquitous Communications and Network Computing

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...

Ultrascale Computing Systems

The needs of future digital data and computer systems are expected to be two to three orders of magnitude larger than for ...

Unconventional Programming Paradigms

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...

Visual Information and Information Systems

Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...

Web Content Delivery

The concept of content delivery has become increasingly more important due to rapidly growing demands for efficient distribution ...

Web and Wireless Geographical Information Systems

his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...

Wireless Ad Hoc and Sensor Networks

Wireless Ad Hoc and Sensor Networks: A Cross-Layer Design Perspective deals with the emerging design trend that transcends ...

Wireless Internet

This book constitutes the refereed post-conference proceedings of the 12th International Conference on Wireless Internet, ...

e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I

This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...

Total Books: 401 - 420 /421