Search results for “[Subject: methods-quantity]”

• Author(s): Catherine DuBois • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in...

• Author(s): Ding-Geng Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Probability & Statistics - GeneralFrom the Back CoverThis book gathers invited presentations from the 2nd Symposium of the ICSA- CANADA Chapter held at t...

• Author(s): Jan Beran • Publisher: Springer • Publisher Imprint: Springer • BISAC: EconometricsFrom the Back Cover​The purpose of this book is to establish a connection between the traditional field of empirical economic research and the emergin...

• Author(s): Jaromír Antoch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Probability & Statistics - GeneralFrom the Back CoverThis volume collects authoritative contributions on analytical methods and mathematical statistics. ...

• Author(s): Clarisse Sieckenius De Souza • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesSemiotic engineering was originally proposed as a semiotic approach to designing user interface languages. Over the years, with ...

• Author(s): Keijiro Araki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which was held i...

• Author(s): Sara Eloy • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralFrom the Back CoverThis edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon ...

• Author(s): Olli Mali • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe importance of accuracy verification methods was understood at the very beginning of the development of numerical an...

• Author(s): Girish Chandra • Publisher: Springer • Publisher Imprint: Springer • BISAC: BiostatisticsFrom the Back CoverThis book presents recent developments in statistical methodologies with particular relevance to applications in forestry and...

• Author(s): Marcy Meyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Teaching - Subjects - Arts & HumanitiesThis open access book introduces readers to the craft of writing iconographic research poetry in a way that is schola...

• Author(s): Ming-Hui Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Probability & Statistics - GeneralBayesian statistics is one of the active research areas in statistics. This book provides the theoretical background beh...

• Author(s): Lubos Brim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThese are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for...

• Author(s): A. Bensoussan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceIRIA-LABORIA + has organized, this year, an International Conference on Control Theory, Numerical Methods and Computer Systems Modelling. This...

• Author(s): Mark Chang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverClassic biostatistics, a branch of statistical science, has as its main focus the applications of statistics in public he...

• Author(s): Elena Zattoni • Publisher: Springer • Publisher Imprint: Springer • BISAC: Automation​Structural Methods in the Study of Complex Systems helps the reader respond to the challenge of mastering complexity in systems and control. The bo...

• Author(s): Francisco S. Guzmán • Publisher: Springer • Publisher Imprint: Springer • BISAC: Physics - Mathematical & ComputationalFrom the Back CoverThis textbook is a comprehensive overview of the construction, implementation, and applicat...

• Author(s): Laura Georgescu • Publisher: Springer • Publisher Imprint: Springer • BISAC: History & Surveys - ModernFrom the Back CoverThis book examines the philosophical and scientific achievements of Sir Kenelm Digby, a successful English ...

• Author(s): Olli Mali • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe importance of accuracy verification methods was understood at the very beginning of the development of numerical an...

• Author(s): Michele Fabrizio • Publisher: Springer • Publisher Imprint: Springer • BISAC: Physics - Condensed MatterFrom the Back CoverThis textbook presents various methods to deal with quantum many-body systems, mainly addressing interacting e...

• Author(s): Mark Chang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverClassic biostatistics, a branch of statistical science, has as its main focus the applications of statistics in public he...

• Author(s): Otto J. W. F. Kardaun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Physics - Mathematical & ComputationalFrom the Back CoverClassical Methods of Statistics is a blend of theory and practical statistical methods wr...

• Author(s): D. M. Maloney • Publisher: Springer • Publisher Imprint: Springer • BISAC: Philosophy & Social AspectsRegulations on human subjects research have evolved over a 20-year period and now provide a formal set of requirements for the ...

• Author(s): Lothar Schäfer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Textiles & PolymersFrom the Back CoverSchäfer gives a concise overview of the static equilibrium properties of polymer solutions. In the first part diagr...

• Author(s): Mark Fossett • Publisher: Springer • Publisher Imprint: Springer • BISAC: DemographyFrom the Back CoverThis book is open access under a CC BY-NC 2.5 license.This book introduces new methods for measuring and analyzing residential seg...

• Author(s): George Fikioris • Publisher: Springer • Publisher Imprint: Springer • BISAC: ElectricalThis book describes and illustrates the application of several asymptotic methods that have proved useful in the authors' research in electromagne...

• Author(s): Gerard O'Regan • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThis invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applic...

• Author(s): Janine E. Janosky • Publisher: Springer • Publisher Imprint: Springer • BISAC: Critical CareSingle Subject Designs in Biomedicine draws upon the rich history of single case research within the educational and behavioral research sett...

• Author(s): Kevin Lano • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through t...

• Publisher: Springer • Publisher Imprint: Springer • BISAC: General1 Descriptive Statistical Techniques.- 2 Environmetric Methods of Nonstationary Time-Series Analysis: Univaraute Methods.- 3 Regression and Correlation.- 4 Factor and Correlatio...

• Author(s): James E. Sallis • Publisher: Springer • Publisher Imprint: Springer • BISAC: StatisticsFrom the Back CoverThis introductory textbook presents research methods and data analysis tools in non-technical language. It explains the researc...

• Author(s): Gyung-Jin Park • Publisher: Springer • Publisher Imprint: Springer • BISAC: Industrial Design - ProductFrom the Back CoverIn the competitive world of modern engineering, rigorous and definite design methodologies are needed. However,...

• Author(s): Art B. Owen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverThis book presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte Carlo M...

• Author(s): Diane Bretherton • Publisher: Springer • Publisher Imprint: Springer • BISAC: Social PsychologyFrom the Back Cover Our world appears to be in endless crisis and increasingly people wonder if they can do something to make a difference...

• Author(s): Emil Sekerinski • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on Sept...

• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Internationa...

• Author(s): D. L. Colton | R. P. Gilbert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical AnalysisConvergence of the discrete ordinates method for the transport equation.- The numerical solution of the equations for rota...