Electronic Books

Total Books: 12/150
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Read more
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Read more
978-0-387-22690-3
Ad Hoc Networks

Ad Hoc Networks: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network ...

Read more
978-3-540-37248-6
Ad-Hoc, Mobile, and Wireless Networks (vol. # 4104)

The 5th International Conference on Adhoc, Mobile and Wireless Networks (Adhoc-Now 2006) was held during August 17–19, ...

Read more
978-3-540-85209-4
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...

Read more
978-3-030-63119-2
Advances in Computational Collective Intelligence : 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings

This book constitutes refereed proceedings of the 12th International Conference on International Conference on Computational ...

Read more
978-3-030-82472-3
Advances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings

This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS ...

Read more
978-3-030-85987-9
Advances in Information and Computer Security

This book constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, ...

Read more
978-3-030-74251-5
Advances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings

This book constitutes the proceedings of the 19th International Symposium on Intelligent Data Analysis, IDA 2021, which was ...

Read more
978-3-030-57997-5
Advances in Production Management Systems. Towards Smart and Digital Manufacturing

Part II: the Operator 4.0: new physical and cognitive evolutionary paths; digital transformation approaches in production ...

Read more
978-981-33-4706-9
Applications and Techniques in Information Security : 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information ...

Read more
978-3-030-56574-9
Applications and Usability of Interactive TV : 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers

This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive ...

Read more
Total Books: 12/150