Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained 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...
This book is primarily an introduction to the design of algorithms for problem solving.
Its prominent feature is to use a functional language as an implementation language.
Because of the high level of abstraction provided, functional programs tend to be shorter,
clearer and faster to develop than their imperative counterparts. This...
This completely new addition to the Gray's Anatomy family is specifically tailored to meet the needs of today's anatomy students. A team of authors with a wealth of diverse teaching and clinical experience have carefully crafted the book to efficiently cover the information taught in contemporary anatomy courses. A user-friendly...
Maintaining the reliable and efficient generation, transmission and distribution of electrical power is of the utmost importance in a world where electricity is the inevitable means of energy acquisition, transportation, and utilization, and the principle mode of communicating media. Our modern society is entirely dependent on electricity, so...
Dried fruits serve as important healthful snack items around the world. They provide a concentrated form of fresh fruits, prepared by different drying techniques. With their unique combination of taste/aroma, essential nutrients, fibre, and phytochemicals or bioactive compounds, dried fruits are convenient for healthy eating and can bridge...
Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline . . . Lower-division undergraduates...
Ten years ago the authors undertook to produce a book covering the known material on
formal languages, automata theory, and computational complexity. In retrospect, only a
few significant results were overlooked in the 237 pages. In writing a new book on the
subject, we find the field has expanded in so many new directions that a...
This book describes for readers the entire, interconnected complex of theoretical and practical aspects of designing and organizing the production of various electronic devices, the general and main distinguishing feature of which is the high speed of processing and transmitting of digital signals. The authors discuss all the main...
Solve real-life programming problems with a fraction of the code that pure object-oriented programming requires. Use Scala and Clojure to solve in-depth problems with two sets of patterns: object-oriented patterns that become more concise with functional programming, and natively functional patterns. Your code will be more declarative, with...
This is the most systematic, comprehensive and up-to-date book on the theoretical analysis of piezoelectric devices. It is a natural continuation of the author s two previous books: An Introduction to the Theory of Piezoelectricity (Springer, 2005) and The Mechanics of Piezoelectric Structures (World Scientific, 2006). Based on the linear,...
