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

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Pavel Pudl?k
Название: Logical Foundations of Mathematics and Computational Complexity
ISBN: 3319342681 ISBN-13(EAN): 9783319342689
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Автор: 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

Автор: 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.

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

Автор: 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.

Автор: 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.

Автор: J. Meixner; F.W. Sch?fke; G. Wolf
Название: Mathieu Functions and Spheroidal Functions and their Mathematical Foundations
ISBN: 3540102825 ISBN-13(EAN): 9783540102823
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.