5 resultater (0,84635 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Formal Methods and Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Formal Methods and Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

DKK 220.00
1

The History of the GPU - Eras and Environment - Bog af Jon Peddie - Paperback

The History of the GPU - Eras and Environment - Bog af Jon Peddie - Paperback

This is the second book in a three-part series that traces the development of the GPU, which is defined as a single chip with an integrated transform and lighting (T&L) capability. This feature previously was found in workstations as a stand-alone chip that only performed geometry functions. Enabled by Moore¿s law, the first era of GPUs began in the late 1990s.Silicon Graphics (SGI) introduced T&L first in 1996 with the Nintendo 64 chipset with integrated T&L but didn¿t follow through. ArtX developed..

DKK 326.95
4