Автор: Robin E. Bloomfield; Lynn S. Marshall; Roger B. Jo Название: VDM `88. VDM - The Way Ahead ISBN: 3540502149 ISBN-13(EAN): 9783540502142 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Название: 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.
Автор: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z ISBN: 3319335995 ISBN-13(EAN): 9783319335995 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Dines Bj?rner; C.A.R. Hoare; Hans Langmaack Название: VDM `90. VDM and Z - Formal Methods in Software Development ISBN: 3540525130 ISBN-13(EAN): 9783540525134 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.
Автор: Dines Bj?rner; Cliff Jones; Michael Mac An Airchin Название: VDM `87. VDM - A Formal Method at Work ISBN: 3540176543 ISBN-13(EAN): 9783540176541 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Hung Dang Van; Chris George; Tomasz Janowski; Rich Название: Specification Case Studies in RAISE ISBN: 1852333596 ISBN-13(EAN): 9781852333591 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design.
Автор: John R. Rice; Richard A. DeMillo Название: Studies in Computer Science ISBN: 1461357233 ISBN-13(EAN): 9781461357230 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of a conference held in West Lafayette, Indiana, November 1-3, 1989
Автор: David Alex Lamb Название: Studies of Software Design ISBN: 3540612858 ISBN-13(EAN): 9783540612858 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of 13 papers emphasizes methods of studying, analyzing and comparing designs and design methods. The topical focus is primarily in the software architecture level of design and on techniques suitable for dealing with large software systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
