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

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

Автор: D. Hogrefe; S. Leue
Название: Formal Description Techniques VII
ISBN: 0412644509 ISBN-13(EAN): 9780412644504
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 287890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 231990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

Автор: E. Stein; W. Wendland
Название: Finite Element and Boundary Element Techniques from Mathematical and Engineering Point of View
ISBN: 3211821031 ISBN-13(EAN): 9783211821039
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Traditional FEM and the more recent BEM underlie many engineering computational methods and corresponding software.

Автор: Andrea Caiti; N. Ross Chapman; Jean-Pierre Hermand
Название: Acoustic Sensing Techniques for the Shallow Water Environment
ISBN: 9402404619 ISBN-13(EAN): 9789402404616
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On the assessment of geoacoustic parameters in shallow water environments / Jean-Claude Le Gac, Yann Stйphan, Thierry Garlan, N. Weber.- Bayesian inversion of seabed reflection data / Stan E. Dosso, Charles W. Holland- Backpropagation techniques in ocean acoustic inversion: time reversal, retrogation and adjoint modelling - a review / Matthias Meyer, Jean-Pierre Hermand.- Acoustic inversion at low kHz frequencies using an active, vertical line array / Paul C. Hines, Matt Coffin.- Dispersion of broadband acoustic normal modes in the context of long range sediment tomography / Gopu Potty, James Miller- Characterization of local seabed properties using synthetized horizontal array data / Peter L. Nielsen, Mark Fallat, Christopher Harrison.- Characterization of a range-dependent environment from towed array data / Mark Fallat, Peter Nielsen, Stan E. Dosso, Martin Siderius.- Accounting for bias in horizontal wavenumber estimates due to source motion / Kyle M. Becker.- Acoustic clutter from buried submarine mud volcanoes / Charles W. Holland, Anthony L. Gerig, Piero Boni.- Nonlinear acoustical methods in the detection of gassy sediments / Jaroslaw Tegowski, Zygmunt Klusek, Jaromir Jakacki.- Acoustic scattering from submerged and buried objects / Ilkka Karasalo, Patrik Skogqvist.- High-frequency bistatic scattering experiments using proud and buried targets / Philippe Blondel, Peter F. Dobbins, Nic Jayasundere, Mario Cosci.- A sediment probe for the rapid assessment of seabed characteristics / John Osler, Arnold Furlong, Harold Christian.- Continuous acoustic monitoring of physiological and environmental processes in seagrass prairies with focus on photosynthesis / Jean-Pierre Hermand.- Shallow water tomography in a highly variable scenario / Cristiano Soares, Sergio M. Jesus, Emanuel Coelho.- Inversions of reflection loss measumements of a smooth water/sand interface / Marcia J. Isakson, Tracianne Neilsen, AndrewWorley.-Estimation of transmission loss and its uncertainty / Peter Gerstoft, Chen-Fen Huang, William Hodgkiss.- A forward model for geoacoustic inversion based on ray tracing and plane-wave refection coefficients / Jens M. Hovem, Hefeng Dong, Xiukun Li.- Inversion of the propeller harmonics from a light aircraft for the geoacoustic properties of marine sediments / Michael J. Buckingham, Eric M. Giddens, Fernardo Simonet.- Inversion of shallow water ambient noise data by means of differential evolution as a global search method / Dick G. Simons, Camiel van Moll, Chris H. Harrison.- Reflection Loss and Sub-bottom Profiling with Ambient Noise / Chris Harrison.- Inversion of geoacoustic model parameters using ship radiated noise / Ross N. Chapman, Reza M. Dizaji, R. Lyn Kirlin.- Matched-field processing of humpback whale song off eastern Australia / Aaron Thode, Peter Gerstoft, Melanie Guerra, M. Dale Stokes, Michael Noad, Douglas Cato.- Inversions of horizontal and vertical line array data for the estimation of geoacoustic model parameters / Dag Tollefsen, Michael J. Wilmut, Ross N. Chapman.- Issues of enrironment variability in inverse problems in ocean acoustics / David P. Knobles, M. Gray, Robert A. Koch, Adam Cook

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

Автор: E.L. Cusack; E.S. Cordingley
Название: Object Oriented Techniques in Telecommunications
ISBN: 041261460X ISBN-13(EAN): 9780412614606
Издательство: Springer
Рейтинг:
Цена: 191560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced Experimental and Numerical Techniques for Cavitation Erosion Prediction

Автор: Guo
Название: Nonlinear Control Techniques
ISBN: 1138634220 ISBN-13(EAN): 9781138634220
Издательство: Taylor&Francis
Рейтинг:
Цена: 127600.00 T
Наличие на складе: Нет в наличии.
Описание: 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.

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