Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
Encyclopedia of Native American Healing
Encyclopedia of Native American Healing

From our very first contacts, our relationships with Native American healers has continually been a love-hate affair. This unusual dichotomy stems from the fact that Native Americans have always seen external reality through different eyes. They inhabit a world in which the Creator is known only as a "Great Mystery." Such...

Patterns of Software: Tales from the Software Community
Patterns of Software: Tales from the Software Community
"This is a clear, insightful book that takes an alternative look at some of the broader issues surrounding software development.... The commentary on the work of Christopher Alexander, currently being taken up so fervently by the software architecture community, is particularly appealing."--Sanjiv Gossain, Associate Director, Cambridge...
Advanced Oracle PL/SQL Programming with Packages (Nutshell Handbook)
Advanced Oracle PL/SQL Programming with Packages (Nutshell Handbook)
Make sure as many PL/SQL developers as possible know about packages and how to use them. Students who attend my training sessions soon come to realize after a day or two that the answer to almost any question I ask is: "Build a package." They also often stumble out of the sessions chanting the mantra:...
How to Make Anyone Fall in Love With You
How to Make Anyone Fall in Love With You
Hard to believe anything other than luck and maybe fate, never mind a book, can make someone fall in love with you, but oddly enough, Leil Lowndes seems to offer the advice that can do just that in How to Make Anyone Fall in Love with You. The sensation of falling in love comes from a chemical secreted by the nervous system,...
Schaum's Outline of Programming With C++
Schaum's Outline of Programming With C++
This Schaum's Outline presents all the fundamental concepts of the current ANSI standard version of the C++ programming language. This is an object-oriented extension of the very popular C language, and it promises to grow in popularity. Many complete programs are included.

Master programming with C++ with Schaum's--the
...
CGI Programming on the World Wide Web (Nutshell Handbook)
CGI Programming on the World Wide Web (Nutshell Handbook)
O'Reilly has done it again! This is my favorite book yet on writing CGI scripts with Perl (5.0). The extensive use of real world applications you can try while learning, and the great examples of how to have CGI interact with databases are especially useful. I suspect I shall order several copies for some of our staff who are new to CGI. Although...
Military Cryptanalysis, Part I, Monoalphabetic Substitution Systems (Cryptographic Series, C-30)
Military Cryptanalysis, Part I, Monoalphabetic Substitution Systems (Cryptographic Series, C-30)

This book provides an excellent foundation for solving cipher systems. The text describes the fundamental principles of cipher solution plus use of the unilateral frequency distribution in the solution process is covered in some detail. Various unilateral and multilateral systems are carefully discussed. In addition, the text introduces the...

Statistical Software Engineering
Statistical Software Engineering

The development and the production of high-quality, reliable, complex computer software have become critical issues in the enormous worldwide computer technology market. The capability to efficiently engineer computer software development and production processes is central to the future economic strength, competitiveness, and national security...

Gas Chromatography and Mass Spectrometry
Gas Chromatography and Mass Spectrometry
This guide provides, under one cover, a wealth of practical information designed to facilitate the effectiveness of the GC/MS user. Separation conditions for numerous compound types are provided along with derivatized and underivatized compounds. A section on how to interpret mass spectral data, an extensive correlation of ion masses and neutral...
What Makes Great Great
What Makes Great Great

In What Makes the Great Great, Dennis Kimbro, author of the bestselling Think and Grow Rich: A Black Choice, introduces inspiring people who have achieved greatness in their own unique way, then highlights those qualities each of us must develop before we reach our full potential. Regardless of how you define greatness--whether...

Perl 5 Quick Reference (Quick Reference Series)
Perl 5 Quick Reference (Quick Reference Series)
This book is a reference guide for the programming language called Perl. This book does not describe how to install Perl on your computer; if you do not already have Perl installed, this book will not be very useful!

Perl has many uses, especially in UNIX system administrative tasks, which is where Perl was born and grew up. The name
...
unlimited object storage image
Result Page: Previous 8 9 10 11 12 13 14 15 Next 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy