Foundations of Trusted Autonomy, Hussein A. Abbass; Jason Scholz; Darryn J. Reid

Автор: Moti Yung; Jianbiao Zhang; Zhen Yang
Название: Trusted Systems
ISBN: 3319315498 ISBN-13(EAN): 9783319315492
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereedpost-conference proceedings of the 7th International Conference on TrustedSystems, INTRUST 2015, held in Beijing, China, in December 2015. The revised 12 full papers presented have beencarefully reviewed and selected from 29 submissions.

Автор: Michel Dupuy; Pierre Paradinas
Название: Trusted Information
ISBN: 1475775369 ISBN-13(EAN): 9781475775365
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Others sessions are devoted to application like eSociety, TTP Management and PKI, Secure Workflow Environment, Secure Group Communications, and on the deployment of applications: Risk Management, Security Policies andTrusted System Design and Management.

Автор: Joost-Pieter Katoen; Rom Langerak; Arend Rensink
Название: ModelEd, TestEd, TrustEd
ISBN: 3319682695 ISBN-13(EAN): 9783319682693
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed`s former Ph.D.

Автор: Anant Agarwal
Название: Foundations of Analog and Digital Electronic Circuits,
ISBN: 1558607358 ISBN-13(EAN): 9781558607354
Издательство: Elsevier Science
Рейтинг:
Цена: 13304.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computer systems are simply one type of electrical systems. Using the concept of "abstraction", this book attempts to unify electrical engineering and computer science as the art of creating and exploiting successive abstractions to manage the complexity of building useful electrical systems.

Автор: Hanan Samet
Название: Foundations of Multidimensional and Metric Data Structures,
ISBN: 0123694469 ISBN-13(EAN): 9780123694461
Издательство: Elsevier Science
Рейтинг:
Цена: 10441.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses multidimensional point data, object and image-based representations, intervals and small rectangles, and high-dimensional datasets. This book includes a comprehensive survey to spatial and multidimensional data structures and algorithms. It also includes implementation details for some of the most useful data structures.

Автор: Zbigniew W. Ras; Maciek Michalewicz
Название: Foundations of Intelligent Systems
ISBN: 3540612866 ISBN-13(EAN): 9783540612865
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work contains the procedings of the Ninth International Symposium on Methodolologies for Intelligent Systems, ISMIS`96. Topics covered include: approximate reasoning; evolutionary computation; intelligent information systems; and knowledge representation and integration.

Автор: Radomir Stankovic; Paul Leo Butzer; William R. Wad
Название: Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations
ISBN: 9462391599 ISBN-13(EAN): 9789462391598
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dyadic (Walsh) analysis emerged as a new research area in applied mathematics and engineering in early seventies within attempts to provide answers to demands from practice related to application of spectral analysis of different classes of signals, including audio, video, sonar, and radar signals.

Автор: Floriana Esposito; Olivier Pivert; Mohand-Said Hac
Название: Foundations of Intelligent Systems
ISBN: 3319252518 ISBN-13(EAN): 9783319252513
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22ndInternational Symposium on Methodologies for Intelligent Systems, ISMIS 2015,held in Lyon, France, in October 2015. The 31 revised full papers presented together with 18short papers were carefully reviewed and selected from 67 submissions.

Автор: John J. Shynk
Название: Mathematical Foundations for Linear Circuits and Systems in Engineering
ISBN: 1119073472 ISBN-13(EAN): 9781119073475
Издательство: Wiley
Рейтинг:
Цена: 19792.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An introduction to mathematical techniques used in engineering with an emphasis on applications in linear circuits and systems This book provides an integrated approach to learning the necessary mathematical tools specifically used for linear circuits and systems.

Автор: Bernard Candaele; Dimitrios Soudris; Iraklis Anagn
Название: Trusted Computing for Embedded Systems
ISBN: 331909419X ISBN-13(EAN): 9783319094199
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Trusted Computing for Embedded Systems

Автор: Peng Liu; Sushil Jajodia
Название: Trusted Recovery and Defensive Information Warfare
ISBN: 1441949267 ISBN-13(EAN): 9781441949264
Издательство: Springer
Рейтинг:
Цена: 18161.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.