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

Functional Programming in R 4

Advanced Statistical Programming for Data Science, Analysis, and Finance

de Thomas Mailund ...

Series series Professional and Applied Computing (R0)
Master functions and discover how to write functional programs in R. In this book, updated for R 4, you'll learn to make your functions pure by avoiding side effects, write functions that manipulate other functions, and construct complex functions using simpler functions as building blocks.In Functional Programming in R 4, you’ll see how to replace loops, which can have side-effects, with ... Leer más

$968 MXN

Master functions and discover how to write functional programs in R. In this book, updated for R 4, you'll learn to make your functions pure by avoiding side effects, write functions that manipulate other functions, and construct complex functions using simpler functions as building blocks.In Functional Programming in R 4, you’ll see how to replace loops, which can have side-effects, with
... 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

$2,545 MXN

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
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Edición de Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Leer más

$909 MXN

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Leer más
Separation Logic for High-level Synthesis

de Felix Winterstein ...

Series series Engineering (R0)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Leer más

$1,636 MXN

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance
... Leer más
Programming Language Fundamentals by Example

de D.E. Stevenson ...

Surveying the major programming languages that have hallmarked the evolution of computing, Programming Language Fundamentals by Example provides an understanding of the many languages and notations used in computer science, the formal models used to design phases, and the foundations of languages including linguistics. This textbook guides students through the process of implementing a simple ... Leer más

$1,457 MXN

Surveying the major programming languages that have hallmarked the evolution of computing, Programming Language Fundamentals by Example provides an understanding of the many languages and notations used in computer science, the formal models used to design phases, and the foundations of languages including linguistics. This textbook guides students through the process of implementing a simple
... Leer más
Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Edición de Alberto Pardo, S. Doaitse Swierstra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... Leer más

$727 MXN

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... Leer más
Transactions on High-Performance Embedded Architectures and Compilers V

de Per Stenström ...

Series series Computer Science (R0)
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The ... Leer más

$909 MXN

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The
... Leer más
Introduction to Programming Languages

de Arvind Kumar Bansal ...

In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming language concepts from the restraints of multiple language syntax by discussing the concepts at an abstract level.Designed for a one-semester undergraduate ... Leer más

$2,281 MXN

In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming language concepts from the restraints of multiple language syntax by discussing the concepts at an abstract level.Designed for a one-semester undergraduate
... Leer más
Advanced Design and Implementation of Virtual Machines

de Xiao-Feng Li ...

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also ... Leer más

$1,149 MXN

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also
... Leer más
C++ Quick Syntax Reference

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
The C++ Quick Syntax Reference is a condensed code and syntax reference to the C++ programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise, to the point and ... Leer más

$249 MXN

The C++ Quick Syntax Reference is a condensed code and syntax reference to the C++ programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise, to the point and
... Leer más
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Edición de Erika Ábrahám, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Leer más

$1,454 MXN

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... Leer más
Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Edición de Barbara Jobstmann, K. Rustan M. Leino ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model
... Leer más
Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1–2, 2026, Proceedings

Edición de Blair Archibald, Oszkár Semeráth ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the ... Leer más

$1,036 MXN

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the
... 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

$963 MXN

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
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Edición de Marco Bernardo, Rocco De Nicola, Jane Hillston ...

Series series Computer Science (R0)
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, ... Leer más

$909 MXN

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems,
... Leer más
Graph Transformation

18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings

Edición de Jörg Endrullis, Matthias Tichy ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of
... Leer más
Programmieren lernen mit Python und JavaScript

Eine praxisorientierte Einführung für Einsteiger

de Joachim L. Zuckarelli ...

Series series Computer Science and Engineering (German Language)
Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen ... Leer más

$679 MXN

Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen
... Leer más
XcalableMP PGAS Programming Language

From Programming Model to Applications

Edición de Mitsuhisa Sato ...

Series series Computer Science (R0)
XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems. This open access book presents XcalableMP language from its programming model and basic concept to the experience and performance of applications described in XcalableMP.　XcalableMP was taken as a parallel ... Leer más

Gratis

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems. This open access book presents XcalableMP language from its programming model and basic concept to the experience and performance of applications described in XcalableMP.　XcalableMP was taken as a parallel
... Leer más
Monotonicity in Logic and Language

Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Edición de Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held ... Leer más

$1,273 MXN

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held
... Leer más
Requirements Engineering: Foundation for Software Quality

24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Edición de Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial ... Leer más

$909 MXN

This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial
... Leer más
Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Edición de Elizabeth Black, Sanjay Modgil, Nir Oren ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The
... Leer más
Artificial Intelligence in Medicine

16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Edición de Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal
... Leer más
Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Edición de Maurice H. ter Beek, Dejan Ničković ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... Leer más

$909 MXN

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... Leer más
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Edición de Leonel Sousa, Nuno Roma, Pedro Tomás ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Leer más

$2,000 MXN

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... 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

Functional Programming in R 4

Open Source Software for Digital Forensics

Evaluation of Novel Approaches to Software Engineering

Separation Logic for High-level Synthesis

Programming Language Fundamentals by Example

Programming Languages

Transactions on High-Performance Embedded Architectures and Compilers V

Introduction to Programming Languages

Advanced Design and Implementation of Virtual Machines

C++ Quick Syntax Reference

Integrated Formal Methods

Verification, Model Checking, and Abstract Interpretation

Graph Transformation

Programming Language Concepts

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Graph Transformation

Programmieren lernen mit Python und JavaScript

XcalableMP PGAS Programming Language

Monotonicity in Logic and Language

Requirements Engineering: Foundation for Software Quality

Theory and Applications of Formal Argumentation

Artificial Intelligence in Medicine

Formal Methods for Industrial Critical Systems

Euro-Par 2021: Parallel Processing