U- and E-Service, Science and Technology, Dominik Slezak; Frode Eika Sandnes; Byeong-Ho Kang

Автор: Manish Parashar; Sanjeev K. Aggarwal
Название: Distributed Computing and Internet Technology
ISBN: 3540897364 ISBN-13(EAN): 9783540897361
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Featuring current research and results in theory, methodology and applications of Distributed Computing and Internet Technology, the papers are subdivided in topical sections on distributed systems and languages, data grid, security, mobile ad-hoc networks, distributed databases, Web applications, and P2P systems.

Автор: James (Jong Hyuk) Park; Victor C.M. Leung; Cho-Li
Название: Future Information Technology, Application, and Service
ISBN: 9401783691 ISBN-13(EAN): 9789401783699
Издательство: Springer
Рейтинг:
Цена: 36570.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is proceedings of the 7th FTRA International Conference on Future Information Technology (FutureTech 2012).

Автор: Charles A. Shoniregun
Название: Impacts and Risk Assessment of Technology for Internet Security
ISBN: 1461498910 ISBN-13(EAN): 9781461498919
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Details the key impacts and risk assessment within the context of technology-enabled information (TEI). This volume is designed as a secondary text for graduate students, and also for a professional audience of researchers and practitioners in industry.

Автор: Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Mahesh
Название: Automated Technology for Verification and Analysis
ISBN: 354088386X ISBN-13(EAN): 9783540883869
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.