Formal Description Techniques VII, D. Hogrefe; S. Leue

Автор: Gregor von Bochmann; Rachida Dssouli; Omar Rafiq
Название: Formal Description Techniques VIII
ISBN: 041273270X ISBN-13(EAN): 9780412732706
Издательство: Springer
Рейтинг:
Цена: 32004.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents papers from the 8th IFIP TC6 International Conference on Formal Description Techniques, held in 1995. The focus is on the techniques standardized by ISO and ITU-T (formerly CCITT), namely Estelle, Lotos and SD, but there are also papers on other techniques.

Автор: R. Gotzhein; J. Bredereke
Название: Formal Description Techniques IX
ISBN: 041279490X ISBN-13(EAN): 9780412794902
Издательство: Springer
Рейтинг:
Цена: 43184.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs.

Автор: Clive A J Fletcher
Название: Computational Techniques for Fluid Dynamics Vol..1
ISBN: 3540530584 ISBN-13(EAN): 9783540530589
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This well-known 2-volume textbook provides senior undergraduate and postgraduate engineers, scientists and applied mathematicians with the specific techniques, and the framework to develop skills in using the techniques in the various branches of computational fluid dynamics. A solutions manual to the exercises is in preparation.

Автор: Newton Paul K.
Название: The N-Vortex Problem / Analytical Techniques
ISBN: 0387952268 ISBN-13(EAN): 9780387952260
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an introduction to current research on the N- vortex problem of fluid mechanics. Its goal is to describe the Hamiltonian aspects of vortex dynamics so that graduate students and researchers can use the book as an entry point into the rather large literature on integrable and non-integrable vortex problems within the broader context of dynamical systems. It is as self-contained as possible: the only training required of the reader is a good background in advanced calculus and ordinary and partial differential equations at the level of a typical undergraduate engineering, physics, or applied mathematics major. Exercises of varying difficulty are found at the end of each chapter which often require the reader to fill in details of proofs or complete examples.