Logic and Structure (Universitext)
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem.
Propositional and predicate logic are presented in an easy-to-read style using...
Cisco® OSPF Command and Configuration Handbook (CCIE Professional Development)
As one of the most predominantly deployed Interior Gateway Protocols, Open Shortest Path First (OSPF) demands a wealth of knowledge on the part of internetworking professionals working with it on a daily basis. Unfortunately, publicly available documentation on the OSPF command set varies from being too thin on coverage to...
Programming MapPoint in .NET
Interactive web maps generated by MapPoint-Microsoft's popular mapping technology are crucial for businesses in a number of fields, including real estate, package delivery, and commercial air travel. In a word, MapPoint provides businesses with "location." Specifically, it provides an integrated set of products,...
|Result Page: 278 277 276 275 274 273 272 271 270 269 268 267 266 265 264 263 262 261 260 |