 |
|
 Practical Optimization: Algorithms and Engineering ApplicationsPractical Optimization: Algorithms and Engineering Applications provides a hands-on treatment of the subject of optimization. A comprehensive set of problems and exercises makes the book suitable for use in one or two semesters of a first-year graduate course or an advanced undergraduate course. Each half of the book contains a... | | Software Verification and Validation: An Engineering and Scientific ApproachThe world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In todays market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provide such confidence is commonly called software... | | Professional SlickEdit (Programmer to Programmer)Professional SlickEditis the first guide to the award-winning SlickEdit tools, and is technically reviewed by the SlickEdit development team. SlickEdit expert John Hurst shares his years of experience in developing with SlickEdit to teach readers how to maximize the tool’s features, and to write and debug code faster than they have... |
|
|
| | | | CAFE: An Industrial-Strength Algebraic Formal MethodThis book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10... |
|
Logic in Computer Science: Modelling and Reasoning about Systems"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE
"Readers searching for a good book on formal methods will find it here." Choice
The... | | CCNA: Cisco Certified Network Associate FastPassConcise, Accessible Coverage of All CCNA Objectives for Exam 640-801
Two Bonus Exams on the CD
Written by Todd Lammle, the Leading Authority on Cisco Internetworking
From the author of Sybex's best-selling CCNA: Cisco Certified Network Associate Study Guide comes the streamlined tool you need to hone in on... | | Tricks of the eBay Masters (2nd Edition)Take the mystery out of eBay and the enviable PowerSellers. Tricks of the eBay Masters, Second Edition is full of advice and over 600 tricks from expert eBay users. They learned by doing and are now going to pass on their wisdom to you. Find out how to jazz up your auction listings with HTML, how to increase buyer traffic through key... |
|
| Result Page: 792 791 790 789 788 787 786 785 784 783 782 781 780 779 778 777 776 775 774 |
