Catalog > Science > Technique > Electronique, Electrotechnique, Télécommunications > Robert Mark Hierons & Mohamed Mosbah: Theoretical Aspects of Computing - ICTAC 2019 (ePUB)

Robert Mark Hierons & Mohamed Mosbah
Theoretical Aspects of Computing – ICTAC 2019 [EPUB ebook]
16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Support

Couverture du Robert Mark Hierons & Mohamed Mosbah: Theoretical Aspects of Computing - ICTAC 2019 (ePUB)

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.

€57.99

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783030325053 ● Éditeur Robert Mark Hierons & Mohamed Mosbah ● Maison d’édition Springer International Publishing ● Publié 2019 ● Téléchargeable 3 fois ● Devise EUR ● ID 7279408 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Robert Mark Hierons Mohamed Mosbah

18 612 Ebooks dans cette catégorie

Couverture du Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Couverture du Edmond J. Murphy: Integrated Optical Circuits and Components

Edmond J. Murphy: Integrated Optical Circuits and Components

Updates the advancements made in the level of achievable integration of optical circuits and components in the last ten years–highlighting the commercial success of particular devices as well as int …

Couverture du Information Resources Management Association: Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications

Couverture du Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

The objective of this edited book is to share the outcomes from various research domains to develop efficient, adaptive, and intelligent models to handle the challenges related to decision making. It …

Couverture du Catalin Buiu & Andrei George Florea: Membrane Computing for Distributed Control of Robotic Swarms: Emerging Research and Opportunities

Catalin Buiu & Andrei George Florea: Membrane Computing for Distributed Control of Robotic Swarms: Emerging Research and Opportunities

Couverture du S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

Couverture du Rui Dinis & Paulo Montezuma: Frequency-Domain Receiver Design for Doubly Selective Channels

Rui Dinis & Paulo Montezuma: Frequency-Domain Receiver Design for Doubly Selective Channels

Frequency-Domain Receiver Design for Doubly-Selective Channels discusses broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and ce …

Couverture du Soubhagya Sankar Barpanda & Anupama Namburu: Recent Advances in Computer Based Systems, Processes and Applications

Soubhagya Sankar Barpanda & Anupama Namburu: Recent Advances in Computer Based Systems, Processes and Applications

This was the first conference organized by the school of Computer Science Engineering in VIT-AP University campus with the cumulative efforts of all the faculty members. The proceedings discusses rec …

Couverture du Kamaljit I. Lakhtaria: Next Generation Wireless Network Security and Privacy

Kamaljit I. Lakhtaria: Next Generation Wireless Network Security and Privacy

Couverture du Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Page suivante >>>