 |
|
 iOS Programming: The Big Nerd Ranch Guide (2nd Edition) (Big Nerd Ranch Guides)
In this book, the world's leading Apple platform development trainers offer a complete, practical, hands-on introduction to iPhone and iPad programming. The authors walk through all the Apple tools and technologies needed to build successful iPhone/iPad/iPod touch apps, including the iOS 4.3 SDK, the Objective-C language, Xcode 4,... | | Nagios: System and Network Monitoring
Good system administrators recognize problems long before anyone asks, "Hey, is the Internet down?" Nagios, an open source system and network monitoring tool, has emerged as the most popular solution for sys admins in organizations of all sizes. It's robust but also complex, and Nagios: System and Network Monitoring, 2nd... | | Phase Transitions in Machine Learning
From its inception in the 1930s, the rich and vigorous field of computer science
has been concerned with the resources, both in time and in memory, needed to
carry out a computation. A number of fundamental theorems were discovered
that resorted to a worst-case analysis. The central question was whether a given
algorithm could be... |
|
|
| | Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... | | |
|
|
| Result Page: 76 75 74 73 72 71 70 69 68 67 66 |
