Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Symposium on Real-Time and Hybrid Systems, Cliff Jones; Ji Wang; Naijun Zhan


Варианты приобретения
Цена: 6097.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2026-06-01
Ориентировочная дата поставки: Июль
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Cliff Jones; Ji Wang; Naijun Zhan
Название:  Symposium on Real-Time and Hybrid Systems
ISBN: 9783030014605
Издательство: Springer
Классификация:





ISBN-10: 3030014606
Обложка/Формат: Soft cover
Страницы: 263
Вес: 0.43 кг.
Дата издания: 2018
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 68 illustrations, black and white; xii, 263 p. 68 illus.
Размер: 234 x 156 x 15
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bj?rner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.
Дополнительное описание: Think Sequential, Run Parallel.- Concurrency: Handling interference Formally.- Decidability of the Initial-state Opacity of Real-time Automata.- Domain Science and Engineering: A Review of 10 Years Work.- HAT: Analyzing Linear Hybrid Automata As Labeled T



Real-Time Collision Detection

Автор: Christer Ericson
Название: Real-Time Collision Detection
ISBN: 1558607323 ISBN-13(EAN): 9781558607323
Издательство: Taylor&Francis
Рейтинг:
Цена: 16078.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by an expert in the game industry, Christer Ericson's new book is a comprehensive guide to the components of efficient real-time collision detection systems. The book provides the tools and know-how needed to implement industrial-strength collision detection for the highly detailed dynamic environments of applications such as 3D games, virtual reality applications, and physical simulators. Of the many topics covered, a key focus is on spatial and object partitioning through a wide variety of grids, trees, and sorting methods.

The author also presents a large collection of intersection and distance tests for both simple and complex geometric shapes. Sections on vector and matrix algebra provide the background for advanced topics such as Voronoi regions, Minkowski sums, and linear and quadratic programming. Of utmost importance to programmers but rarely discussed in this much detail in other books are the chapters covering numerical and geometric robustness, both essential topics for collision detection systems.

Also unique are the chapters discussing how graphics hardware can assist in collision detection computations and on advanced optimization for modern computer architectures. All in all, this comprehensive book will become the industry standard for years to come. The book presents algorithms and data structures with wide applications to the fields of game development, virtual reality, physically based simulation, CAD/CAM, architectural and scientific visualization, molecular modeling, engineering simulation, GIS, ray tracing, and more; describes tested, real-world methods, liberally illustrated by C & C++ code; and, reviews necessary concepts from mathematics and computational geometry, and includes extensive references to other sources and research literature.

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data

Автор: Maosong Sun, Xiaojie Wang, Baobao Chang
Название: Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
ISBN: 3319690043 ISBN-13(EAN): 9783319690049
Издательство: Springer
Рейтинг:
Цена: 5300.00 р.
Наличие на складе: Есть (3 шт.)
Описание: This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. Minority language information processing.

Agent Systems, Mobile Agents, and Applications

Автор: David Kotz; Friedemann Mattern
Название: Agent Systems, Mobile Agents, and Applications
ISBN: 354041052X ISBN-13(EAN): 9783540410522
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers are organized in topical sections on migration, security issues, systems and applications, mobile agent applications, applications of multi-agent systems, communication and mobility control, co-operation and interaction.

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions

Автор: Anish Deb; Srimanti Roychoudhury; Gautam Sarkar
Название: Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions
ISBN: 3319266829 ISBN-13(EAN): 9783319266824
Издательство: Springer
Рейтинг:
Цена: 17097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Non-Sinusoidal Orthogonal Functions in Systems and Control.- Hybrid Function (HF) and Its Properties.- Function Approximation via Hybrid Functions.- Integration and Differentiation Using HF Domain Operational Matrices.- One-Shot Operational Matrices for Integration.- Solution of Linear Differential Equations.- Convolution of Time Functions.- Time Invariant System Analysis: State Space Approach.- Time Varying System Analysis: State Space Approach.- Multi-Delay System Analysis: State Space Approach.- Time Invariant System Analysis: Method of Convolution.- System Identification using State Space Approach: Time Invariant Systems.- System Identification using State Space Approach: Time Varying Systems.- Time Invariant System Identification: via 'Deconvolution'.- System Identification: Parameter Estimation of Transfer Function.

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems Using Orthogonal Hybrid Functions: Theory and Alg

Автор: Deb Anish, Roychoudhury Srimanti, Sarkar Gautam
Название: Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems Using Orthogonal Hybrid Functions: Theory and Alg
ISBN: 3319799975 ISBN-13(EAN): 9783319799971
Издательство: Springer
Рейтинг:
Цена: 22451.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Non-Sinusoidal Orthogonal Functions in Systems and Control.- Hybrid Function (HF) and Its Properties.- Function Approximation via Hybrid Functions.- Integration and Differentiation Using HF Domain Operational Matrices.- One-Shot Operational Matrices for Integration.- Solution of Linear Differential Equations.- Convolution of Time Functions.- Time Invariant System Analysis: State Space Approach.- Time Varying System Analysis: State Space Approach.- Multi-Delay System Analysis: State Space Approach.- Time Invariant System Analysis: Method of Convolution.- System Identification using State Space Approach: Time Invariant Systems.- System Identification using State Space Approach: Time Varying Systems.- Time Invariant System Identification: via 'Deconvolution'.- System Identification: Parameter Estimation of Transfer Function.

Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits

Автор: Ledin Jim
Название: Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits
ISBN: 1789955963 ISBN-13(EAN): 9781789955965
Издательство: Неизвестно
Рейтинг:
Цена: 10114.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book takes embedded system developers through the complete process of developing systems based on field-programmable gate arrays (FPGAs). You`ll not only understand the concepts underlying embedded systems and FPGAs but also explore the powerful free FPGA tools to design electronic circuits and construct and debug prototype embedded devices.

Advances in Brain, Vision, and Artificial Intelligence

Автор: Francesco Mele; Giuliana Ramella; Silvia Santillo;
Название: Advances in Brain, Vision, and Artificial Intelligence
ISBN: 3540755543 ISBN-13(EAN): 9783540755548
Издательство: Springer
Рейтинг:
Цена: 12805.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007, held in Naples, Italy, October 10-12, 2007. This book presents 50 revised papers that were reviewed and selected from more than 80 submissions for inclusion.

Practical Aspects of Declarative Languages

Автор: Paul Hudak; David S. Warren
Название: Practical Aspects of Declarative Languages
ISBN: 3540774416 ISBN-13(EAN): 9783540774419
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008, colocated with POPL 2008, the Symposium on Principles of Programming Languages. This book presents 20 revised full papers together with the abstract of 1 invited talk.

Programming Languages and Systems

Автор: Zhong Shao
Название: Programming Languages and Systems
ISBN: 3540766367 ISBN-13(EAN): 9783540766360
Издательство: Springer
Рейтинг:
Цена: 9756.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. This book includes papers that focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and safety.

Advances in Computation and Intelligence

Автор: Sanyou Zeng
Название: Advances in Computation and Intelligence
ISBN: 3540745807 ISBN-13(EAN): 9783540745808
Издательство: Springer
Рейтинг:
Цена: 14025.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Symposium on Intelligence Computation and Applications, ISICA 2007, held in Wuhan, China, September 21-23, 2007. This book presents 71 revised full papers that were reviewed and selected from nearly 1000 submissions.

Formal Techniques in Real-Time and Fault-Tolerant Systems

Автор: Mathai Joseph
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540410554 ISBN-13(EAN): 9783540410553
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

Formal Techniques in Real-Time and Fault-Tolerant Systems

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 15855.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия