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 ...
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
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 ...
Lire la suite
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 ...
Lire la suite
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suite
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 ...
Lire la suite
Ubiquitous Communications and Network Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
Lire la suite
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lire la suite
Web and Wireless Geographical Information Systems
his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...
Lire la suite
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 ...
Lire la suite
Wireless Internet
This book constitutes the refereed post-conference proceedings of the 12th International Conference on Wireless Internet, ...
Lire la suite
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 ...
Lire la suite
e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
Lire la suite
