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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Boldo, Sylvie. (Tekijä)
Muut tekijät:	Melquiond, Guillaume (19..-....). (Auteur)
Aineistotyyppi:	E-Book
Kieli:	Anglais
Julkaistu:	London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Aiheet:	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
Linkit:	Accès à l'E-book

Samankaltaisia teoksia

Finite math for dummies
Tekijä: Sterling, Mary Jane.

The Gross-Zagier formula on Shimura curves
Tekijä: Yuan, Xinyi.
Julkaistu: (2013)

Scratch 2.0 beginner's guide
Tekijä: Badger, Michael.
Julkaistu: (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
Tekijä: Nixon, Dan.
Julkaistu: (2015)

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

Some problems of unlikely intersections in arithmetic and geometry
Tekijä: Zannier, Umberto (1957-....).
Julkaistu: (2012)

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

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

Blender 3D cookbook : build your very own stunning characters in Blender from scratch
Tekijä: Valenza, Enrico.
Julkaistu: (2015)

Arithmétique
Tekijä: Liret, François (19..-....).
Julkaistu: (2019)

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!
Tekijä: Lentin, Joseph.
Julkaistu: (2015)

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

Simulation
Tekijä: Ross, Sheldon M. (1943-....).

LibGDX game development by example : learn how to create your very own game using the LibGDX cross-platform framework
Tekijä: Cook, James (1983-....).
Julkaistu: (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
Tekijä: Creighton, Ryan Henson.
Julkaistu: (2011)

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

Bio-inspired algorithms for engineering
Tekijä: Alanis, Alma Y. (19..-....).
Julkaistu: (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
Tekijä: Wolff, David.
Julkaistu: (2013)

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

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

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

Great principles of computing
Tekijä: Denning, Peter J. (1942-....).
Julkaistu: (2015)

Cyber-physical attacks : a growing invisible threat
Tekijä: Loukas, George.
Julkaistu: (2015)

Visual analytics with Tableau
Tekijä: Loth, Alexander.

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

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

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

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

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

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

Raspberry Pi Android projects : create exciting projects by connecting Raspberry Pi to your Android phone
Tekijä: Kurt, Gökhan.
Julkaistu: (2015)

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

Deep learning with PyTorch : a practical approach to building neural network models using PyTorch
Tekijä: Subramanian, Vishnu (19..-....).
Julkaistu: (2018)

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

Learning Proxmox VE
Tekijä: Goldman, Rik.
Julkaistu: (2016)

Mastering Proxmox
Tekijä: Ahmed, Wasim.
Julkaistu: (2016)

pfSense 2 cookbook : a practical, example-driven guide to configure even the most advanced features of pfSense 2
Tekijä: Williamson, Matt.
Julkaistu: (2011)

Raspberry Pi user guide
Tekijä: Upton, Eben.

Le contrat de maintenance informatique : un contrat bien verrouillé !
Tekijä: Cohen, Véronique-Déborah (1976-....).
Julkaistu: (2013)

OpenVPN 2 cookbook : 100 simple and incredibly effective recipes for harnessing the power of the OpenVPN 2 network
Tekijä: Keijser, Jan Just.
Julkaistu: (2011)

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