Communicating Embedded Systems

Software and Design

ebook

Claude Jard,Olivier H. Roux

Comprar el eBook

Ahorra 28 %Precio de venta: $190.724 CLP.$137.321CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9781118600092
Fecha de lanzamiento:1 jun 2013
Editorial:Wiley

Edición:Wiley-ISTE
Formato de archivo:EPUB2
Tamaño de archivo:3.05 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Linear Programming and Network Flows

Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali

$127.288

Data Analysis

Gérard Govaert

$152.754

Kernel Methods for Pattern Analysis

John Shawe-Taylor, Nello Cristianini

$110.737

Petri Nets

Michel Diaz

$309.407

Applications of Combinatorial Optimization, Volume 3

Vangelis Th. Paschos

$157.385

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

$38.583

Applied Integer Programming

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

$127.288

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

Kishor S. Trivedi

$111.084

Concepts of Combinatorial Optimization, Volume 1

Vangelis Th. Paschos

$157.385

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$212.175

Generalized Principal Component Analysis

René Vidal, Yi Ma, Shankar Sastry

$78.657

Algorithms for Sparsity-Constrained Optimization

Sohail Bahmani

$157.324

Paradigms of Combinatorial Optimization

Vangelis Th. Paschos

$309.407

Simulation-Based Algorithms for Markov Decision Processes

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

$101.133

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$157.317

Algebraic Geometry for Coding Theory and Cryptography

Kristin E. Lauter, Everett W. Howe, Judy L. Walker

$179.802

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan

$91.402

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

$142.723

Co-Clustering

Mohamed Nadif, Gérard Govaert

$137.321

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Concepts of Combinatorial Optimization

Vangelis Th. Paschos

$147.353

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Models, Algorithms, Logics and Tools

Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto

$56.180

Elementary Functions

Jean-Michel Muller

$112.372

The Inverse Method

Romain Soulat, Etienne André

$137.321

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Static Analysis

Francesco Ranzato

$56.180

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

$56.180

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$101.133

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$56.180

Partitional Clustering Algorithms

M. Emre Celebi

$101.133

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$56.180

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

$123.609

Learning with Uncertainty

Xizhao Wang, Junhai Zhai

$71.799

Selected Areas in Cryptography – SAC 2017

Carlisle Adams, Jan Camenisch

$56.180

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

$56.180

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Trends in Constraint Programming

Narendra Jussien, Barry A. O'Sullivan, Frédéric Benhamou

$212.175

Fast Software Encryption

Thomas Peyrin

$95.514

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Selected Areas in Cryptography – SAC 2016

Howard Heys, Roberto Avanzi

$56.180

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$56.180

Low Rank Approximation

Ivan Markovsky

$123.609

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

$56.180

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

$56.180

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Textual Information Access

Eric Gaussier, Francois Yvon

$166.645

Mathematical Aspects of Computer and Information Sciences

Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos

$56.180

Codes, Cryptology and Information Security

Said El Hajji, Abderrahmane Nitaj, El Mamoun Souidi

$56.180

Quantitative Evaluation of Systems

Gul Agha, Benny Van Houdt

$56.180

Paradigms of Combinatorial Optimization

Vangelis Th. Paschos

$263.105

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

$56.180

Fault Trees

Nikolaos Limnios

$170.503

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Stream Ciphers

Andreas Klein

$84.276

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

$56.180

Fast Software Encryption

Shiho Moriai

$56.180

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

$56.180

Principles and Practice of Constraint Programming

Michel Rueher

$101.133

Blind Identification and Separation of Complex-valued Signals

Eric Moreau, Tulay Adali

$137.321

Static Analysis

Xavier Rival

$56.180

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Information Theoretic Security

Junji Shikata

$56.180

Capacitated Planned Maintenance

Torben Kuschel

$56.180

Public-Key Cryptography – PKC 2017

Serge Fehr

$56.180

Signal and Image Processing for Biometrics

Amine Nait-Ali, Regis Fournier

$138.865

Applied and Computational Control, Signals, and Circuits

Biswa Nath Datta

$101.133

Public-Key Cryptography – PKC 2016

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

$56.180

Semi-Supervised and Unsupervised Machine Learning

Amparo Albalate, Wolfgang Minker

$137.321

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Progress in Cryptology – INDOCRYPT 2017

Arpita Patra, Nigel P. Smart

$56.180

Cryptography and Coding

Jens Groth

$56.180

Fast Software Encryption

Gregor Leander

$56.180

Type-2 Fuzzy Graphical Models for Pattern Recognition

Jia Zeng, Zhi-Qiang Liu

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

$56.180

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

$56.180

Robust Speaker Recognition in Noisy Environments

Sourjya Sarkar, K. Sreenivasa Rao

$56.180

Ver más por autor

Application and Theory of Petri Nets and Concurrency

Victor Khomenko, Olivier H. Roux

$56.180

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Communicating Embedded Systems

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Linear Programming and Network Flows

Data Analysis

Kernel Methods for Pattern Analysis

Petri Nets

Applications of Combinatorial Optimization, Volume 3

Data Analysis For Network Cyber-security

Applied Integer Programming

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

Concepts of Combinatorial Optimization, Volume 1

Modeling and Verification of Real-time Systems

Generalized Principal Component Analysis

Algorithms for Sparsity-Constrained Optimization

Paradigms of Combinatorial Optimization

Simulation-Based Algorithms for Markov Decision Processes

Tractability

Algebraic Geometry for Coding Theory and Cryptography

Randomized Algorithms

Models and Analysis for Distributed Systems

Co-Clustering

Formal Modeling and Analysis of Timed Systems

Concepts of Combinatorial Optimization

Computer Aided Verification

Dependable Software Engineering: Theories, Tools, and Applications

Models, Algorithms, Logics and Tools

Elementary Functions

The Inverse Method

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

FM 2016: Formal Methods

Static Analysis

Formal Modeling and Analysis of Timed Systems

Advances in Cryptology – ASIACRYPT 2016

Dependable Software Engineering. Theories, Tools, and Applications

Advances in Cryptology -- ASIACRYPT 2015

Computer Aided Verification

Advances in Cryptology – ASIACRYPT 2015

Partitional Clustering Algorithms

Advances in Cryptology – CRYPTO 2016

Advances in Cryptology – ASIACRYPT 2017

Learning with Uncertainty

Selected Areas in Cryptography – SAC 2017

Automated Technology for Verification and Analysis

Advances in Cryptology – EUROCRYPT 2016

Progress in Cryptology -- INDOCRYPT 2015

Computer Aided Verification

Trends in Constraint Programming

Fast Software Encryption

Advances in Cryptology – EUROCRYPT 2017

Selected Areas in Cryptography – SAC 2016

Progress in Cryptology – AFRICACRYPT 2016

Low Rank Approximation

Foundational and Practical Aspects of Resource Analysis

Advances in Cryptology – CRYPTO 2017

Reachability Problems

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems

Textual Information Access

Mathematical Aspects of Computer and Information Sciences

Codes, Cryptology and Information Security

Quantitative Evaluation of Systems

Paradigms of Combinatorial Optimization

Verification, Model Checking, and Abstract Interpretation

Selected Areas in Cryptography -- SAC 2013

Fault Trees

Advances in Cryptology – EUROCRYPT 2017

Stream Ciphers

Arithmetic of Finite Fields

Fast Software Encryption

Selected Areas in Cryptography -- SAC 2014

Principles and Practice of Constraint Programming

Blind Identification and Separation of Complex-valued Signals

Static Analysis