This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.
Presents algebraic and geometric algorithms to deal with a specific problem, which frequently occurs in model-based robotics systems and is of utmost importance in calibrating the complexity of roboti
Fortran is one of the most common programming languages in the field of science and Fortran compilers are available for almost all computers and are being increasingly used by personal computers. The
Turtle Geometry presents an innovative program of mathematical discovery thatdemonstrates how the effective use of personal computers can profoundly change the nature of astudent's contact with mathem
Multi-grid methods are the most efficient tools for solving elliptic boundary value problems. The reader finds here an elementary introduction to multi-grid algorithms as well as a comprehensive conve
These twenty lectures have been developed and refined by Professor Siebert during the more than two decades he has been teaching introductory Signals and Systems courses at MIT. The lectures are desig
This is the first book on the optimal estimation that places its major emphasis on practical applications, treating the subject more from an engineering than a mathematical orientation.
A basic text on the theoretical foundations of information theory, for graduate students and engineers interested in electrical communications and for others seeking a general introduction to the fiel
The authors take a "No Mysteries" approach to computer systems. They interrelate three different viewpoints to provide a unique understanding of the subject: the perspective of the logic designer, the
The CompTIA Security+ Study Guide (ISBN: 978-1118014738) is a CompTIA Authorized Courseware. It provides 100% coverage of the Security+ exam objectives, and contains clear and concise information on c
Instagram. Whisper. Yik Yak. Vine. YouTube. Kik. Ask.fm. Tinder. The dominant force in the lives of girls coming of age in America today is social media. What it is doing to an entire generation of yo
