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

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
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
Essentials of Compilation

An Incremental Approach in Python

de Jeremy G. Siek ...

A hands-on approach to understanding and building compilers using the programming language Python.Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows ... Leer más

$617 MXN

A hands-on approach to understanding and building compilers using the programming language Python.Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows
... Leer más
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

$484 MXN

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
C++17 Standard Library Quick Reference

A Pocket Guide to Data Structures, Algorithms, and Functions

de Peter Van Weert, Marc Gregoire ...

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++17 Standard Library. It does not explain the C++ language or syntax, but is accessible to anyone with basic C++ knowledge or programming experience. Even the most experienced C++ programmer will learn a thing or two from it and find it a useful memory-aid.It is hard to remember ... Leer más

$799 MXN

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++17 Standard Library. It does not explain the C++ language or syntax, but is accessible to anyone with basic C++ knowledge or programming experience. Even the most experienced C++ programmer will learn a thing or two from it and find it a useful memory-aid.It is hard to remember
... 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

$854 MXN

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
Software Technologies

11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Edición de Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends ... Leer más

$909 MXN

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends
... Leer más
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Edición de Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Leer más

$727 MXN

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Leer más
Logics in Artificial Intelligence

16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Edición de Francesco Calimeri, Nicola Leone, Marco Manna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including ... Leer más

$1,636 MXN

This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including
... Leer más
A Programmer's Companion to Algorithm Analysis

de Ernst L. Leiss ...

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary ... Leer más

$1,852 MXN

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary
... 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

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

Monotonicity in Logic and Language

Requirements Engineering: Foundation for Software Quality

Theory and Applications of Formal Argumentation

Artificial Intelligence in Medicine

Essentials of Compilation

C++ Standard Library Quick Reference

C++17 Standard Library Quick Reference

Formal Methods for Multicore Programming

Software Technologies

Practical Aspects of Declarative Languages

Logics in Artificial Intelligence

A Programmer's Companion to Algorithm Analysis