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

Formal Development of Reactive Systems, Claus Lewerentz; Thomas Lindner


Варианты приобретения
Цена: 12157.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

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

Автор: Claus Lewerentz; Thomas Lindner
Название:  Formal Development of Reactive Systems
ISBN: 9783540588672
Издательство: Springer
Классификация:

ISBN-10: 3540588671
Обложка/Формат: Paperback
Страницы: 400
Вес: 0.58 кг.
Дата издания: 26.01.1995
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 21
Основная тема: Computer Science
Подзаголовок: Case Study Production Cell
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: A systematic comparison of 18 different approaches to the control of a production cell. By analyzing the benefits and explaining the limitations of each formal method, the text provides guidance on the application of appropriate techniques that put formal methods into industrial use.


Reactive Java Programming

Автор: Maglie
Название: Reactive Java Programming
ISBN: 1484214293 ISBN-13(EAN): 9781484214299
Издательство: Springer
Рейтинг:
Цена: 2794.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Learn reactive programming using Java and its functional aspects, sometimes called RxJava. This book shows you how to solve 'callback hell' with RxJava and shows you how to write thread-safe code without hanging onto state variables which comes in handy for cloud computing software-as-a-service issues, especially when dealing with big data processes through streaming. Reactive Java Programming includes unique coverage of reactive Android programming, growing more and more popular in mobile development with the Cloud. After reading this guide to reactive programming, you'll be able to apply it to your own big data cloud applications that use Java. What You'll LearnUse and map observables Filter and combine eventsEmploy subjects, schedulers, and backpressure Handle reactive patternsTest your RxJava codeWrite your own operatorsCarry out reactive Android programming

Who This Book Is ForExperienced Java programmers new to reactive programming and those who may have some experience with reactive programming new to Java.
Case Studies in Intelligent Computing

Название: Case Studies in Intelligent Computing
ISBN: 1138034126 ISBN-13(EAN): 9781138034129
Издательство: Taylor&Francis
Рейтинг:
Цена: 8420.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Although the field of intelligent systems has grown rapidly in recent years, there has been a need for a book that supplies a timely and accessible understanding of this important technology. Filling this need, Case Studies in Intelligent Computing: Achievements and Trends provides an up-to-date introduction to intelligent systems.

This edited book captures the state of the art in intelligent computing research through case studies that examine recent developments, developmental tools, programming, and approaches related to artificial intelligence (AI). The case studies illustrate successful machine learning and AI-based applications across various industries, including:

  • A non-invasive and instant disease detection technique based upon machine vision through the image scanning of the eyes of subjects with conjunctivitis and jaundice
  • Semantic orientation-based approaches for sentiment analysis
  • An efficient and autonomous method for distinguishing application protocols through the use of a dynamic protocol classification system
  • Nonwavelet and wavelet image denoising methods using fuzzy logic
  • Using remote sensing inputs based on swarm intelligence for strategic decision making in modern warfare
  • Rainfall-runoff modeling using a wavelet-based artificial neural network (WANN) model

Illustrating the challenges currently facing practitioners, the book presents powerful solutions recently proposed by leading researchers. The examination of the various case studies will help you develop the practical understanding required to participate in the advancement of intelligent computing applications.

The book will help budding researchers understand how and where intelligent computing can be applied. It will also help more established researchers update their skills and fine-tune their approach to intelligent computing.

Reactive Power Control in AC Power Systems

Автор: Naser Mahdavi Tabatabaei; Ali Jafari Aghbolaghi; N
Название: Reactive Power Control in AC Power Systems
ISBN: 3319511173 ISBN-13(EAN): 9783319511177
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Preface.- Chapter1: Introduction.- Chapter2: Fundamentals of Reactive Power in AC Power Systems.- Chapter3: Reactive Power Role in AC Power Transmission Systems.- Chapter4: Reactive Power Compensation in Energy Transmission Systems With Sinusoidal and Nonsinusoidal Currents.- Chapter5: Reactive Power Importance in Wind Power Plants.- Chapte6: Reactive Power Control and Voltage Stability Problem.- Part 1: Fundamentals and Contemporary Issues of Reactive Power Control in AC Power Systems.- Chapter7: Reactive Power Control and Voltage Stability Problem.- Part 2: Chaper8: Reactive Power Compensation in AC Power Systems.- Chapter9: Modern Solution for Dynamic Reactive Power Compensation.- Chapter10: Optimal Placement of Reactive Power Compensators in AC Power Networks.- Chapter11: Reactive Power Optimization in AC Power Systems.- Chapter12: Implementing Reactive Power Optimization Using Digsilent and Matlab.- Chapter13: Multi-Objective Optimal Reactive Power Dispatch Considering Uncertainties in the Wind Integrated Power Systems.- Chapter14: Reactive Power Optimization Effects on Relays Coordination in AC Power Systems.- Chapter15: Communications for Electric Power Systems.- Chapter16: Scada Applications for the Electric Power System.- Chapter17: The Effect of Geomagnetic Storms on the Electricity Networks.- Chapter18: Electric Transmission Lines Environmental Impact Monitoring.

