Rakuten Kobo

Handbook of Floating-Point Arithmetic

de Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres ...

Series series Mathematics and Statistics (R0)
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop ... Leer más

$152.99 USD

This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop
... Leer más
Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Edición de Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez ...

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 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision ... Leer más

$67.49 USD

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision
... 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

$49.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
Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Edición de Steve Counsell, Manuel Núñez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis ... Leer más

$49.49 USD

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis
... Leer más
MATLAB Recipes

A Problem-Solution Approach

de Michael Paluszek, Stephanie Thomas ...

Series series Professional and Applied Computing (R0)
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment ... Leer más

$53.99 USD

Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environment
... Leer más
Web Development with Go

Building Scalable Web Apps and RESTful Services

de Shiju Varghese ...

Series series Professional and Applied Computing (R0)
Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud.Web Development with Go will teach you how to develop scalable real-world web ... Leer más

$49.49 USD

Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud.Web Development with Go will teach you how to develop scalable real-world web
... Leer más
LLVM Essentials

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler

de Suyog Sarda, Mayur Pandey ...

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for ... Leer más

$21.89 USD o gratis con Kobo Plus

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for
... Leer más
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Edición de Jules Desharnais, Walter Guttmann, Stef Joosten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Leer más

$49.49 USD

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the
... Leer más
Numerical C

Applied Computational Programming with Case Studies

de Philip Joyce ...

Series series Professional and Applied Computing (R0)
Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to ... Leer más

$44.99 USD

Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to
... Leer más
Java 9 Modularity Revealed

Project Jigsaw and Scalable Java Applications

de Alexandru Jecan ...

Series series Professional and Applied Computing (R0)
Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime ... Leer más

$31.49 USD

Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime
... Leer más
Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Edición de Sandra Wienke, Sridutt Bhalachandra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Leer más

$49.49 USD

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Leer más
Beginning Ring Programming

From Novice to Professional

de Mansour Ayouni ...

Series series Professional and Applied Computing (R0)
Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and ... Leer más

$62.99 USD

Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and
... Leer más
Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Edición de George Cybenko, David Pym, Barbara Fila ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Leer más

$49.49 USD

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for
... Leer más
Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Edición de Maurice H. ter Beek, Annabelle McIver, José N. Oliveira ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations;
... Leer más
Language Implementation Patterns

Create Your Own Domain-Specific and General Programming Languages

de Terence Parr ...

Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your ... Leer más

$18.79 USD

Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your
... Leer más
Pro TypeScript

Application-Scale JavaScript Development

de Steve Fenton ...

Series series Professional and Applied Computing (R0)
Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New ... Leer más

$71.99 USD

Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New
... Leer más
Raspberry Pi Supercomputing and Scientific Programming

MPI4PY, NumPy, and SciPy for Enthusiasts

de Ashwin Pajankar ...

Series series Professional and Applied Computing (R0)
Build an inexpensive cluster of multiple Raspberry Pi computers and install all the required libraries to write parallel and scientific programs in Python 3. This book covers setting up your Raspberry Pis, installing the necessary software, and making a cluster of multiple Pis.Once the cluster is built, its power has to be exploited by means of programs to run on it. So, Raspberry Pi ... Leer más

$58.49 USD

Build an inexpensive cluster of multiple Raspberry Pi computers and install all the required libraries to write parallel and scientific programs in Python 3. This book covers setting up your Raspberry Pis, installing the necessary software, and making a cluster of multiple Pis.Once the cluster is built, its power has to be exploited by means of programs to run on it. So, Raspberry Pi
... Leer más
PRICAI 2019: Trends in Artificial Intelligence

16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

Edición de Abhaya C. Nayak, Alok Sharma ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics ... Leer más

$49.49 USD

This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics
... Leer más
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Edición de Steffen Herbold, Jens Grabowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Leer más

$49.49 USD

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... Leer más
Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

Edición de Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation,
... Leer más
GROKKING ALGORITHM BLUEPRINT

Advanced Guide to Help You Excel Using Grokking Algorithms

de William Turner ...

Grokking Algorithms is a book that aims to help readers understand the fundamental concepts of computer science algorithms. It covers various algorithms and data structures, including searching, sorting, graph algorithms, dynamic programming, and more.The book presents the concepts clearly and concisely, with plenty of illustrations and examples to help readers grasp the ideas. It also includes ... Leer más

$4.99 USD

Grokking Algorithms is a book that aims to help readers understand the fundamental concepts of computer science algorithms. It covers various algorithms and data structures, including searching, sorting, graph algorithms, dynamic programming, and more.The book presents the concepts clearly and concisely, with plenty of illustrations and examples to help readers grasp the ideas. It also includes
... Leer más
Building Scalable PHP Web Applications Using the Cloud

A Simple Guide to Programming and Administering Cloud-Based Applications

de Jonathan Bartlett ...

Series series Professional and Applied Computing (R0)
Eliminate the guesswork involved in writing and deploying a cloud application. This step-by-step guide uses PHP to minimize the complexity of the code and setup, but the tools and techniques can be applied on any platform using any language. Everything that you need to jumpstart your application on the cloud is right here.Clear diagrams, step-by-step configuration information, and complete code ... Leer más

$31.49 USD

Eliminate the guesswork involved in writing and deploying a cloud application. This step-by-step guide uses PHP to minimize the complexity of the code and setup, but the tools and techniques can be applied on any platform using any language. Everything that you need to jumpstart your application on the cloud is right here.Clear diagrams, step-by-step configuration information, and complete code
... Leer más
Customizing Dynamics 365

Implementing and Releasing Business Solutions

de Sanjaya Yapa ...

Series series Professional and Applied Computing (R0)
Gain an understanding of basic and advanced customizations in Dynamics 365 and learn how they can be effectively used to implement simple business requirements. This is a practical book for developers that explains the use of various Dynamics 365 features as well as use of advanced concepts such as Azure integration and custom development.Customizing Dynamics 365 starts by explaining the business ... Leer más

$58.49 USD

Gain an understanding of basic and advanced customizations in Dynamics 365 and learn how they can be effectively used to implement simple business requirements. This is a practical book for developers that explains the use of various Dynamics 365 features as well as use of advanced concepts such as Azure integration and custom development.Customizing Dynamics 365 starts by explaining the business
... Leer más
Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Edición de Goetz Botterweck, Claudia Werner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... Leer más

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

Mostrar: