|
|
|
|
|
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... | | |
|
|
|
|
Result Page: 156 155 154 153 152 151 150 149 148 147 146 145 144 |