Numerical Computations with GPUs

Volodymyr Kindratenko

Computer Science (R0)

Köp e-boken

Ahorra 10 %Precio de venta: $174.805 CLP.$157.324CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319065489
Fecha de lanzamiento:7 jul 2014
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:7.61 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Modeling in Event-B

Jean-Raymond Abrial

$157.317

Graph Transformation

Juan de Lara, Detlef Plump

$56.180

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

$56.180

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

$56.180

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Formal Aspects of Component Software

José Proença, Markus Lumpe

$56.180

Parallel Computational Technologies

Mikhail Zymbler, Leonid Sokolinsky

$56.180

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$56.180

Introduction to Scilab

Sandeep Nagar

$49.358

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

$56.180

Static Analysis

Xavier Rival

$56.180

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Reversible Computation

Simon Devitt, Ivan Lanese

$56.180

Small Dynamic Complexity Classes

Thomas Zeume

$56.180

Understanding Control Flow

Peter A. Buhr

$56.180

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$56.180

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$56.180

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Runtime Verification

Ezio Bartocci, Rupak Majumdar

$56.180

Introduction to Octave

Sandeep Nagar

$59.855

Euro-Par 2017: Parallel Processing

Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro

$56.180

Foundational and Practical Aspects of Resource Analysis

Ugo Dal Lago, Ricardo Peña

$44.943

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Functional Data Structures in R

Thomas Mailund

$28.343

Guide to Scientific Computing in C++

Joe Pitt-Francis, Jonathan Whiteley

$37.074

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

$56.180

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

$73.037

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

$56.180

Beginning SQL Queries

Clare Churcher

$59.855

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Computational Methods in Systems Biology

Jérôme Feret, Heinz Koeppl

$56.180

Mastering Scale and Complexity in Software Reuse

Goetz Botterweck, Claudia Werner

$56.180

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

$56.180

Programming Languages and Systems

Atsushi Igarashi

$56.180

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

$56.180

Large-Scale Scientific Computing

Ivan Lirkov, Svetozar Margenov

$89.895

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$101.133

Algorithmic Decision Theory

Toby Walsh

$56.180

Numerical Software Verification

Alessandro Abate, Sylvie Boldo

$56.180

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

$56.180

Selected Areas in Cryptography – SAC 2016

Howard Heys, Roberto Avanzi

$56.180

Learning and Intelligent Optimization

Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Random-Like Bi-level Decision Making

Jiuping Xu, Zongmin Li, Zhimiao Tao

$56.180

Ver más por autor

Modern Accelerator Technologies for Geographic Information Science

Xuan Shi, Volodymyr Kindratenko, Chaowei Yang

$101.133

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Numerical Computations with GPUs

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Modeling in Event-B

Graph Transformation

Euro-Par 2016: Parallel Processing

Logical Foundations of Computer Science

Runtime Verification

Formal Aspects of Component Software

Parallel Computational Technologies

Formal Modeling and Analysis of Timed Systems

Interactive Theorem Proving

Introduction to Scilab

Topics in Theoretical Computer Science

Static Analysis

Logic-Based Program Synthesis and Transformation

ModelEd, TestEd, TrustEd

Tools and Algorithms for the Construction and Analysis of Systems

Reversible Computation

Small Dynamic Complexity Classes

Understanding Control Flow

Interactive Theorem Proving

Semantics, Logics, and Calculi

NASA Formal Methods

Runtime Verification

Introduction to Octave

Euro-Par 2017: Parallel Processing

Foundational and Practical Aspects of Resource Analysis

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Functional Data Structures in R

Guide to Scientific Computing in C++

Theory and Practice of Formal Methods

NASA Formal Methods

Formal Aspects of Component Software

Beginning SQL Queries

Computer Aided Verification

Computational Methods in Systems Biology

Mastering Scale and Complexity in Software Reuse

Parallel Processing and Applied Mathematics

Programming Languages and Systems

Descriptional Complexity of Formal Systems

Large-Scale Scientific Computing

Languages and Compilers for Parallel Computing

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Algorithmic Decision Theory

Numerical Software Verification

Fundamentals of Computation Theory

Selected Areas in Cryptography – SAC 2016

Learning and Intelligent Optimization

Verified Software. Theories, Tools, and Experiments

Random-Like Bi-level Decision Making

Ver más por autor

Modern Accelerator Technologies for Geographic Information Science

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Ver más por autor

Modern Accelerator Technologies for Geographic Information Science

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

Modeling in Event-B

Graph Transformation

Euro-Par 2016: Parallel Processing

Logical Foundations of Computer Science

Runtime Verification

Formal Aspects of Component Software

Parallel Computational Technologies

Formal Modeling and Analysis of Timed Systems

Interactive Theorem Proving

Introduction to Scilab

Topics in Theoretical Computer Science

Static Analysis