Ebook > Ciencia > Informática > Hardware > Belgacem Ben Hedia & Moez Krichen: Verification and Evaluation of Computer and Communication Systems (ePUB)

Belgacem Ben Hedia & Moez Krichen
Verification and Evaluation of Computer and Communication Systems
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

Soporte

Portada de Belgacem Ben Hedia & Moez Krichen: Verification and Evaluation of Computer and Communication Systems (ePUB)

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECo S 2023, held in Marrakech, Morocco, during October 18-20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.

€56.58

Idioma Inglés ● Formato EPUB ● ISBN 9783031497377 ● Editor Belgacem Ben Hedia & Moez Krichen ● Editorial Springer Nature Switzerland ● Publicado 2023 ● Descargable 3 veces ● Divisa EUR ● ID 9292813 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Belgacem Ben Hedia Moez Krichen Yassine Maleh

3.563 Ebooks en esta categoría

Portada de Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Portada de Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

The text highlights a comprehensive survey that focuses on all security aspects and challenges facing the Internet of Things systems, including outsourcing techniques for partial computations on edge …

Portada de Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

This book addresses the security challenges facing the rapidly growing Internet of Things (Io T) industry, including the potential threats and risks arising from its complex architecture. The authors …

Portada de ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

Hard drives and disk management receive scant attention from the industry press, yet recent surveys have identified disk failure as the #1 source of server downtime. Combine this fact with the skyroc …

Portada de Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and service …

Portada de M.H Beilby: Scientific Programmer''s Toolkit

M.H Beilby: Scientific Programmer»s Toolkit

The Scientific Programmer»s Toolkit: Turbo Pascal Edition presents a complete software environment for anyone writing programs in mathematical, engineering, or science areas. This toolkit package is …

Portada de F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

Written by ten leading experts in the field, Optical Computing cover topics such as optical bistability, optical interconnects and circuits, photorefractive devices, spatial light modulators, …

Portada de Agus Kurniawan: Internet of Things Projects with ESP32

Agus Kurniawan: Internet of Things Projects with ESP32

Create and program Internet of Things projects using the Espressif ESP32. Key Features

Getting to know the all new powerful EPS32 boards and build interesting Internet of Things projects …

Portada de Kornel Terplan: Intranet Performance Management

Kornel Terplan: Intranet Performance Management

To avoid serious bottlenecks, components of the Internet and of intranets-such as servers, browsers, and the access networks-must be properly designed, implemented, managed, and monitored. Beginning …

Portada de Hans-Jurgen Schonig: Mastering PostgreSQL 12

Hans-Jurgen Schonig: Mastering PostgreSQL 12

Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features

Grasp advanced Postgr …

siguiente página >>>