This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.;Category theory attrac...
详细信息
ISBN:
(数字)9783540695523
ISBN:
(纸本)9783540634553
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.;Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
This book constitutes the refereed post-conference proceedings of the 13;International Conference on Ad Hoc Networks, ADHOCNETS 2021, held in December 2021, and the 16;International Conference on Tools for Design, Imp...
详细信息
ISBN:
(数字)9783030980054
ISBN:
(纸本)9783030980047
This book constitutes the refereed post-conference proceedings of the 13;International Conference on Ad Hoc Networks, ADHOCNETS 2021, held in December 2021, and the 16;International Conference on Tools for Design, implementation and Verification of Emerging Information Technologies, TRIDENTCOM 2021, held in November 2021. Both conferences were held virtually due to COVID 19 pandemic.;The 15 full papers of ADHOCNETS 2021 were selected from 29 submissions and cover a variety of network paradigms including ad hoc networks (MANETs), wireless sensor networks (WSNs), vehicular ad hoc networks (Vanets), airborne networks, underwater networks, underground networks, personal area networks, and home networks, etc. It promises a wide range of applications in civilian, commercial, and military areas.;The 18 full papers were selected from 47 submissions and deal the emerging technologies such as;and
This volume constitutes the refereed proceedings of the 8th Workshop on Engineering Applications, WEA 2021, held in Medellín, Colombia, in October 2021. Due to the COVID-19 pandemic the conference was h...
详细信息
ISBN:
(数字)9783030867027
ISBN:
(纸本)9783030867010
This volume constitutes the refereed proceedings of the 8th Workshop on Engineering Applications, WEA 2021, held in Medellín, Colombia, in October 2021. Due to the COVID-19 pandemic the conference was held in a hybrid mode.
This book constitutes the refereed First International Conference on Cryptography, Codes and Cyber Security, I4CS 2022, held in Casablanca, Morocco, during October 27-28, 2022.;The 4 full papers and 3 invited pa...
详细信息
ISBN:
(数字)9783031232015
ISBN:
(纸本)9783031232008
This book constitutes the refereed First International Conference on Cryptography, Codes and Cyber Security, I4CS 2022, held in Casablanca, Morocco, during October 27-28, 2022.;The 4 full papers and 3 invited papers presented in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as invited papers and contributed papers.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in...
详细信息
ISBN:
(数字)9783540685364
ISBN:
(纸本)9783540648253
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in March 1998. The 13 revised full papers presented have gone through an iterated reviewing process and give a report on the state of the art in the area.
暂无评论