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

Accelerator Programming Using Directives

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Edición de Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel ... Leer más

$997 MXN

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel
... Leer más
Java XML and JSON

de JEFF FRIESEN ...

Series series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Leer más

$627 MXN

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Leer más
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Edición de Alexander K. Petrenko, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... Leer más
Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Edición de Patrick Blackburn, Emiliano Lorini, Meiyun Guo ...

Series series Springer Nature Proceedings excluding Computer Science
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and ... Leer más

$906 MXN

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and
... Leer más
Python Programming Fundamentals

de Kent D. Lee ...

Series series Computer Science (R0)
Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize ... Leer más

$598 MXN

Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize
... Leer más
Database Systems for Advanced Applications. DASFAA 2024 International Workshops

BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Edición de Atsuyuki Morishima, Guoliang Li, Yoshiharu Ishikawa, Sihem Amer-Yahia, H. V. Jagadish, Kejing Lu ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th ... Leer más

$1,360 MXN

This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th
... Leer más
Java üben mit dem Plotter

Ein Überblick für Studierende und Einsteiger

de Stephan Euler ...

Series series Computer Science and Engineering (German Language)
Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe ... Leer más

$94 MXN

Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe
... Leer más
Introducing Jakarta EE CDI

Contexts and Dependency Injection for Enterprise Java Development

de Luqman Saeed ...

Series series Professional and Applied Computing (R0)
Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding ... Leer más

$796 MXN

Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding
... Leer más
Raku Fundamentals

A Primer with Examples, Projects, and Case Studies

de Moritz Lenz ...

Series series Professional and Applied Computing (R0)
Gain the skills to begin developing Raku applications from the ground up in this hands-on compact book, which includes a foreword from Larry Wall, creator of Perl. You’ll learn enough to get started building with Raku, using Raku's gradual typing, handy object orientated features, powerful parsing capabilities, and human-usable concurrency. This book has been updated to include the latest version ... Leer más

$1,067 MXN

Gain the skills to begin developing Raku applications from the ground up in this hands-on compact book, which includes a foreword from Larry Wall, creator of Perl. You’ll learn enough to get started building with Raku, using Raku's gradual typing, handy object orientated features, powerful parsing capabilities, and human-usable concurrency. This book has been updated to include the latest version
... Leer más
Artificial Intelligence in Music, Sound, Art and Design

9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Edición de Juan Romero, Anikó Ekárt, Tiago Martins, João Correia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a
... Leer más
Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Edición de Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal ... Leer más

$1,360 MXN

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal
... Leer más
Java 17 Recipes

A Problem-Solution Approach

de Josh Juneau, Luciano Manelli ...

Series series Professional and Applied Computing (R0)
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!Java 17 Recipes is updated to reflect changes in specification and implementation since ... Leer más

$1,135 MXN

Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!Java 17 Recipes is updated to reflect changes in specification and implementation since
... Leer más
Learn Kotlin for Android Development

The Next Generation Language for Modern Android Apps Programming

de Peter Späth ...

Series series Professional and Applied Computing (R0)
Build Android apps and learn the essentials of the popular Kotlin programming language and APIs. This book will teach you the key Kotlin skills and techniques important for creating your very own Android apps. Apart from introducing Kotlin programming, Learn Kotlin for Android Development stresses clean code principles and introduces object-oriented and functional programming as a starting point ... Leer más

$1,067 MXN

Build Android apps and learn the essentials of the popular Kotlin programming language and APIs. This book will teach you the key Kotlin skills and techniques important for creating your very own Android apps. Apart from introducing Kotlin programming, Learn Kotlin for Android Development stresses clean code principles and introduces object-oriented and functional programming as a starting point
... Leer más
Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Edición de Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Leer más

$906 MXN

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,
... Leer más
Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Edición de Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium. ... Leer más

$1,360 MXN

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
... Leer más
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edición de Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Leer más

$1,269 MXN

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Leer más
Foundations of Programming Languages

de Kent D. Lee ...

Series series Computer Science (R0)
This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the ... Leer más

$816 MXN

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the
... Leer más
Transactions on Aspect-Oriented Software Development XII

Edición de Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld ...

Series series Computer Science (R0)
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and ... Leer más

$906 MXN

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and
... Leer más
Pro Cryptography and Cryptanalysis with C++20

Creating and Programming Advanced Algorithms

de Marius Iulian Mihailescu, Stefania Loredana Nita ...

