|
|
|
|
| | The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | AdvancED Flex Application Development: Building Rich Media XMany Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform developers at Almer/Blank, working with Adobe User Group communities, are the creators of the Rich Media Exchange (RMX), a social media network for Adobe developers. In covering just how the RMX was built, this book... |
|
|
|
Yahoo! Maps Mashups (Wrox Mashup Books)Your development world is about to greatly expand because of the new wave of Yahoo! Maps APIs. Written by Charles Freedman, a senior Flash developer at Yahoo!, this book provides you with all the information you'll need to know about these APIs in order to build amazing map mashups. You'll find in-depth coverage of Yahoo! mapping tools and... | | Automated Data Analysis Using ExcelBecause the analysis of copious amounts of data and the preparation of custom reports often take away time from true research, the automation of these processes is paramount to ensure productivity. Exploring the core areas of automation, report generation, data acquisition, and data analysis, Automated Data Analysis Using Excel illustrates how to... | | A Guide to MATLAB Object-Oriented ProgrammingI am an admitted object-oriented fanatic. I have been designing and implementing object-oriented software for more than twenty years. When I started designing and implementing object-oriented MATLAB®, I encountered many detractors. They would say things like “The object model isn’t complete,” “You can’t have public... |
|
|
Result Page: Previous 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Next |