 |
|
|
|
 Unifying Theories of Programming: Third International Symposium
This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were... |  |  The Book of PF: A No-Nonsense Guide to the OpenBSD Firewall
OpenBSD's stateful packet filter, PF, is the heart of the OpenBSD firewall and a necessity for any admin working in a BSD environment. With a little effort and this book, you'll gain the insight needed to unlock PF's full potential.
This second edition of The Book of PF has been completely updated and... |  |  Computational Vision and Medical Image Processing: Recent Trends
Nowadays, computationalmethodologies of signal processing and imaging analysis for 2D, 3D and even 4D data are commonly used for various applications in society. For example, Computational Vision systems are progressively used for surveillance tasks, traffic analysis, recognition process, inspection purposes, human-machine interfaces, 3D... |
|
|
| Result Page: 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 |