Home | Amazing | Today | Tags | Publishers | Years | Search 
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim
...

Biophysical Techniques in Photosynthesis (Advances in Photosynthesis and Respiration)
Biophysical Techniques in Photosynthesis (Advances in Photosynthesis and Respiration)
Progress in photosynthesis research is strongly dependent on instrumentation. It is therefore not surprising that the impressive advances that have been made in recent decades are paralleled by equally impressive advances in sensitivity and sophistication of physical equipment and methods. This trend started already shortly after...
MCTS 70-662 Rapid Review: Configuring Microsoft Exchange Server 2010
MCTS 70-662 Rapid Review: Configuring Microsoft Exchange Server 2010
This Rapid Review is designed to help you assess—and complete—your readiness for MCTS exam 70-662: Microsoft Exchange Server 2010, Configuring. The Rapid Review series is intended for exam candidates who already have a solid grasp on the exam objectives through a combination of experience, skills, and...
Twitter Tips, Tricks, and Tweets
Twitter Tips, Tricks, and Tweets
When I wrote the first edition of this book, Twitter was just starting to hit the big time: bemused front page articles in just about every magazine and newspaper in the land wondered just what this Twitter thing was all about; the actor Ashton Kutcher (@aplusk) had just cracked the one million follower mark; and Oprah herself had...
MCITP Self-Paced Training Kit (Exam 70-647): Windows Server 2008 Enterprise Administrator
MCITP Self-Paced Training Kit (Exam 70-647): Windows Server 2008 Enterprise Administrator
This training kit is designed for enterprise administrators who have several years’ experience managing the overall IT environment and architecture of medium to large organizations and who plan to take the Microsoft Certified Information Technology Professional (MCITP) 70-647 exam. As an enterprise...
Adobe Photoshop Elements 10 Classroom in a Book
Adobe Photoshop Elements 10 Classroom in a Book

Adobe Photoshop Elements 10 Classroom in a Book is the most thorough and comprehensive way for you to master all the new features in Adobe's top-rated consumer-targeted photo-editing software. Each chapter in this step-by-step, project-based guide contains a project that builds on your growing knowledge of the program, while...

The Adobe Photoshop CS3 Book for Digital Photographers
The Adobe Photoshop CS3 Book for Digital Photographers

Scott Kelby was honored with Professional Photographer magazine’s highly coveted 2008 Hot One Award for The Adobe Photoshop CS3 Book for Digital Photographers. Here’s what Jeff Kent, the Hot One Editor at Professional Photographer, has to say about the book: “In a how-to published by Peachpit Press, Scott Kelby,...

Planning for IPv6
Planning for IPv6
Many readers may be awaiting the third edition of IPv6 Essentials. The event on February 3, 2011, when the IANA (Internet Assigned Numbers Authority) finally announced the depletion of the global IPv4 address pool changed the world. People seemed to wake up and realize it was high time to start planning for IPv6. But where to start?
...
YouTube: An Insider's Guide to Climbing the Charts
YouTube: An Insider's Guide to Climbing the Charts
Let me begin by making an observation that the authors are too humble to make for themselves: This book will change your life. But more on that in a moment. First I’m going to do something prototypically YouTubian: I’m going to talk about myself.

Like most people, I got to know YouTube as
...
Low-Frequency Noise in Advanced MOS Devices (Analog Circuits and Signal Processing)
Low-Frequency Noise in Advanced MOS Devices (Analog Circuits and Signal Processing)
The excess noise above the well-known thermal noise and shot noise that shows up at low frequencies, the so-called low-frequency noise (other names are 1/f noise or flicker noise), has raised questions for a long time and has now become more important than ever. The low-frequency noise generated in the electronic devices is a...
CCNA Security 640-554 Official Cert Guide
CCNA Security 640-554 Official Cert Guide

Congratulations! If you are reading this, you have in your possession a powerful tool that can help you to

Improve your awareness and knowledge of network security 

Increase your skill level related to the implementation of that security 

Prepare for the CCNA Security...

Perspective Drawing in Adobe Illustrator CS5
Perspective Drawing in Adobe Illustrator CS5
This book is intended for users of Adobe Illustrator CS5. It describes the basics of linear perspective and discusses in detail the feature set available in Illustrator CS5 for drawing a scene in perspective.

Adobe Illustrator CS5 offers a completely new form of vector drawing— perspective or
...
Result Page: 245 244 243 242 241 240 239 238 237 236 235 234 233 232 231 230 229 228 227 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy