Computer Techniques and Models In Power Systems, 

Автор: Emery & Stone
Название: Techniques For Electronic Resource Management
ISBN: 0838958842 ISBN-13(EAN): 9780838958841
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 47130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Best practices for managing e-resources are critical--two decades after the advent of electronic journals and databases, librarians are still grappling with how to effectively manage these resources in conjunction with their print resources. Now e-books have become yet another stream of purchasing and management, while economic pressures mean that librarians have to justify every penny spent on collections and resource development. This issue of Library Technology Reports details a project by Jill Emery and Graham Stone, Techniques in Electronic Resource Management (TERMS). It encourages open peer commentary and crowdsourcing of areas of best practice for each of the six stages of the e-resources life cycle: Investigation of new content for purchase or additionAcquisition of new contentImplementationOngoing evaluation and accessAnnual reviewCancellation and replacement reviewNo matter their level of experience, all those involved with e-resource management will find this Report a valuable reference.

Автор: Juan C. L?pez; Rom?n Hermida; Walter Geisselhardt
Название: Advanced Techniques for Embedded Systems Design and Test
ISBN: 0792381289 ISBN-13(EAN): 9780792381280
Издательство: Springer
Рейтинг:
Цена: 172320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. This work looks at each specific part of the design process, from specification through to test with an emphasis on behavioral methodologies.

Автор: Anders P. Ravn; Hans Rischel
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540650032 ISBN-13(EAN): 9783540650034
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.

Автор: Habib F. Rashvand, Yousef S. Kavian
Название: Using Cross-Layer Techniques for Communication Systems
ISBN: 1466609605 ISBN-13(EAN): 9781466609600
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 184800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "This book explores how cross-layer methods provide ways to escape from the current communications model and overcome the challenges imposed by restrictive boundaries between layers"--Provided by publisher.

Автор: Bengt Jonsson; Joachim Parrow
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540616489 ISBN-13(EAN): 9783540616481
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Автор: Jorge A. P?rez; Nobuko Yoshida
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3030217582 ISBN-13(EAN): 9783030217587
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Автор: Baier
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 331992611X ISBN-13(EAN): 9783319926117
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- Self-Stabilization.- Self-Healing.- Verification.- Formal Analysis.