Stochastic Reactive Distributed Robotic Systems

Автор: Gregory Mermoud
Название: Stochastic Reactive Distributed Robotic Systems
ISBN: 3319026089 ISBN-13(EAN): 9783319026084
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using novel model-based methods, this book bridges the gap between statistical mechanics and control theory by tackling challenges for a class of distributed systems involving a specific type of constitutive components, referred to as Smart Minimal Particles.

Reactive programming with angular and ngrx

Автор: Farhi, Oren
Название: Reactive programming with angular and ngrx
ISBN: 1484226194 ISBN-13(EAN): 9781484226193
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Manage your Angular development with Reactive programming. Featuring a core application to explore and build, this book shows how to utilize ngrx/store as a state management, and ngrx/effects to define a better and more robust application architecture, with working code examples. For developers already familiar with JavaScript and Angular.

Neural Preprocessing and Control of Reactive Walking Machines

Автор: Poramate Manoonpong
Название: Neural Preprocessing and Control of Reactive Walking Machines
ISBN: 364208835X ISBN-13(EAN): 9783642088353
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents biologically inspired walking machines interacting with their physical environment, and shows how the morphology and behavior control of machines can benefit from biological studies.

Robust Perception from Optical Sensors for Reactive Behaviors in Autonomous Robotic Vehicles

Автор: Alexander Schaub
Название: Robust Perception from Optical Sensors for Reactive Behaviors in Autonomous Robotic Vehicles
ISBN: 3658190868 ISBN-13(EAN): 9783658190866
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Alexander Schaub examines how a reactive instinctive behavior, similar to instinctive reactions as incorporated by living beings, can be achieved for intelligent mobile robots to extend the classic reasoning approaches.

Fast and Effective Embedded Systems Development

Автор: Toulson, Rob
Название: Fast and Effective Embedded Systems Development
ISBN: 0081008805 ISBN-13(EAN): 9780081008805
Издательство: Elsevier Science
Рейтинг:
Цена: 8083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Fast and Effective Embedded Systems Design is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, adopting a "learning through doing" strategy. Minimal background knowledge is needed to start. C/C++ programming is applied, with a step-by-step approach which allows you to get coding quickly. Once the basics are covered, the book progresses to some "hot" embedded issues - intelligent instrumentation, wireless and networked systems, digital audio and digital signal processing. In this new edition all examples and peripheral devices are updated to use the most recent libraries and peripheral devices, with increased technical depth, and introduction of the "mbed enabled" concept.

Written by two experts in the field, this book reflects on the experimental results, develops and matches theory to practice, evaluates the strengths and weaknesses of the technology and techniques introduced, and considers applications in a wider context.

New Chapters on:

  • Bluetooth and ZigBee communication
  • Internet communication and control, setting the scene for the 'Internet of Things'
  • Digital Audio, with high-fidelity applications and use of the I2S bus
  • Power supply, and very low power applications
  • The development process of moving from prototyping to small-scale or mass manufacture, with a commercial case study.

  • Updates all examples and peripheral devices to use the most recent libraries and peripheral products
  • Includes examples with touch screen displays and includes high definition audio input/output with the I2S interface
  • Covers the development process of moving from prototyping to small-scale or mass manufacture with commercial case studies
  • Covers hot embedded issues such as intelligent instrumentation, networked systems, closed loop control, and digital signal processing
Stochastic Reactive Distributed Robotic Systems

Автор: Gregory Mermoud
Название: Stochastic Reactive Distributed Robotic Systems
ISBN: 3319347861 ISBN-13(EAN): 9783319347868
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using novel model-based methods, this book bridges the gap between statistical mechanics and control theory by tackling challenges for a class of distributed systems involving a specific type of constitutive components, referred to as Smart Minimal Particles.


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