|
|
|
|
| | | | 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... |
|
Voice Over IPv6: Architectures for Next Generation VoIP NetworksIPv6 (Internet Protocol version 6) is the future of Internet telephony. And this book is your guide to that future.
IPv6 is the replacement for the currently used IPv4 (Internet Protocol version 4). IPv6 will offer increased IP addresses (full 128-bit addresses, compared to the 32-bit addresses of IPv4), enhanced security, and greater... | | 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... | | |
|
Patterns for e-businessGet an inside look at how successful businesses build their e-business architectures. In this book, four IBM e-business experts capture years of experience into easy-to-follow guidelines. Deliberately focusing on Business patterns, Integration patterns, and Application patterns, the authors share with you proven architectural patterns that can help... | | Reconfigurable Computing: Architecture, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, ProceedingsThis book constitutes the refereed proceedings of the 4th International Workshop on Applied Reconfigurable Computing, ARC 2008, held in London, UK, in March 2008.
The 21 full papers and 14 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 56 submissions. The papers are organized... | | The Hidden Power of Photoshop CSAlthoughI wasn’t really thinking about it at the time, in a way, I really started writing this book in 1992 when I first started using Photoshop professionally (with Photoshop 2). At the time I wasn’t planning to write a book, but I had already been involved with scanning and editing digital artwork for several years. I had become... |
|
|
|
Result Page: 815 814 813 812 811 810 809 808 807 806 805 804 803 802 801 800 799 798 797 |