Advanced Data Structures Advanced Data Structures presents a comprehensive look at the ideas, analysis, and implementation details of data structures as a specialized topic in applied algorithms. Data structures are how data is stored within a computer, and how one can go about searching for data within. This text examines efficient ways to search and update sets of... 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... Algorithms on Strings 'perfect for lectures on 'stringology', for graduate students as a reference on the topic and for appliers in linguistic or molecular biology' Acta Scientiarum Mathematicarum
This text and reference on string processes and pattern matching presents examples related to the automatic processing of natural language, to the...
Mass Dimension One Fermions (Cambridge Monographs on Mathematical Physics)
In 2005, Dharam Ahluwalia and Daniel Grumiller reported an unexpected theoretical discovery of mass dimension one fermions. These are an entirely new class of spin one half particles, and because of their mass dimensionality mismatch with the standard model fermions they are a first-principle dark matter candidate. Written by one of the... 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 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...
Logic of Analog and Digital Machines
Computer Science is a very young discipline compared to most others. Alan Turing
published the seminal paper of the field in 1936. Around the same time, the militaries in
Germany, UK, and US commissioned the first digital electronic computer projects. One of
these, the Colossus at Bletchley Park in the UK, was used to break the... Seismic Wave Theory
Perfect for senior undergraduates and first-year graduate students in geophysics, physics, mathematics, geology and engineering, this book is devoted exclusively to seismic wave theory. The result is an invaluable teaching tool, with its detailed derivations of formulas, clear explanations of topics, exercises along with selected answers, and an... Modern Compiler Implementation in ML
Over the pasi decade, there have been several shifts in the way compilers are
built. New kinds of programming languages are being used: object-oriented
languages with dynamic methods, functional languages with nested scope
and first-class function closures; and many of these languages require garbage
collection. New machines have...
|Result Page: 71 70 69 68 67 66 65 64 63 62 |