Protocol Test Systems VIII, Ana Cavalli; Stan Budkowski

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 0412636409 ISBN-13(EAN): 9780412636400
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents research worldwide on communications protocols, emphasizing specification and compliance testing. This book presents the proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing and held in Vancouver, Canada.

Автор: Piotr Dembinski; Marek Sredniawa
Название: Protocol Specification, Testing and Verification XV
ISBN: 0412716208 ISBN-13(EAN): 9780412716201
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing.

Автор: Phani Raj Tadimety
Название: OSPF: A Network Routing Protocol
ISBN: 1484214110 ISBN-13(EAN): 9781484214114
Издательство: Springer
Рейтинг:
Цена: 3347.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Learn how routersnetwork using the OSPF (Open Shortest Path First) protocol and unpickDijkstra`s Network Algorithm to see how OSPF performs the calculations todetermine the shortest or most appropriate path between two routers.

Автор: Guckenheimer John, Holmes Philip
Название: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
ISBN: 0387908196 ISBN-13(EAN): 9780387908199
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the reviews: "This book is concerned with the application of methods from dynamical systems and bifurcation theories to the study of nonlinear oscillations. Chapter 1 provides a review of basic results in the theory of dynamical systems, covering both ordinary differential equations and discrete mappings. Chapter 2 presents 4 examples from nonlinear oscillations. Chapter 3 contains a discussion of the methods of local bifurcation theory for flows and maps, including center manifolds and normal forms. Chapter 4 develops analytical methods of averaging and perturbation theory. Close analysis of geometrically defined two-dimensional maps with complicated invariant sets is discussed in chapter 5. Chapter 6 covers global homoclinic and heteroclinic bifurcations. The final chapter shows how the global bifurcations reappear in degenerate local bifurcations and ends with several more models of physical problems which display these behaviors." #Book Review - Engineering Societies Library, New York#1 "An attempt to make research tools concerning `strange attractors' developed in the last 20 years available to applied scientists and to make clear to research mathematicians the needs in applied works. Emphasis on geometric and topological solutions of differential equations. Applications mainly drawn from nonlinear oscillations." #American Mathematical Monthly#2

Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Название: Protocol Test Systems
ISBN: 1475763107 ISBN-13(EAN): 9781475763102
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Название: Protocol Test Systems
ISBN: 0412711605 ISBN-13(EAN): 9780412711602
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the research results in protocol testing. This book contains the proceedings of the seventh IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS `94), organized by the International Federation for Information Processing and held in Tokyo, Japan in November 1994.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412820609 ISBN-13(EAN): 9780412820601
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).