|
|
|
|
Logical Foundations of Computer Science: International Symposium, LFCS 2007
The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with “Logic at Botik,” Pereslavl-Zalessky, 1989, which was... | | Secure Roaming in 802.11 Networks (Communications Engineering)WLAN users want to remain connected to the network as they move from place to place in an office building, airport, library, etc. But the original 802.11 standard was not designed to support roaming. However, enhancements to the 802.11 now make it possible to add reliable, secure roaming capabilities to any 802.11-based WLAN. This thorough guide... | | Rigorous Software Development: An Introduction to Program Verification
This book is about the use of techniques and tools for the design and implementation
of computer systems and software that are free from logical or functional flaws
(in the sense of functional requirements). The word rigorous in the title of this book
is justified by the fact that the arguments for such fault freeness have their roots... |
|
Verilog Designer's Library
Ready-to-use building blocks for integrated circuit design.
Why start coding from scratch when you can work from this library of pre-tested routines, created by an HDL expert? There are plenty of introductory texts to describe... | | Designing with FPGAs and CPLDs* Choose the right programmable logic devices and development tools * Understand the design, verification, and testing issues * Plan schedules and allocate resources efficiently Choose the right programmable logic devices with this guide to the technolog
Designing with FPGAs and CPLDs guides readers through choosing the right... | | Software Engineering Techniques: Design for Quality
The aim of software engineering is to find methods for developing high quahty
software products at a reasonable cost. As more and more computers are being used
in areas in which a malfunction of the system can be a source of serious losses or
disturbances to the functioning of the society, the quality of software becomes more
and more... |
|
|
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersThis book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.
The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and... | | Fundamentals of Probability and Statistics for EngineersMany books are already available on the general topic of 'probability and statistics for engineers and scientists', so why choose this one? This textbook differs in that it has been prepared very much with students and their needs in mind. Having been classroom tested over many years, it is a true "learner's book" made for students who... | | Manage Software Testing…a comprehensive, practical cookbook of software testing with a slight mix of quality spices. …the book is a step-by-step guide of how to perform testing. It is practically focused and, in many of the chapters, the reader can follow the tasks (as if they were recipes) when performing testing activities. -Software Testing,... |
|
|
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |