This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
WeiterlesenThe international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
WeiterlesenThis year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
WeiterlesenThis book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
WeiterlesenThis book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
WeiterlesenThis book examines the origin of the technological and organizational challenges of industry in Europe and the United States ...
WeiterlesenIntroduces the factorization method in quantum mechanics at an advanced level with an aim to put mathematical and physical ...
WeiterlesenThe present book deals with factorization problems for matrix and operator functions. The problems originate from, or are ...
WeiterlesenThis book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
WeiterlesenPractical Geometry is the name of the craft for medieval landmeasurers, otherwise known as surveyors in modern times. Fibonacci ...
WeiterlesenCovers financial data and univariate models; asset returns; interest rates, yields and spreads; volatility and correlation; ...
WeiterlesenThis text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
WeiterlesenThis easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
WeiterlesenThis self-tutorial offers a concise yet thorough grounding in the mathematics necessary for successfully applying FEMs to ...
WeiterlesenThe finite element method is widely employed for numerical simulations in engineering and science due to its accuracy and ...
WeiterlesenThe book starts with definition of invariant zeros and goes as far as a general characterization of output-zeroing inputs ...
WeiterlesenLot streaming is a process of breaking a batch of jobs into smaller lots, and then processing these in an overlapping fashion ...
WeiterlesenA main theme of the book outlines the role of the quantum potential in quantum mechanics and general relativity and one of ...
WeiterlesenSimple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
WeiterlesenAddressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
Weiterlesen