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

C++ Standard Library Quick Reference

de Marc Gregoire, Peter Van Weert ...

Series series Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 ... Leer más

$29,918 CLP

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14
... Leer más
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edición de Marsha Chechik, Jean-François Raskin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leer más

$56,180 CLP

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from
... Leer más
Programming Language Concepts

de Peter Sestoft ...

Series series Computer Science (R0)
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on ... Leer más

$59,552 CLP

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on
... Leer más
Beginning Django

Web Application Development and Deployment with Python

de Daniel Rubio ...

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email. ... Leer más

$41,570 CLP

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email.
... Leer más
Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Edición de Yi Li, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... Leer más

$73,037 CLP

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference
... Leer más
Java Journey: From Basics To Mastery

de Oryndalex Varnikar ...

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to ... Leer más

$27,011 CLP o gratis con Kobo Plus

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to
... Leer más
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Edición de Louis-Martin Rousseau, Kostas Stergiou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Leer más

$56,180 CLP

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from
... Leer más
Advanced Topics in C

Core Concepts in Data Structures

de Noel Kalicharan ...

Series series Professional and Applied Computing (R0)
C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching, ... Leer más

$84,018 CLP

C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching,
... Leer más
Beginning Application Lifecycle Management

de Joachim Rossberg ...

Series series Professional and Applied Computing (R0)
Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of ... Leer más

$66,160 CLP

Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of
... Leer más
MATLAB Programming for Numerical Analysis

de Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Leer más

$55,653 CLP

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Leer más
SSA-based Compiler Design

Edición de Fabrice Rastello, Florent Bouchez Tichadou ...

Series series Computer Science (R0)
This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form. ... Leer más

$95,514 CLP

This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form.
... Leer más
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Edición de Manuel Serrano, Jurriaan Hage ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Leer más

$44,943 CLP

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional
... Leer más
Functional Data Structures and Algorithms

A Proof Assistant Approach

de Tobias Nipkow ...

Series series ACM Books
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Leer más

$42,404 CLP

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph
... Leer más
Open Source Software for Digital Forensics

Edición de Ewa Huebner, Stefano Zanero ...

Series series Springer Nature Proceedings Computer Science
Open Source Software for Digital Forensics is the first book dedicated to the use of FLOSS (Free Libre Open Source Software) in computer forensics. It presents the motivations for using FLOSS applications as tools for collection, preservation and analysis of digital evidence in computer and network forensics. It also covers extensively several forensic FLOSS tools, their origins and evolution.Open ... Leer más

$157,324 CLP

Open Source Software for Digital Forensics is the first book dedicated to the use of FLOSS (Free Libre Open Source Software) in computer forensics. It presents the motivations for using FLOSS applications as tools for collection, preservation and analysis of digital evidence in computer and network forensics. It also covers extensively several forensic FLOSS tools, their origins and evolution.Open
... Leer más
Beginning Java 8 Games Development

de Wallace Jackson ...

Series series Professional and Applied Computing (R0)
Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and ... Leer más

$55,653 CLP

Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and
... Leer más
Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Edición de Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Leer más

$56,180 CLP

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from
... Leer más
AIxIA 2020 – Advances in Artificial Intelligence

XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

Edición de Matteo Baldoni, Stefania Bandini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at ... Leer más

$101,133 CLP

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at
... Leer más
Principles of Package Design

Creating Reusable Software Components

de Matthias Noback ...

Series series Professional and Applied Computing (R0)
Apply design principles to your classes, preparing them for reuse. You will use package design principles to create packages that are just right in terms of cohesion and coupling, and are user- and maintainer-friendly at the same time.The first part of this book walks you through the five SOLID principles that will help you improve the design of your classes. The second part introduces you to the ... Leer más

$84,018 CLP

Apply design principles to your classes, preparing them for reuse. You will use package design principles to create packages that are just right in terms of cohesion and coupling, and are user- and maintainer-friendly at the same time.The first part of this book walks you through the five SOLID principles that will help you improve the design of your classes. The second part introduces you to the
... Leer más
Machine Learning Using R

With Time Series and Industry-Based Use Cases in R

de Karthik Ramasubramanian, Abhishek Singh ...

Series series Professional and Applied Computing (R0)
Examine the latest technological advancements in building a scalable machine-learning model with big data using R. This second edition shows you how to work with a machine-learning algorithm and use it to build a ML model from raw data. You will see how to use R programming with TensorFlow, thus avoiding the effort of learning Python if you are only comfortable with R.As in the first edition, the ... Leer más

$70,362 CLP

Examine the latest technological advancements in building a scalable machine-learning model with big data using R. This second edition shows you how to work with a machine-learning algorithm and use it to build a ML model from raw data. You will see how to use R programming with TensorFlow, thus avoiding the effort of learning Python if you are only comfortable with R.As in the first edition, the
... Leer más
Advanced Guide to Python 3 Programming

de John Hunt ...

Series series Computer Science (R0)
Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs), ... Leer más

$67,418 CLP

Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs),
... Leer más
Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Edición de Marco Bernardo, Einar Broch Johnsen ...

Series series Computer Science (R0)
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Leer más

$52,809 CLP

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and
... Leer más
From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Edición de Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...

Series series Computer Science (R0)
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Leer más

$56,180 CLP

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey
... Leer más
Deep Belief Nets in C++ and CUDA C: Volume 2

Autoencoding in the Complex Domain

de Timothy Masters ...

Series series Professional and Applied Computing (R0)
Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder. You’ll take this topic beyond current usage by extending it to the complex domain for signal and image processing applications. Deep Belief Nets in C++ and CUDA C: Volume 2 also covers several algorithms for preprocessing time series and image data. These algorithms focus on the creation of ... Leer más

$59,855 CLP

Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder. You’ll take this topic beyond current usage by extending it to the complex domain for signal and image processing applications. Deep Belief Nets in C++ and CUDA C: Volume 2 also covers several algorithms for preprocessing time series and image data. These algorithms focus on the creation of
... Leer más
Programming Languages and Systems

22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Edición de Oleg Kiselyov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative ... Leer más

$61,799 CLP

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative
... 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

C++ Standard Library Quick Reference

Tools and Algorithms for the Construction and Analysis of Systems

Programming Language Concepts

Beginning Django

Formal Methods and Software Engineering

Java Journey: From Basics To Mastery

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Advanced Topics in C

Beginning Application Lifecycle Management

MATLAB Programming for Numerical Analysis

SSA-based Compiler Design

Trends in Functional Programming

Functional Data Structures and Algorithms

Open Source Software for Digital Forensics

Beginning Java 8 Games Development

Critical Systems: Formal Methods and Automated Verification

AIxIA 2020 – Advances in Artificial Intelligence

Principles of Package Design

Machine Learning Using R

Advanced Guide to Python 3 Programming

Formal Methods for Multicore Programming

From Software Engineering to Formal Methods and Tools, and Back

Deep Belief Nets in C++ and CUDA C: Volume 2

Programming Languages and Systems