Protocol Test Systems, Tadanori Mizuno; Teruo Higashino; Norio Shiratori

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

Автор: Lai
Название: Communication Protocol Specification and Verification
ISBN: 0792382846 ISBN-13(EAN): 9780792382843
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Автор: Ana Cavalli; Stan Budkowski
Название: Protocol Test Systems VIII
ISBN: 0412781107 ISBN-13(EAN): 9780412781100
Издательство: Springer
Рейтинг:
Цена: 35777.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These papers from the 1995 International Workshop on Protocol Test Systems present research in the area of architecture and protocols for computer networks. Themes covered include testing methods, test environments, test generation, and algorithms and languages.

Автор: Gredler Hannes, Goralski Walter
Название: The Complete IS-IS Routing Protocol
ISBN: 1852338229 ISBN-13(EAN): 9781852338220
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Detailed case studies illustrate interoperability issues between the two major routing vendors, Cisco Systems and Juniper NetworksHighly pratical: explains why IS-IS works the way it does to how IS-IS behaves in the real world of routers and networks

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

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

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

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

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