Architecture Automated

AutoCardSorter (Automated CardSorting Tool) Demo


Airport Systems: Planning, Design, and Management


Airport Systems: Planning, Design, and Management


$74.25


* The new standard on airport systems planning,design, and management * Provides solutions to the most pressing airport concerns: expansion, traffic, environment, additions, etc. * Full coverage of computer-based tools and methodology * Additional reports and updates available via authors' website...

The DHCP Handbook: Understanding, Deploying, and Managing Automated Configuration Services


The DHCP Handbook: Understanding, Deploying, and Managing Automated Configuration Services


$14.91


DHCP is an authoritative overview and expert guide to the set up and management of a DHCP server. The book begins with a thorough technical introduction to DHCP--how it was developed, how it interacts with other protocols such as TCP/IP, etc. Part II discusses how DHCP operates; including initial configurations, handling rebooting and lease extension, and DHCP relay agents. In Part III, the aut...

Handbook of Practical Logic and Automated Reasoning


Handbook of Practical Logic and Automated Reasoning


$106.40


This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual imple...



Architecture Automated