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 Рейтинг: Цена: 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.
Автор: Andrea Caiti; N. Ross Chapman; Jean-Pierre Hermand Название: Acoustic Sensing Techniques for the Shallow Water Environment ISBN: 9402404619 ISBN-13(EAN): 9789402404616 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Автор: C. A. Brebbia; J. C. F. Telles; L. C. Wrobel Название: Boundary Element Techniques ISBN: 3642488625 ISBN-13(EAN): 9783642488627 Издательство: Springer Рейтинг: Цена: 15672.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.
Описание: Advanced Experimental and Numerical Techniques for Cavitation Erosion Prediction
Автор: D. Hogrefe; S. Leue Название: Formal Description Techniques VII ISBN: 0412644509 ISBN-13(EAN): 9780412644504 Издательство: Springer Рейтинг: Цена: 30606.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 Рейтинг: Цена: 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.
Описание: 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).
Описание: 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 Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: G. Sumner; V.B. Livesey Название: Techniques for High Temperature Fatigue Testing ISBN: 0853343144 ISBN-13(EAN): 9780853343141 Издательство: Springer Рейтинг: Цена: 26122.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: E.L. Cusack; E.S. Cordingley Название: Object Oriented Techniques in Telecommunications ISBN: 041261460X ISBN-13(EAN): 9780412614606 Издательство: Springer Рейтинг: Цена: 28734.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.
Автор: R. Pratesi Название: Optronic Techniques in Diagnostic and Therapeutic Medicine ISBN: 146136678X ISBN-13(EAN): 9781461366782 Издательство: Springer Рейтинг: Цена: 6986.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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
