This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Have an account?Sign in

Communicating Embedded Systems

Software and Design

Claude Jard,Olivier H. Roux

Buy the eBook

$174.99CAD

You are in the Canada store

Not in Canada? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Learn About Price Matching

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781118600092
Release date:Jun 1, 2013
Publisher:Wiley

Imprint:Wiley-ISTE
File format:EPUB2
File size:3.05 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

Computational Number Theory and Modern Cryptography

Song Y. Yan

$114.99

Performance Modeling and Design of Computer Systems

Mor Harchol-Balter

VIP$87.83

An Introduction to Machine Learning

Miroslav Kubat

VIP$58.04

Algebraic Geometry Modeling In Information Theory

Edgar Martinez-moro

VIP$41.39

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

VIP$148.31

Applied Integer Programming

Der-San Chen, Robert G. Batson, Yu Dang

$176.99

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

VIP$270.71

Data Analysis

Gérard Govaert

$193.99

Kernel-based Approximation Methods Using Matlab

Gregory E Fasshauer, Michael J Mccourt

VIP$30.59

Algebraic Codes for Data Transmission

Richard E. Blahut

VIP$82.07

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

VIP$33.02

Cryptographic Boolean Functions and Applications

Pantelimon Stanica, Thomas W. Cusick

VIP$51.11

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

Nello Cristianini, John Shawe-Taylor

VIP$97.19

Simulation-Based Algorithms for Markov Decision Processes

Hyeong Soo Chang, Jiaqiao Hu, Michael C. Fu, Steven I. Marcus

VIP$104.48

Metaheuristic Optimization for the Design of Automatic Control Laws

Guillaume Sandou

$174.99

The Design of Approximation Algorithms

David P. Williamson, David B. Shmoys

VIP$70.55

Fundamentals of Computational Intelligence

James M. Keller, Derong Liu, David B. Fogel

$142.99

Topics in Computational Number Theory Inspired by Peter L. Montgomery

Joppe W. Bos, Arjen K. Lenstra

VIP$137.51

Introduction to HPC with MPI for Data Science

Frank Nielsen

VIP$46.43

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$269.99

The Inverse Method

Romain Soulat, Etienne André

$174.99

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

VIP$58.04

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

VIP$58.04

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

VIP$104.48

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

VIP$58.04

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

VIP$58.04

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

VIP$58.04

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

VIP$104.48

Textual Information Access

Eric Gaussier, Francois Yvon

$211.99

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

VIP$58.04

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

VIP$58.04

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

VIP$104.48

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

VIP$58.04

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

VIP$58.04

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

VIP$104.48

Public-Key Cryptography – PKC 2017

Serge Fehr

VIP$58.04

Applied and Computational Control, Signals, and Circuits

Biswa Nath Datta

VIP$104.48

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

VIP$58.04

Semi-Supervised and Unsupervised Machine Learning

Amparo Albalate, Wolfgang Minker

$174.99

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

VIP$58.04

Fast Software Encryption

Gregor Leander

VIP$58.04

Type-2 Fuzzy Graphical Models for Pattern Recognition

Jia Zeng, Zhi-Qiang Liu

VIP$58.04

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

VIP$104.48

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

VIP$58.04

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

VIP$58.04

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

VIP$58.04

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

VIP$171.35

Cryptography and Coding

Jens Groth

VIP$58.04

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

VIP$58.04

Post-Quantum Cryptography

Tsuyoshi Takagi

VIP$58.04

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

VIP$58.04

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

VIP$104.48

Principles and Practice of Constraint Programming

J. Christopher Beck

VIP$58.04

Probability and Statistics with Reliability, Queuing, and Computer Science Applications

Kishor S. Trivedi

$154.99

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

VIP$58.04

Similarity-Based Pattern Recognition

Aasa Feragen, Marcello Pelillo, Marco Loog

VIP$54.62

QC-LDPC Code-Based Cryptography

Marco Baldi

VIP$58.04

Network Coding

Khaldoun Al Agha

$174.99

Advanced Methodologies for Bayesian Networks

Joe Suzuki, Maomi Ueno

VIP$58.85

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

VIP$58.04

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

VIP$58.04

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

VIP$58.04

Provable Security

Man-Ho Au, Atsuko Miyaji

VIP$58.85

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

VIP$58.04

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

VIP$58.04

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

VIP$58.04

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

VIP$58.04

Topics in Cryptology - CT-RSA 2016

Kazue Sako

VIP$58.04

Computer-hardware Evaluation Of Mathematical Functions

Amos R Omondi

VIP$57.50

Link Prediction in Social Networks

Pabitra Mitra, Srinivas Virinchi

VIP$58.04

Optimization of Polynomials in Non-Commuting Variables

Sabine Burgdorf, Igor Klep, Janez Povh

VIP$58.04

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

VIP$58.04

