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

NUnit Pocket Reference

Up and Running with NUnit

de Bill Hamilton ...

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source ... Leer más

$96 MXN

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source
... Leer más
Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Edición de Alessandro Cimatti, Laura Titolo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.The papers focus on development and application of formal methods in industry. FMICS is a platform for ... Leer más

$1,196 MXN

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.The papers focus on development and application of formal methods in industry. FMICS is a platform for
... 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

$920 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
Languages and Compilers for Parallel Computing

32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

Edición de Santosh Pande, Vivek Sarkar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for ... Leer más

$920 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for
... Leer más
Foundational and Practical Aspects of Resource Analysis

Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Edición de Ugo Dal Lago, Ricardo Peña ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of ... Leer más

$736 MXN

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of
... Leer más
Quick Clojure

Effective Functional Programming

de Mark McDonnell ...

Series series Professional and Applied Computing (R0)
Get up to speed with Clojure in this quick and practical primer. You'll learn the nuts and bolts of functional programming, data structures, sequences, destructuring, pattern matching, polymorphism, concurrency, conventions, and more. Author Mark McDonnell talks about organization with namespaces; how to change the language via macros; object-oriented programming; and creating command-line apps. ... Leer más

$602 MXN

Get up to speed with Clojure in this quick and practical primer. You'll learn the nuts and bolts of functional programming, data structures, sequences, destructuring, pattern matching, polymorphism, concurrency, conventions, and more. Author Mark McDonnell talks about organization with namespaces; how to change the language via macros; object-oriented programming; and creating command-line apps.
... Leer más
#1 Book on Python Programming

de Minhaj ...

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction ... Leer más

$86 MXN

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction
... Leer más
Intermediate Vulkan Programming- Building 3D Graphics

Vulcan Fundamentals, #2

de Kameron Hussain, Frahaan Hussain ...

Series Libro 2 - Vulcan Fundamentals
Dive deep into the world of 3D graphics with "Intermediate Vulkan Programming: Building 3D Graphics, 2nd Edition." This comprehensive guide is perfect for developers who have a basic understanding of Vulkan and are looking to enhance their skills. This edition provides an updated and thorough exploration of Vulkan's powerful capabilities, helping you create stunning 3D graphics with precision and ... Leer más

$172 MXN

Dive deep into the world of 3D graphics with "Intermediate Vulkan Programming: Building 3D Graphics, 2nd Edition." This comprehensive guide is perfect for developers who have a basic understanding of Vulkan and are looking to enhance their skills. This edition provides an updated and thorough exploration of Vulkan's powerful capabilities, helping you create stunning 3D graphics with precision and
... Leer más
Languages for Digital Embedded Systems

de Stephen A. Edwards ...

Series Libro 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... Leer más

$2,575 MXN

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

$920 MXN

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Leer más
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Edición de Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in
... Leer más
Stylish F#

Crafting Elegant Functional Code for .NET and .NET Core

de Kit Eason ...

Series series Professional and Applied Computing (R0)
Why just get by in F# when you can program in style! This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code.Stylish F# covers every design decision that a developer makes in constructing F# programs, helping you make the most educated and valuable design choices at every stage of code ... Leer más

$1,083 MXN

Why just get by in F# when you can program in style! This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code.Stylish F# covers every design decision that a developer makes in constructing F# programs, helping you make the most educated and valuable design choices at every stage of code
... Leer más
Software Engineering: Specification, Implementation, Verification

de Suad Alagić ...

Series series Computer Science (R0)
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... Leer más

$1,288 MXN

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is
... Leer más
String Analysis for Software Verification and Security

de Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Leer más

$1,196 MXN

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Leer más
Reactive Programming with Angular and ngrx

Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions

de Oren Farhi ...

Series series Professional and Applied Computing (R0)
Manage your Angular development using Reactive programming. Growing in popularity and now an essential part of any professional web developer's toolkit, Reactive programming can enrich your development and make your code more efficient.Featuring a core application to explore and build yourself, this book shows you how to utilize ngrx/store as a state management with Redux pattern, and how to ... Leer más

$1,152 MXN

Manage your Angular development using Reactive programming. Growing in popularity and now an essential part of any professional web developer's toolkit, Reactive programming can enrich your development and make your code more efficient.Featuring a core application to explore and build yourself, this book shows you how to utilize ngrx/store as a state management with Redux pattern, and how to
... Leer más
Visual Design of GraphQL Data

A Practical Introduction with Legacy Data and Neo4j

de Thomas Frisendal ...

Series series Professional and Applied Computing (R0)
Get an introduction to the visual design of GraphQL data and concepts, including GraphQL structures, semantics, and schemas in this compact, pragmatic book. In it you will see simple guidelines based on lessons learned from real-life data discovery and unification, as well as useful visualization techniques. These in turn help you improve the quality of your API designs and give you the skills to ... Leer más

$808 MXN

Get an introduction to the visual design of GraphQL data and concepts, including GraphQL structures, semantics, and schemas in this compact, pragmatic book. In it you will see simple guidelines based on lessons learned from real-life data discovery and unification, as well as useful visualization techniques. These in turn help you improve the quality of your API designs and give you the skills to
... Leer más
Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Edición de Anthony Anjorin, Huáscar Espinoza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution ... Leer más

$920 MXN

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution
... Leer más
Guide to Scientific Computing in C++

de Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style ... Leer más

$607 MXN

This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style
... 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,461 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
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

$490 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
Digital Electronics for Musicians

de Alexandros Drymonitis ...

Series series Professional and Applied Computing (R0)
This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and even new instruments with that knowledge.You’ll learn the basics of the Pure Data and Arduino languages, how to incorporate ... Leer más

$1,152 MXN

This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and even new instruments with that knowledge.You’ll learn the basics of the Pure Data and Arduino languages, how to incorporate
... Leer más
PHP Mastery: Crafting Dynamic Web Solutions

de Kameron Hussain, Frahaan Hussain ...

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting ... Leer más

$172 MXN

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting
... Leer más
Practical PHP 7, MySQL 8, and MariaDB Website Databases

A Simplified Approach to Developing Database-Driven Websites

de Adrian W. West, Steve Prettyman ...

Series series Professional and Applied Computing (R0)
Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security, ... Leer más

$1,152 MXN

Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security,
... Leer más
Small Dynamic Complexity Classes

An Investigation into Dynamic Descriptive Complexity

de Thomas Zeume ...

Series series Computer Science (R0)
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. ... Leer más

$920 MXN

"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context.
... 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

NUnit Pocket Reference

Formal Methods for Industrial Critical Systems

Requirements Engineering: Foundation for Software Quality

Languages and Compilers for Parallel Computing

Foundational and Practical Aspects of Resource Analysis

Quick Clojure

#1 Book on Python Programming

Intermediate Vulkan Programming- Building 3D Graphics

Languages for Digital Embedded Systems

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

Stylish F#

Software Engineering: Specification, Implementation, Verification

String Analysis for Software Verification and Security

Reactive Programming with Angular and ngrx

Visual Design of GraphQL Data

Modelling Foundations and Applications

Guide to Scientific Computing in C++

Practical C

Interactive Object Oriented Programming in Java

Digital Electronics for Musicians

PHP Mastery: Crafting Dynamic Web Solutions

Practical PHP 7, MySQL 8, and MariaDB Website Databases

Small Dynamic Complexity Classes