Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Comprend des livres numériques
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Obtenez 1 crédit chaque mois pour le livre audio de votre choix
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Comprend des livres numériques
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.
  
  Précommander
  1 livre audio par mois
  
  + Essai GRATUIT de 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Aucun engagement. Résiliez votre abonnement à tout moment.
  
  GRATUIT

articlesarticle

Comprend des livres numériques

Comprend les livres audio

Comprend 30 heures d'écoute

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Obtenez 1 crédit chaque mois pour le livre audio de votre choix

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Comprend des livres numériques

Comprend les livres audio

Comprend 30 heures d'écoute

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.

Précommander
1 livre audio par mois

+ Essai GRATUIT de 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Aucun engagement. Résiliez votre abonnement à tout moment.

GRATUIT

Recommandé pour vous

Skip side bar filters

Managing Distributed Dynamic Systems with Spatial Grasp Technology

par Peter Simon Sapaty ...

Collections series Engineering (R0)
The book describes a novel ideology and supporting information technology for integral management of both civil and defence-orientated large, distributed dynamic systems. The approach is based on a high-level Spatial Grasp Language, SGL, expressing solutions in physical, virtual, executive and combined environments in the form of active self-evolving and self-propagating patterns spatially ... En savoir plus

$115.99 CAD

The book describes a novel ideology and supporting information technology for integral management of both civil and defence-orientated large, distributed dynamic systems. The approach is based on a high-level Spatial Grasp Language, SGL, expressing solutions in physical, virtual, executive and combined environments in the form of active self-evolving and self-propagating patterns spatially
... En savoir plus

The Pattern On The Stone

The Simple Ideas That Make Computers Work

par W. Daniel Hillis ...

Most people are baffled by how computers work and assume that they will never understand them. What they don't realize -- and what Daniel Hillis's short book brilliantly demonstrates -- is that computers' seemingly complex operations can be broken down into a few simple parts that perform the same simple procedures over and over again. Computer wizard Hillis offers an easy-to-follow explanation of ... En savoir plus

$16.99 CAD

Aussi disponible en : Livre audio

Most people are baffled by how computers work and assume that they will never understand them. What they don't realize -- and what Daniel Hillis's short book brilliantly demonstrates -- is that computers' seemingly complex operations can be broken down into a few simple parts that perform the same simple procedures over and over again. Computer wizard Hillis offers an easy-to-follow explanation of
... En savoir plus

Aussi disponible en : Livre audio
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Modifié par Shuvendu K. Lahiri, Chao Wang ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... En savoir plus

Gratuit

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... En savoir plus
Formal Methods for Industrial Critical Systems

A Survey of Applications

par Stefania Gnesi, Tiziana Margaria ...

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of ... En savoir plus

$97.99 CAD

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of
... En savoir plus
Retrogame Archeology

Exploring Old Computer Games

par John Aycock ...

Collections series Computer Science (R0)
Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing power, rudimentary tools, and the lack of homogeneous environments.Using examples from over 100 retrogames, this book examines the clever implementation tricks that game designers employed ... En savoir plus

$179.99 CAD

Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing power, rudimentary tools, and the lack of homogeneous environments.Using examples from over 100 retrogames, this book examines the clever implementation tricks that game designers employed
... En savoir plus
Intelligent Control Systems with an Introduction to System of Systems Engineering

par Thrishantha Nanayakkara, Ferat Sahin, Mo Jamshidi ...

Collections series System of Systems Engineering
From aeronautics and manufacturing to healthcare and disaster management, systems engineering (SE) now focuses on designing applications that ensure performance optimization, robustness, and reliability while combining an emerging group of heterogeneous systems to realize a common goal.Use SoS to Revolutionize Management of Large Organizations, Factories, and Systems Intelligent Control Systems ... En savoir plus

$331.99 CAD