Hardware and Software: Verification and Testing

Nir Piterman

VIP$54.62

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

VIP$58.04

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

VIP$58.04

Language and Automata Theory and Applications

Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek

VIP$58.04

Computer Science – Theory and Applications

Pascal Weil

VIP$58.04

Feistel Ciphers

Valerie Nachef, Jacques Patarin, Emmanuel Volte

VIP$185.84

Non-negative Matrix Factorization Techniques

Ganesh R. Naik

VIP$58.04

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

VIP$58.04

Mathematical Foundations of Computer Science 2015

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella

VIP$58.04

Information Security and Cryptology – ICISC 2016

Seokhie Hong, Jong Hwan Park

VIP$58.04

Integer Programming and Combinatorial Optimization

Quentin Louveaux, Martin Skutella

VIP$58.04

Radio Resource Management Using Geometric Water-Filling

Peter He, Lian Zhao, Sheng Zhou, Zhisheng Niu

VIP$57.50

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

VIP$58.04

Topics in Cryptology – CT-RSA 2017

Helena Handschuh

VIP$58.04

Inductive Logic Programming

Jesse Davis, Jan Ramon

VIP$54.62

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

VIP$104.48

Mixed-Integer Representations in Control Design

Silviu-Iulian Niculescu, Florin Stoican, Sorin Olaru, Ionela Prodan

VIP$58.04

Submodularity in Dynamics and Control of Networked Systems

Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran, John Baillieul

VIP$104.48

Boolean Functions and Their Applications in Cryptography

Chuan-Kun Wu, Dengguo Feng

VIP$139.40

Programming Languages and Systems

Hongseok Yang

VIP$104.48

Modern Algorithms of Cluster Analysis

Mieczyslaw Kłopotek, Slawomir Wierzchoń

VIP$197.45

Did you like the book?

Be the first to rate and review this book!

This is our Canada store.

Communicating Embedded Systems

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

Computational Number Theory and Modern Cryptography

Performance Modeling and Design of Computer Systems

An Introduction to Machine Learning

Algebraic Geometry Modeling In Information Theory

Tractability

Applied Integer Programming

Handbook of Process Algebra

Data Analysis

Kernel-based Approximation Methods Using Matlab

Algebraic Codes for Data Transmission

Markov Logic

Cryptographic Boolean Functions and Applications

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

Simulation-Based Algorithms for Markov Decision Processes

Metaheuristic Optimization for the Design of Automatic Control Laws

The Design of Approximation Algorithms

Fundamentals of Computational Intelligence

Topics in Computational Number Theory Inspired by Peter L. Montgomery

Introduction to HPC with MPI for Data Science

Modeling and Verification of Real-time Systems

The Inverse Method

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

Advances in Cryptology -- ASIACRYPT 2015

Computer Aided Verification

Advances in Cryptology – ASIACRYPT 2015

Progress in Cryptology -- INDOCRYPT 2015

Advances in Cryptology – EUROCRYPT 2017

Textual Information Access

Verification, Model Checking, and Abstract Interpretation

Selected Areas in Cryptography -- SAC 2013

Advances in Cryptology – EUROCRYPT 2017

Arithmetic of Finite Fields

Selected Areas in Cryptography -- SAC 2014

Advances in Cryptology – EUROCRYPT 2016

Public-Key Cryptography – PKC 2017

Applied and Computational Control, Signals, and Circuits

Public-Key Cryptography – PKC 2016

Semi-Supervised and Unsupervised Machine Learning

Verification, Model Checking, and Abstract Interpretation

Fast Software Encryption

Type-2 Fuzzy Graphical Models for Pattern Recognition

Advances in Cryptology – EUROCRYPT 2017

Progress in Cryptology - AFRICACRYPT 2017

Theoretical Aspects of Computing - ICTAC 2015

Theoretical Aspects of Computing – ICTAC 2016

Handbook of Constraint Programming

Cryptography and Coding

Tools and Algorithms for the Construction and Analysis of Systems

Post-Quantum Cryptography

NASA Formal Methods

Theory of Cryptography

Principles and Practice of Constraint Programming

Probability and Statistics with Reliability, Queuing, and Computer Science Applications

Computer Aided Verification

Similarity-Based Pattern Recognition

QC-LDPC Code-Based Cryptography

Network Coding

Advanced Methodologies for Bayesian Networks

Numerical Software Verification

Selected Areas in Cryptography - SAC 2015

Inductive Logic Programming

Provable Security

SOFSEM 2017: Theory and Practice of Computer Science

Information Security and Cryptology

Theory of Cryptography

Formal Methods and Software Engineering

Topics in Cryptology - CT-RSA 2016

Computer-hardware Evaluation Of Mathematical Functions

Link Prediction in Social Networks

Optimization of Polynomials in Non-Commuting Variables

Semantics, Logics, and Calculi