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

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  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
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  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

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

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

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

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

Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Edición de Ivan Lanese, Eric Madelaine ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Leer más

$53.49 USD

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and
... Leer más
Beginning C++17

From Novice to Professional

de Ivor Horton, Peter Van Weert ...

Series series Professional and Applied Computing (R0)
Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with ... Leer más

$56.99 USD

Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with
... 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

$58.89 USD

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
Grundlagen der Computergrafik

Eine Einführung mit OpenGL und Java

de Karsten Lehn, Merijam Gotzes, Frank Klawonn ...

Series series Computer Science and Engineering (German Language)
Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage ... Leer más

$34.99 USD

Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen, Bildern und Animationen bis hin zu interaktiven, virtuellen Realitäten (Virtual Reality). Die Umsetzung von Anwendungen hierfür profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das vorliegende Buch vermittelt genau das – verständlich, praktisch und nachvollziehbar. Für die vierte Auflage
... Leer más
Learn coding with Python and JavaScript

A practical introduction for beginners

de Joachim L. Zuckarelli ...

Series series Computer Science (R0)
Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the ... Leer más

$64.19 USD

Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the
... Leer más
Formal Methods: State of the Art and New Directions

Edición de Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods ... Leer más

$96.29 USD

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods
... Leer más
A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Edición de Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

Series series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... Leer más

$53.49 USD

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... 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

$53.49 USD

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
Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Edición de Leen Lambers, Jens Weber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation
... Leer más
Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Edición de Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... Leer más

$53.49 USD

This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
... Leer más
PRIMA 2016: Principles and Practice of Multi-Agent Systems

19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Edición de Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is
... Leer más
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Edición de Ivica Crnkovic, Elena Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;
... Leer más
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Edición de Federica Sarro, Kalyanmoy Deb ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... Leer más
Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Edición de Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Series series Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... Leer más

$53.49 USD

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been
... Leer más
Foundations and Practice of Security

11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Edición de Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... Leer más

$69.49 USD

This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud
... Leer más
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Edición de Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... Leer más

$96.29 USD

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Leer más
Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Edición de Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... Leer más

$53.49 USD

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from
... Leer más
AWS Fully Loaded: Mastering Amazon Web Services for Complete Cloud Solutions

de Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Amazon Web Services with AWS Fully Loaded: Mastering Amazon Web Services for Complete Cloud Solutions. This comprehensive guide is your key to understanding the expansive world of AWS, from foundational concepts to advanced strategies. Designed for both beginners and seasoned professionals, this book takes you step-by-step through AWS services and tools, revealing ... Leer más

$9.99 USD

Unlock the full potential of Amazon Web Services with AWS Fully Loaded: Mastering Amazon Web Services for Complete Cloud Solutions. This comprehensive guide is your key to understanding the expansive world of AWS, from foundational concepts to advanced strategies. Designed for both beginners and seasoned professionals, this book takes you step-by-step through AWS services and tools, revealing
... Leer más
Building Arduino Projects for the Internet of Things

Experiments with Real-World Applications

de Adeel Javed ...

Series series Professional and Applied Computing (R0)
Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects ... Leer más

$66.99 USD

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects
... Leer más
Guide to Assembly Language

A Concise Introduction

de James T. Streib ...

Series series Computer Science (R0)
This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material ... Leer más

$53.49 USD

This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material
... 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

$28.49 USD

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
Pro Android with Kotlin

Developing Modern Mobile Apps

de Peter Späth ...

Series series Professional and Applied Computing (R0)
Develop Android apps with Kotlin to create more elegant programs than the Java equivalent. This book covers the various aspects of a modern Android app that professionals are expected to encounter. There are chapters dealing with all the important aspects of the Android platform, including GUI design, file- and data-handling, coping with phone calls, multimedia apps, interaction with location and ... Leer más

$79.99 USD

Develop Android apps with Kotlin to create more elegant programs than the Java equivalent. This book covers the various aspects of a modern Android app that professionals are expected to encounter. There are chapters dealing with all the important aspects of the Android platform, including GUI design, file- and data-handling, coping with phone calls, multimedia apps, interaction with location and
... Leer más
Quantum Computing by Practice

Python Programming in the Cloud with Qiskit and IBM-Q

de Vladimir Silva ...

Series series Professional and Applied Computing (R0)
Learn to write algorithms and program in the new field of quantum computing. This second edition is updated to equip you with the latest knowledge and tools needed to be a complex problem-solver in this ever-evolving landscape. The book has expanded its coverage of current and future advancements and investments by IT companies in this emerging technology. Most chapters are thoroughly revised to ... Leer más

$46.99 USD

Learn to write algorithms and program in the new field of quantum computing. This second edition is updated to equip you with the latest knowledge and tools needed to be a complex problem-solver in this ever-evolving landscape. The book has expanded its coverage of current and future advancements and investments by IT companies in this emerging technology. Most chapters are thoroughly revised to
... Leer más
Introduction to Concurrency in Programming Languages

de Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... Leer más

$87.99 USD

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... 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

Formal Aspects of Component Software

Beginning C++17

Programming Languages and Systems

Grundlagen der Computergrafik

Learn coding with Python and JavaScript

Formal Methods: State of the Art and New Directions

A List of Successes That Can Change the World

Perspectives of System Informatics

Graph Transformation

Inductive Logic Programming

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Software Engineering for Resilient Systems

Search Based Software Engineering

Engineering Trustworthy Software Systems

Foundations and Practice of Security

Logic and Argumentation

Declarative Programming and Knowledge Management

AWS Fully Loaded: Mastering Amazon Web Services for Complete Cloud Solutions

Building Arduino Projects for the Internet of Things

Guide to Assembly Language

Introducing Materialize

Pro Android with Kotlin

Quantum Computing by Practice

Introduction to Concurrency in Programming Languages