Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Enregistré dans:

Détails bibliographiques
Auteur principal:	Boldo, Sylvie. (Auteur)
Autres auteurs:	Melquiond, Guillaume (19..-....). (Auteur)
Support:	E-Book
Langue:	Anglais
Publié:	London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Sujets:	Coq (Electronic resource). Coq > logiciel. Arithmétique interne des ordinateurs. Arithmétique en virgule flottante. Computer algorithms. Computer arithmetic. Floating-point arithmetic.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

Finite math for dummies
par: Sterling, Mary Jane.

The Gross-Zagier formula on Shimura curves
par: Yuan, Xinyi.
Publié: (2013)

Scratch 2.0 beginner's guide
par: Badger, Michael.
Publié: (2014)

Getting started with Python and Raspberry Pi : learn to design and implement reliable Python applications on Raspberry Pi, using a range of external libraries, the Raspberry Pi's GPIO port, and the camera module
par: Nixon, Dan.
Publié: (2015)

Arithmétique
par: Liret, François (19..-....).
Publié: (2019)

OpenCV for secret agents : use OpenCV in six secret projects to augment your home, car, phone, eyesight, and any photo or drawing
par: Howse, Joseph.
Publié: (2015)

Some problems of unlikely intersections in arithmetic and geometry
par: Zannier, Umberto (1957-....).
Publié: (2012)

Cryptography apocalypse : preparing for the day when quantum computing breaks today's crypto
par: Grimes, Roger A. (1966-....).

Blender 3D cookbook : build your very own stunning characters in Blender from scratch
par: Valenza, Enrico.
Publié: (2015)

Blender 3D basics : a quick and easy-to-use guide to create 3D modeling and animation using Blender 2.7
par: Fisher, Gordon.
Publié: (2014)

Learning robotics using Python : design, simulate, program, and prototype an interactive autonomous mobile robot from scratch with the help of Python, ROS, and Open-CV!
par: Lentin, Joseph.
Publié: (2015)

Simulation
par: Ross, Sheldon M. (1943-....).

Unity 5.x cookbook : over 100 recipes exploring the new and exciting features of Unity 5 to spice up your Unity skill set
par: Smith, Matt.
Publié: (2015)

Unity 3.x game development by example : beginner's guide : a seat-of-your-pants manual for building fun, groovy little games quicklywith Unity 3.x
par: Creighton, Ryan Henson.
Publié: (2011)

Unity 3D game development by example : beginner's guide : a seat-of-your-pants manual for building fun, groovy little games quickly
par: Creighton, Ryan Henson.
Publié: (2010)

LibGDX game development by example : learn how to create your very own game using the LibGDX cross-platform framework
par: Cook, James (1983-....).
Publié: (2015)

Bio-inspired algorithms for engineering
par: Alanis, Alma Y. (19..-....).
Publié: (2018)

OpenGL 4 shading language cookbook : over 70 recipes demonstrating simple and advanced techniques fot producing high-qualitu, real-time 3D graphics using OpenGL and GLSL 4.x
par: Wolff, David.
Publié: (2013)

OpenGL 4.0 shading language cookbook : over 60 highly focused, practical recipes to maximize your use of the OpenGL shading language
par: Wolff, David.
Publié: (2011)

Ogre 3D 1.7 beginner's guide : create real-time 3D applications using Ogre 3D from scratch
par: Kerger, Felix.
Publié: (2010)

Great principles of computing
par: Denning, Peter J. (1942-....).
Publié: (2015)

Introduction to practice of molecular simulation : molecular dynamics, Monte Carlo, brownian dynamics, Lattice Boltzmann and dissipative particle dynamics
par: Satō, Akira (1958-....).
Publié: (2011)

Mastering Oculus Rift development : explore the new frontier of virtual reality with the Oculus Rift and bring the VR revolution to your own projects
par: Donovan, Jack.
Publié: (2017)

Learning robotics using Python : design, simulate, program, and prototype an autonomous mobile robot using ROS, OpenCV, PCL, and Python
par: Lentin, Joseph.
Publié: (2018)

Learning ROS for robotics programming : your one-stop guide to the Robot Operating System
par: Fernández, Enrique.
Publié: (2015)

Applications of computer vision in fashion and textiles
Publié: (2017)

Cyber-physical attacks : a growing invisible threat
par: Loukas, George.
Publié: (2015)

Arithmétique classique : exemples et exercices corrigés
par: Lamoitier, Jean-Pierre (19..-....; informaticien).
Publié: (2022)

Visual analytics with Tableau
par: Loth, Alexander.

Inkscape : beginner's guide : create attractive layout designs, logos, brochures, icons, and more using the Inkscape vector graphics editor
par: Hiitola, Bethany.
Publié: (2012)

Essential algorithms : a practical approach to computer algorithms using Python and C#
par: Stephens, Rod (1961-....).

Raspberry Pi Android projects : create exciting projects by connecting Raspberry Pi to your Android phone
par: Kurt, Gökhan.
Publié: (2015)

Mastering Proxmox
par: Ahmed, Wasim.
Publié: (2016)

Deep learning with PyTorch : a practical approach to building neural network models using PyTorch
par: Subramanian, Vishnu (19..-....).
Publié: (2018)

Gephi cookbook : over 90 hands-on recipes to master the art of network analysis and visualization with Gephi
par: Khokhar, Devangana.
Publié: (2015)

Learning Proxmox VE
par: Goldman, Rik.
Publié: (2016)

Close range photogrammetry and machine vision
Publié: (1996)

L'arithmétique : une introduction ludique. exemples et exercices corrigés
par: Lamoitier, Jean-Pierre (19..-....; informaticien).
Publié: (2013)

L'arithmétique : une introduction ludique. exemples et exercices corrigés
par: Lamoitier, Jean-Pierre (19..-....; informaticien).
Publié: (2013)

Building modern serverless web APIs : Develop Microservices and Implement Serverless : Applications with .NET Core 3.1 and AWS lambda
par: Sarkar, Tanmoy (19..-....).

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1