Tools for Design, Implementation and Verification of Emerging Information Technologies
Language: en
Pages: 179
Authors: Jianghua Liu
Categories: Computers
Type: BOOK - Published: 2024-01-04 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of
Tools for Design, Implementation and Verification of Emerging Information Technologies
Language: en
Pages: 169
Authors: Shui Yu
Categories: Computers
Type: BOOK - Published: 2023-06-16 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed post-conference proceedings of the 17th EAI International Conference on Tools for Design, Implementation and Verification of
Tools for Design, Implementation and Verification of Emerging Information Technologies
Language: en
Pages: 159
Authors: Yu Weng
Categories: Computers
Type: BOOK - Published: 2021-05-21 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Tools for Design, Implementation and Verification of
Ad Hoc Networks and Tools for IT
Language: en
Pages: 333
Authors: Wei Bao
Categories: Computers
Type: BOOK - Published: 2022-03-26 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed post-conference proceedings of the 13th International Conference on Ad Hoc Networks, ADHOCNETS 2021, held in December 2021, a
Federal Plan for Cyber Security and Information Assurance Research and Development
Language: en
Pages: 140
Authors: National Science and Technology Council (U.S.) Interagency Working Group on Cyber Security and Information Assurance
Categories: Computer networks
Type: BOOK - Published: 2006 - Publisher:

GET EBOOK