Foundations and Practice of Security, Joaquin Garcia-Alfaro; Frederic Cuppens; Nora Cupp

Название: Information Security Theory and Practice
ISBN: 331924017X ISBN-13(EAN): 9783319240176
Издательство: Springer
Рейтинг:
Цена: 57770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the 9th IFIP WG 11.2 International Conference(formerly Workshop) on Information Security Theory and Practices, WISTP 2015, held in Heraklion, Crete, Greece, in August 2015.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151982 ISBN-13(EAN): 9783540151982
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Feng Bao; Liqun Chen; Robert H. Deng; Guojun Wang
Название: Information Security Practice and Experience
ISBN: 3319491504 ISBN-13(EAN): 9783319491509
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Information Security and Practice and Experience, ISPEC 2016, held in Zhangjiajie, China, in November 2016. They cover multiple topics in information security, from technologies to systems and applications.

Автор: Xinyi Huang; Jianying Zhou
Название: Information Security Practice and Experience
ISBN: 3319063197 ISBN-13(EAN): 9783319063195
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 10th International Conference on Information Security Practice and Experience, ISPEC 2014, held in Fuzhou, China, in May 2014. The regular papers are organized in topical sections named: network security; system security; security practice; security protocols; cloud security;

Автор: Javier Lopez; Yongdong Wu
Название: Information Security Practice and Experience
ISBN: 3319175327 ISBN-13(EAN): 9783319175324
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Information Security Practice and Experience, ISPEC 2015, held in Beijing China, in May 2015.

Автор: Yasuhiko Takahara; Yongmei Liu
Название: Foundations and Applications of MIS
ISBN: 1441921753 ISBN-13(EAN): 9781441921758
Издательство: Springer
Рейтинг:
Цена: 186340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical applications ranging from a transaction processing system to a solver system.

Автор: V. Arvind; Sanjiva Prasad
Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540770496 ISBN-13(EAN): 9783540770497
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.

Автор: Ina Schieferdecker; Alan Hartman
Название: Model Driven Architecture - Foundations and Applications
ISBN: 3540690956 ISBN-13(EAN): 9783540690955
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Автор: Luca de Alfaro
Название: Foundations of Software Science and Computational Structures
ISBN: 3642005950 ISBN-13(EAN): 9783642005954
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.

Автор: Richard F. Paige; Alan Hartman; Arend Rensink
Название: Model Driven Architecture - Foundations and Applications
ISBN: 3642026737 ISBN-13(EAN): 9783642026737
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE).

Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock
Название: Formal Methods: Foundations and Applications
ISBN: 3642104517 ISBN-13(EAN): 9783642104510
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

Автор: Thomas K?hne; Bran V. Selic; Marie-Pierre Gervais;
Название: Modelling Foundations and Applications
ISBN: 3642135943 ISBN-13(EAN): 9783642135941
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.