E-kitap > Bilim > Bilgisayar Bilimi > Donanım > Byron Cook & Paul Jackson: Computer Aided Verification (PDF)

Byron Cook & Paul Jackson
Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Destek

Örtmek Byron Cook & Paul Jackson: Computer Aided Verification (PDF)

€111.68

Dil İngilizce ● Biçim PDF ● ISBN 9783642142956 ● Editör Byron Cook & Paul Jackson ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2010 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6321406 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Byron Cook Paul Jackson Tayssir Touili

3.562 Bu kategorideki e-kitaplar

Örtmek Edgardo Peregrino: Cloud-Powered Robotics with Raspberry Pi

Edgardo Peregrino: Cloud-Powered Robotics with Raspberry Pi

Embrace the transformative power of cloud robotics with Cloud-Powered Robotics with Raspberry Pi, your ultimate guide to building and deploying intelligent robotic applications using cutting-edge Dev …

Örtmek Pankaj Sabharwal: Multi-Cloud Automation with Ansible

Pankaj Sabharwal: Multi-Cloud Automation with Ansible

Across the modern IT landscape, managing infrastructure across diverse cloud platforms has become a formidable task. Ansible, a robust open-source automation tool, emerges as the ultimate weapon in …

Örtmek Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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, …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Sonraki Sayfa >>>