Pattern Calculus: Computing with Functions and Structures
The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in...
What is Mathematical Logic? This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
For Your Body Only: Discover the Diet You Were Born to Eat
Cracking the code to the perfect personalized diet—and a lifetime of super-health Have you ever wondered why a new diet is invented almost every other day, yet obesity levels and disease in this country remain at an all-time high? Have you wondered why the diet that works so well for your friend has no impact on you—or even makes...
Core Java Volume I--Fundamentals (10th Edition) (Core Series)
Core Java® has long been recognized as the leading, no-nonsense tutorial and reference for experienced programmers who want to write robust Java code for real-world applications. Now, Core Java®, Volume I–Fundamentals, Tenth Edition, has been extensively updated to reflect the...
Learning Shell Scripting with Zsh
Your one-stop guide to reading, writing, and debugging simple and complex Z shell scripts
A step-by-step guide that will show you how to use Zsh and its repertoire of powerful features to improve the efficiency of your daily tasks
Learn how to configure and use Zsh
CONCUR 2004 -- Concurrency Theory
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.
The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency...
Practical C++ Programming, Second Edition
This book is devoted to practical C++ programming. It teaches you not only the mechanics of the language, but also style and debugging. The entire life cycle of a program is discussed, including conception, design, writing, debugging, release, documentation, maintenance, and revision.
Style is emphasized....
Immunochemical Protocols (Methods in Molecular Biology)
Immunochemical techniques have been in use for many years with early examples of bacterial strain typing dating back to the 1940s. The basis for the science is the exquisite elegance of the mammalian immune system with its ability to recognize foreign proteins and to manufacture antibody m- ecules that strongly bind to the substances that...
|Result Page: 11 10 9 8 7 6 5 4 3 2 |