



Proof Complexity (Encyclopedia of Mathematics and its Applications)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This selfcontained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various...   Classical Field Theory
Classical field theory predicts how physical fields interact with matter, and is a logical precursor to quantum field theory. This introduction focuses purely on modern classical field theory, helping graduates and researchers build an understanding of classical field theory methods before embarking on future studies in quantum field theory. It...   



Markov Chains and Stochastic Stability (Cambridge Mathematical Library)'This second edition remains true to the remarkable standards of scholarship established by the first edition ... it will no doubt be a very welcome addition to the literature.' Peter W. Glynn, Prologue to the Second Edition
Meyn & Tweedie is back! The bible on Markov chains in general state spaces has been brought up to...   FixedMobile Wireless Networks Convergence: Technologies, Solutions, ServicesThis practical book is for anyone who needs to understand the solutions that allow multimedia communications between mobile networks and fixed wireless communications. It presents the fundamentals of individual fixed and mobile wireless technologies in terms of architectures, standards, management capabilities and quality of service issues, is...   Partial Differential Equations in Fluid DynamicsThis book is concerned with partial differential equations applied to fluids problems in science and engineering. This work is designed for two potential audiences. First, this book can function as a text for a course in mathematical methods in fluid mechanics in nonmathematics departments or in mathematics service courses. The authors have taught... 


Result Page: 59 58 57 56 55 54 53 52 51 50 