Електронна книга > Наука > Техніка > Електроніка, електротехніка, телекомунікації > 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

Підтримка

Обкладинка 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783030325053 ● Редактор Robert Mark Hierons & Mohamed Mosbah ● Видавець Springer International Publishing ● Опубліковано 2019 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 7279408 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Robert Mark Hierons Mohamed Mosbah

19 094 Електронні книги в цій категорі

Обкладинка Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Обкладинка Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …

Обкладинка 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 …

Обкладинка Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Обкладинка Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

Обкладинка Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

This book covers the fundamentals in designing and deploying techniques using deep architectures. It is intended to serve as a beginner”s guide to engineers or students who want to have a quick star …

Обкладинка Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Artificial Intelligence (AI) fascinates, challenges and disturbs us. There are many voices in society that predict drastic changes that may come as a consequence of AI – a possible apocalypse or Eden …

Обкладинка S. Kannadhasan & Alagar (KPR Institute of Engineering and Technology, India) Karthick: Intelligent Technologies for Sensors

S. Kannadhasan & Alagar (KPR Institute of Engineering and Technology, India) Karthick: Intelligent Technologies for Sensors

Sensor devices that are flexible and printable have received a lot of interest in recent years. New techniques such as printing and additive manufacturing are being developed to realize a wide range …

Обкладинка Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Обкладинка M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

Наступна сторінка >>>