Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Beginning Adobe Animate CC

Learn to Efficiently Create and Deploy Animated and Interactive Content

de TOM GREEN, Joseph Labrecque ...

Series series Professional and Applied Computing (R0)
Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC ... Leer más

$1,356 MXN

Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC
... Leer más
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Edición de Clark Barrett, Misty Davies, Temesghen Kahsai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Leer más

$906 MXN

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Leer más
Systems Programming in Unix/Linux

de K.C. Wang ...

Series series Computer Science (R0)
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula ... Leer más

$1,088 MXN

Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula
... Leer más
Languages and Compilers for Parallel Computing

27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Edición de James Brodman, Peng Tu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for ... Leer más

$906 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for
... Leer más
Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Edición de Shaoying Liu, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model ... Leer más

$725 MXN

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model
... Leer más
Das C++ Kompendium

STL, Objektfabriken, Exceptions

de Gilbert Brands ...

Series series Computer Science and Engineering (German Language)
Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu ... Leer más

$482 MXN

Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu
... Leer más
Advanced Metaprogramming in Classic C++

de Davide Di Gennaro ...

Series series Professional and Applied Computing (R0)
Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small ... Leer más

$1,525 MXN

Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small
... Leer más
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Edición de Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam, M. Graham Lopez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug ... Leer más

$725 MXN

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug
... Leer más
Formal Techniques for Safety-Critical Systems

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

Edición de Cyrille Artho, Peter Csaba Ölveczky ...

Series 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; ... Leer más

$906 MXN

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;
... Leer más
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Edición de Kerstin Lemke-Rust, Michael Tunstall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... Leer más

$906 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... Leer más
Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Edición de Einar Broch Johnsen, Ina Schaefer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification;
... Leer más
Data Mining Algorithms in C++

Data Patterns and Algorithms for Modern Applications

de Timothy Masters ...

Series series Professional and Applied Computing (R0)
Discover hidden relationships among the variables in your data, and learn how to exploit these relationships. This book presents a collection of data-mining algorithms that are effective in a wide variety of prediction and classification applications. All algorithms include an intuitive explanation of operation, essential equations, references to more rigorous theory, and commented C++ source code ... Leer más

$1,356 MXN

Discover hidden relationships among the variables in your data, and learn how to exploit these relationships. This book presents a collection of data-mining algorithms that are effective in a wide variety of prediction and classification applications. All algorithms include an intuitive explanation of operation, essential equations, references to more rigorous theory, and commented C++ source code
... Leer más
Programming with Actors

State-of-the-Art and Research Perspectives

Edición de Alessandro Ricci, Philipp Haller ...

Series series Computer Science (R0)
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing ... Leer más

$906 MXN

The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing
... Leer más
Pro MERN Stack

Full Stack Web App Development with Mongo, Express, React, and Node

de Vasan Subramanian ...

Series series Professional and Applied Computing (R0)
Assemble the complete stack required to build a modern web app using React: MongoDB (a NoSQL database) and Express (a framework for web application servers), which runs on Node (JavaScript on the server side), complement React very nicely. This book will also cover many other tools that go into building a complete web application: React Router, React-Bootstrap, Redux, Babel, and webpack.Though the ... Leer más

$796 MXN

Assemble the complete stack required to build a modern web app using React: MongoDB (a NoSQL database) and Express (a framework for web application servers), which runs on Node (JavaScript on the server side), complement React very nicely. This book will also cover many other tools that go into building a complete web application: React Router, React-Bootstrap, Redux, Babel, and webpack.Though the
... Leer más
On the Move to Meaningful Internet Systems: OTM 2019 Workshops

Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers

Edición de Christophe Debruyne, Hervé Panetto, Wided Guédria, Peter Bollen, Ioana Ciuciu, George Karabatis, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st ... Leer más

$906 MXN

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st
... Leer más
CODING INTERVIEW

A Beginner's Guide to Learn and Study the Theories and Principles of Coding and Perform Well in the Coding Interview

de Eric Schmidt ...

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your ... Leer más

$86 MXN

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your
... Leer más
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

de Yan Lin ...

Series series Computer Science (R0)
There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually ... Leer más

$1,632 MXN

There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually
... Leer más
Information Security

16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Edición de Yvo Desmedt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and ... Leer más

$906 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and
... Leer más
MATLAB Mathematical Analysis

de Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB Mathematical Analysis is a reference book that presents the techniques of mathematical analysis through examples and exercises resolved with MATLAB software. The purpose is to give you examples of the mathematical analysis functions offered by MATLAB so that you can use them in your daily work regardless of the application. The book supposes proper training in the mathematics and so ... Leer más

$780 MXN

MATLAB Mathematical Analysis is a reference book that presents the techniques of mathematical analysis through examples and exercises resolved with MATLAB software. The purpose is to give you examples of the mathematical analysis functions offered by MATLAB so that you can use them in your daily work regardless of the application. The book supposes proper training in the mathematics and so
... Leer más
C# 8 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Mikael Olsson ...

Series Libro 8 - Professional and Applied Computing (R0)
This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface ... Leer más

$627 MXN

This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface
... Leer más
Introducing Materialize

de Anirudh Prabhu, Aravind Shenoy ...

Series series Professional and Applied Computing (R0)
This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google’s innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation.With the advent of Material Design, developers can no ... Leer más

$483 MXN

This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google’s innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation.With the advent of Material Design, developers can no
... Leer más
Practical Web Design for Absolute Beginners

de Adrian W. West ...

Series series Professional and Applied Computing (R0)
Learn the fundamentals of modern web design, rather than relying on CMS programs, such as WordPress or Joomla!. You will be introduced to the essentials of good design and how to optimize for search engines. You will discover how to register a domain name and migrate a website to a remote host. Because you will have built the web pages yourself, you will know exactly how HTML and CSS work. You ... Leer más

$1,067 MXN

Learn the fundamentals of modern web design, rather than relying on CMS programs, such as WordPress or Joomla!. You will be introduced to the essentials of good design and how to optimize for search engines. You will discover how to register a domain name and migrate a website to a remote host. Because you will have built the web pages yourself, you will know exactly how HTML and CSS work. You
... Leer más
Model-Based Systems Engineering with OPM and SysML

de Dov Dori ...

Series series Computer Science (R0)
Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain ... Leer más

$1,178 MXN

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain
... Leer más
Automatic Tuning of Compilers Using Machine Learning

de Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano ...

Series series Engineering (R0)
This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a ... Leer más

$906 MXN

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Compiladores

Beginning Adobe Animate CC

NASA Formal Methods

Systems Programming in Unix/Linux

Languages and Compilers for Parallel Computing

Structured Object-Oriented Formal Language and Method

Das C++ Kompendium

Advanced Metaprogramming in Classic C++

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Formal Techniques for Safety-Critical Systems

Smart Card Research and Advanced Applications

Software Engineering and Formal Methods

Data Mining Algorithms in C++

Programming with Actors

Pro MERN Stack

On the Move to Meaningful Internet Systems: OTM 2019 Workshops

CODING INTERVIEW

Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

Information Security

MATLAB Mathematical Analysis

C# 8 Quick Syntax Reference

Introducing Materialize

Practical Web Design for Absolute Beginners

Model-Based Systems Engineering with OPM and SysML

Automatic Tuning of Compilers Using Machine Learning