Автор: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z ISBN: 3319335995 ISBN-13(EAN): 9783319335995 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
Автор: Egon B?rger; Michael Butler; Jonathan P. Bowen; Pa Название: Abstract State Machines, B and Z ISBN: 3540876022 ISBN-13(EAN): 9783540876021 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop.
Автор: Wagar Hasan Название: Optimization of SQL Queries for Parallel Machines ISBN: 3540620656 ISBN-13(EAN): 9783540620655 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Parallel execution of SQL queries against large databases offers a solution to the problem of reducing query response. This book addresses the related optimization problem: given an SQL query, find the plan that delivers the result in minimal time.
Автор: Werner Kluge Название: Abstract Computing Machines ISBN: 3642059384 ISBN-13(EAN): 9783642059384 Издательство: Springer Рейтинг: Цена: 74490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Автор: Masters Timothy Название: Deep Belief Nets in C++ and Cuda C: Volume 1: Restricted Boltzmann Machines and Supervised Feedforward Networks ISBN: 1484235908 ISBN-13(EAN): 9781484235904 Издательство: Springer Рейтинг: Цена: 27940.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards. The first of three in a series on C++ and CUDA C deep learning and belief nets, Deep Belief Nets in C++ and CUDA C: Volume 1 shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a thought process that is capable of learning abstract concepts built from simpler primitives. As such, you'll see that a typical deep belief net can learn to recognize complex patterns by optimizing millions of parameters, yet this model can still be resistant to overfitting. All the routines and algorithms presented in the book are available in the code download, which also contains some libraries of related routines. What You Will Learn
Employ deep learning using C++ and CUDA C
Work with supervised feedforward networks
Implement restricted Boltzmann machines
Use generative samplings
Discover why these are important
Who This Book Is For Those who have at least a basic knowledge of neural networks and some prior programming experience, although some C++ and CUDA C is recommended.
Автор: Butler Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z ISBN: 3319912704 ISBN-13(EAN): 9783319912707 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Автор: Paolo Rocchi Название: Logic of Analog & Digital Machines ISBN: 1626180385 ISBN-13(EAN): 9781626180383 Издательство: Nova Science Рейтинг: Цена: 99250.00 T Наличие на складе: Невозможна поставка. Описание: Scientists from different fields are searching for the appropriate definition of what is digital and analogue, but the profile of the technologies that have changed mankinds lifestyle and the history of the world still resist the scrutiny of thinkers. Rocchi, a brilliant scientist of IBM, claims that understanding analogue versus digital is not as easy as comparing the adjectives digital/continuous or natural/artificial. He suggests a new key to interpret the digital and analogue machines. The author conducts an accurate analysis of the systems core which he expands in the current new edition.
Автор: Lucio Tommaso De Paolis; Patrick Bourdot; Antonio Название: Augmented Reality, Virtual Reality, and Computer Graphics ISBN: 3319609270 ISBN-13(EAN): 9783319609270 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017. The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions.
Автор: Lucio Tommaso De Paolis; Patrick Bourdot; Antonio Название: Augmented Reality, Virtual Reality, and Computer Graphics ISBN: 3319609211 ISBN-13(EAN): 9783319609218 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017. The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions.
Автор: Alexey Lastovetsky; Tahar Kechadi; Jack Dongarra Название: Recent Advances in Parallel Virtual Machine and Message Passing Interface ISBN: 3540874747 ISBN-13(EAN): 9783540874744 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Covers the proceedings of the 15th European PVM/MPI Users` Group Meeting held in Dublin, Ireland, in September 2008. This book contains topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, and synchronisation issues.
Автор: Kecheng Liu Название: Virtual, Distributed and Flexible Organisations ISBN: 9048166039 ISBN-13(EAN): 9789048166039 Издательство: Springer Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour.
Автор: Peter B. Andersen; Lars Qvortrup Название: Virtual Applications ISBN: 1849968918 ISBN-13(EAN): 9781849968911 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
