Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

The Auditory System in Sleep

Academic Press, 2008

Presents, for the first time, the brain during sleep associated to the auditory sensory input.

This book presents for the first time a view of a sensory system working in a different state-that of the sleeping brain. The auditory system is always "open" receiving information from the environment and the body itself...

Titanium Microalloyed Steel: Fundamentals, Technology, and Products

Springer, 2019

This book comprehensively reviews the research on Ti microalloyed steel, focusing on development and production technology. It discusses steel composition design and performance, as well as technologies for controlling the microstructure and properties of Ti microalloyed steel during the production process. Ti can significantly improve...

Handbook of Mathematical Formulas and Integrals, Fourth Edition

Academic Press, 2008

This book contains a collection of general mathematical results, formulas, and integrals that occur throughout applications of mathematics. Many of the entries are based on the updated fifth edition of Gradshteyn and Ryzhik’s ”Tables of Integrals, Series, and Products,” though during the preparation of the book, results were also...

Sams Teach Yourself More Visual Basic .NET in 21 Days

Sams Publishing, 2001

Sams Teach Yourself More Visual Basic.NET in 21 Days provides step-by-step coverage of the most important new features of Visual Basic.NET and .NET that will allow programmers to begin creating rich Web applications and Web Services. Intermediate programmers gain the knowledge and skills to be able to design professional Windows applications and...

A Dictionary of Real Numbers

Springer, 1990

How do we recognize that the number .93371663... is actually 21og1 0(e + 7r)/2 ? Gauss observed that the number 1.85407467... is (essentially) a rational value of an elliptic integral—an observation that was critical in the development of nineteenth century analysis. How do we decide that such a number is actually a special value of a...

Professional Software Development: Shorter Schedules, Higher Quality Products, More Successful Projects, Enhanced Careers

Addison Wesley, 2003

Can you deliver 90% of your software on time, within budget, and fully meet the user's real requirements? Would you like to? Best-selling author Steve McConnell provides a compelling argument for turning software success into an everyday habit by advancing the software profession itself-at the individual, organizational, and...