Automated Theorem Proving: A Logical Basis

#tweetsmart

By J. S. McDougall

US$8.50

(MCTS) Microsoft BizTalk Server 2010 (70-595) Certification Guide (Second Edition)

By Johan Hedberg

US$21.50

.NET & XML

By Niel M. Bornstein

US$16.00

'Fundamentals of Image, Audio, and Video Processing Using MATLAB®' and 'Fundamentals of Graphics Using MATLAB®'

By Ranjan Parekh

US$32.48