Formal Description Techniques VIII, Gregor von Bochmann; Rachida Dssouli; Omar Rafiq

Автор: D. Hogrefe; S. Leue
Название: Formal Description Techniques VII
ISBN: 0412644509 ISBN-13(EAN): 9780412644504
Издательство: Springer
Рейтинг:
Цена: 26711.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. It should be of interest to engineers and researchers in communications and software engineering.

Автор: R. Gotzhein; J. Bredereke
Название: Formal Description Techniques IX
ISBN: 041279490X ISBN-13(EAN): 9780412794902
Издательство: Springer
Рейтинг:
Цена: 37688.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.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412820609 ISBN-13(EAN): 9780412820601
Издательство: Springer
Рейтинг:
Цена: 30370.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).

Автор: Newton Paul K.
Название: The N-Vortex Problem / Analytical Techniques
ISBN: 0387952268 ISBN-13(EAN): 9780387952260
Издательство: Springer
Рейтинг:
Цена: 10976.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.

Автор: E. Stein; W. Wendland
Название: Finite Element and Boundary Element Techniques from Mathematical and Engineering Point of View
ISBN: 3211821031 ISBN-13(EAN): 9783211821039
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Traditional FEM and the more recent BEM underlie many engineering computational methods and corresponding software.

Автор: P. Filippi
Название: Theoretical Acoustics and Numerical Techniques
ISBN: 3211817867 ISBN-13(EAN): 9783211817865
Издательство: Springer
Рейтинг:
Цена: 12537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: G. Sumner; V.B. Livesey
Название: Techniques for High Temperature Fatigue Testing
ISBN: 0853343144 ISBN-13(EAN): 9780853343141
Издательство: Springer
Рейтинг:
Цена: 22797.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: R. Pratesi
Название: Optronic Techniques in Diagnostic and Therapeutic Medicine
ISBN: 146136678X ISBN-13(EAN): 9781461366782
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The contributions presented at the Conference are written as extended, review- like papers to provide a broad and representative coverage of the fields of light sources, optoelectronic systems for medical diagnosis, and light and laser applications to Medicine.

Автор: E.L. Cusack; E.S. Cordingley
Название: Object Oriented Techniques in Telecommunications
ISBN: 041261460X ISBN-13(EAN): 9780412614606
Издательство: Springer
Рейтинг:
Цена: 25077.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents a sample of British Telecom laboratories work in object technology as applied to communications engineering. This book focuses on research activities which are extending knowledge and includes case studies, investigatory applications and prototyped systems.

Автор: C. A. Brebbia; J. C. F. Telles; L. C. Wrobel
Название: Boundary Element Techniques
ISBN: 3642488625 ISBN-13(EAN): 9783642488627
Издательство: Springer
Рейтинг:
Цена: 13677.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: VI SOCRATES: I think that we ought to stress that we will write only about things that we have first hand experience in, in a coherent way that will be useful to engineers and other scientists and stressing the formulation without being too mathematical.

Автор: Kim, Ki Hang Franc, Jean-pierre (university Of Grenoble) Karimi, Ayat
Название: Advanced experimental and numerical techniques for cavitation erosion prediction
ISBN: 9401785384 ISBN-13(EAN): 9789401785389
Издательство: Springer
Рейтинг:
Цена: 17074.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Advanced Experimental and Numerical Techniques for Cavitation Erosion Prediction

Автор: Guo
Название: Nonlinear Control Techniques
ISBN: 1138634220 ISBN-13(EAN): 9781138634220
Издательство: Taylor&Francis
Рейтинг:
Цена: 20671.00 р.
Наличие на складе: Нет в наличии.

Описание: Nonlinear Control Techniques for Electro-Hydraulic Actuators in Robotics Engineering meets the needs of those working in advanced electro-hydraulic controls for modern mechatronic and robotic systems.