From aeronautics and manufacturing to healthcare and disaster management, systems engineering (SE) now focuses on designing applications that ensure performance optimization, robustness, and reliability while combining an emerging group of heterogeneous systems to realize a common goal.Use SoS to Revolutionize Management of Large Organizations, Factories, and Systems Intelligent Control Systems
... En savoir plus
Algorithms and Networking for Computer Games

par Jouni Smed, Harri Hakonen ...

The essential guide to solving algorithmic and networking problems in commercial computer games, revised and extendedAlgorithms and Networking for Computer Games, Second Edition is written from the perspective of the computer scientist. Combining algorithmic knowledge and game-related problems, it explores the most common problems encountered in game programing.The first part of the book presents ... En savoir plus

$105.99 CAD

The essential guide to solving algorithmic and networking problems in commercial computer games, revised and extendedAlgorithms and Networking for Computer Games, Second Edition is written from the perspective of the computer scientist. Combining algorithmic knowledge and game-related problems, it explores the most common problems encountered in game programing.The first part of the book presents
... En savoir plus
Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Modifié par Cyrille Artho, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification;
... En savoir plus
Artificial Intelligence Technology

par Huawei Technologies Co., Ltd. ...

Collections series Computer Science (R0)
This open access book aims to give our readers a basic outline of today’s research and technology developments on artificial intelligence (AI), help them to have a general understanding of this trend, and familiarize them with the current research hotspots, as well as part of the fundamental and common theories and methodologies that are widely accepted in AI research and application. This book is ... En savoir plus

Gratuit

This open access book aims to give our readers a basic outline of today’s research and technology developments on artificial intelligence (AI), help them to have a general understanding of this trend, and familiarize them with the current research hotspots, as well as part of the fundamental and common theories and methodologies that are widely accepted in AI research and application. This book is
... En savoir plus
Encyclopedia of Computer Science and Technology

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation

Modifié par Allen Kent, James G. Williams ...

Collections series Computer Science and Technology Encyclopedia
Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries. ... En savoir plus

$81.99 CAD

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries.
... En savoir plus
Ad-hoc, Mobile, and Wireless Networks

14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

Modifié par Symeon Papavassiliou, Stefan Ruehrup ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2015, held in Athens, Greece in June/July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 3 full-paper invited talks. The contributions are organized in topical sections named: routing, connectivity, ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 14th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2015, held in Athens, Greece in June/July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 3 full-paper invited talks. The contributions are organized in topical sections named: routing, connectivity,
... En savoir plus
Advances in Information and Computer Security

11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings

Modifié par Kazuto Ogawa, Katsunari Yoshioka ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on Security, IWSEC 2016, held in Tokyo, Japan, in September 2016. The 15 regular papers and 4 short papers presented in this volume were carefully reviewed and selected from 53 submissions. They were organized in topical sections named: system security; searchable encryption; cryptanalysis; permutation and symmetric ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 11th International Workshop on Security, IWSEC 2016, held in Tokyo, Japan, in September 2016. The 15 regular papers and 4 short papers presented in this volume were carefully reviewed and selected from 53 submissions. They were organized in topical sections named: system security; searchable encryption; cryptanalysis; permutation and symmetric
... En savoir plus

Liseuses

Applis

Accessoires

Qu'est ce que les Kobo Super Points ?

Faites-vous plaisir

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Engineering (R0) Série de Livres électroniques

Managing Distributed Dynamic Systems with Spatial Grasp Technology

Les lecteurs de ce roman ont aussi aimé

The Pattern On The Stone

Computer Aided Verification

Formal Methods for Industrial Critical Systems

Retrogame Archeology

Intelligent Control Systems with an Introduction to System of Systems Engineering

Algorithms and Networking for Computer Games

Formal Techniques for Safety-Critical Systems

Artificial Intelligence Technology

Encyclopedia of Computer Science and Technology

Ad-hoc, Mobile, and Wireless Networks

Advances in Information and Computer Security

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Engineering (R0) Série de Livres électroniques

Afficher :

Les lecteurs de ce roman ont aussi aimé