Series series Professional and Applied Computing (R0)
Develop strong skills and a passion for writing cryptography algorithms and security schemes/modules using C++ 20 and its new features. You will find the right methods of writing advanced cryptographic algorithms (such as, elliptic curve cryptography algorithms, lattice-based cryptography, searchable encryption, and homomorphic encryption), examine internal cryptographic mechanisms, and discover ... Leer más

$898 MXN

Develop strong skills and a passion for writing cryptography algorithms and security schemes/modules using C++ 20 and its new features. You will find the right methods of writing advanced cryptographic algorithms (such as, elliptic curve cryptography algorithms, lattice-based cryptography, searchable encryption, and homomorphic encryption), examine internal cryptographic mechanisms, and discover
... Leer más
Getting Started with Visual Studio 2019

Learning and Implementing New Features

de Dirk Strauss ...

Series series Professional and Applied Computing (R0)
Know how to use the features of Visual Studio 2019 and utilize the IDE correctly to become your one-stop solution for creating quality code. Learn what's new in VS 2019 and explore the existing features of Visual Studio so you can use them more efficiently.Getting Started with Visual Studio 2019 begins with an overview of Visual Studio and explores new features such as Visual Studio Live Share, ... Leer más

$796 MXN

Know how to use the features of Visual Studio 2019 and utilize the IDE correctly to become your one-stop solution for creating quality code. Learn what's new in VS 2019 and explore the existing features of Visual Studio so you can use them more efficiently.Getting Started with Visual Studio 2019 begins with an overview of Visual Studio and explores new features such as Visual Studio Live Share,
... Leer más
Interactive Object Oriented Programming in Java

Learn and Test Your Skills

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Discover object oriented programming with Java in this unique tutorial. This book uses Java and Eclipse to write and generate output for examples in topics such as classes, interfaces, overloading, and overriding. Interactive Object Oriented Programming in Java uniquely presents its material in a dialogue with the reader to encourage thinking and experimentation.Later chapters cover further Java ... Leer más

$483 MXN

Discover object oriented programming with Java in this unique tutorial. This book uses Java and Eclipse to write and generate output for examples in topics such as classes, interfaces, overloading, and overriding. Interactive Object Oriented Programming in Java uniquely presents its material in a dialogue with the reader to encourage thinking and experimentation.Later chapters cover further Java
... Leer más
Practical C

de Giulio Zambon ...

Series series Professional and Applied Computing (R0)
Learn practical C techniques, including often-needed algorithms within reusable functions. In this book, you'll have the following code and advice at your fingertips: layout and pre-processors; control structures, iterations, and selections; pointers and structures; databases; reusability; lists, arrays, FIFO and stacks; searching and sorting; recursion; binary trees; integration; string utilities ... Leer más

$1,440 MXN

Learn practical C techniques, including often-needed algorithms within reusable functions. In this book, you'll have the following code and advice at your fingertips: layout and pre-processors; control structures, iterations, and selections; pointers and structures; databases; reusability; lists, arrays, FIFO and stacks; searching and sorting; recursion; binary trees; integration; string utilities
... Leer más
Tools and Environments for Parallel and Distributed Systems

Edición de Amr Zaky, Ted Lewis ...

Series Libro 2 - International Series in Software Engineering
Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These ... Leer más

$2,538 MXN

Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These
... Leer más
Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Edición de Tiago Massoni, Mohammad Reza Mousavi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Leer más

$1,033 MXN

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical
... 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

Accelerator Programming Using Directives

Java XML and JSON

Perspectives of System Informatics

Logic, Rationality, and Interaction

Python Programming Fundamentals

Database Systems for Advanced Applications. DASFAA 2024 International Workshops

Java üben mit dem Plotter

Introducing Jakarta EE CDI

Raku Fundamentals

Artificial Intelligence in Music, Sound, Art and Design

Formal Methods and Software Engineering

Java 17 Recipes

Learn Kotlin for Android Development

Logic for Programming, Artificial Intelligence, and Reasoning

Rigorous State-Based Methods

Formal Methods for Industrial Critical Systems

Foundations of Programming Languages

Transactions on Aspect-Oriented Software Development XII

Pro Cryptography and Cryptanalysis with C++20

Getting Started with Visual Studio 2019

Interactive Object Oriented Programming in Java

Practical C

Tools and Environments for Parallel and Distributed Systems

Formal Methods: Foundations and Applications