Learn IT - Books tags verification

Computational Methods in Systems Biology: International Conference, CMSB 2006

Springer, 2006

established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory, program verification, and molecular biologists, physicians, and neuroscientists interested in a systems-level understanding of cellular physiology and...

xUnit Test Patterns: Refactoring Test Code (The Addison-Wesley Signature Series)

Addison Wesley, 2007

Automated testing is a cornerstone of agile development. An effective testing strategy will deliver new functionality more aggressively, accelerate user feedback, and improve quality. However, for many developers, creating effective automated tests is a unique and unfamiliar challenge.

xUnit Test Patterns is the...

The Art of Software Modeling

Auerbach Publications, 2006

Using a multidisciplinary approach, The Art of Software Modeling covers model theory, practice, and presentation in detail. This book describes the driving need for model creation and demonstrates how to create system models. Presenting model examples of business workflows, requirements capture, and software architecture documentation, the text...

Networks and Grids: Technology and Theory (Information Technology: Transmission, Processing and Storage)

Springer, 2007

This textbook is intended for an undergraduate/graduate course on computer networks and for introductory courses dealing with performance evaluation of computers, networks, grids and telecommunication systems. Unlike other books on the subject, this text presents a balanced approach between technology and mathematical modeling. It covers networking...

Developing Drivers with the Windows Driver Foundation

Microsoft Press, 2007

Get in-depth, expert guidance on developing drivers for Windows

Start developing robust drivers with expert guidance from the team who developed Windows Driver Foundation. This comprehensive book gets you up to speed quickly and goes beyond the fundamentals to help you extend your Windows development skills. You get best practices,...

Biometrics: Identity Verification in a Networked World

John Wiley & Sons, 2002

An in-depth look at biometrics, focused on critical issues such as accuracy, privacy, technology capabilities, and cost-effective deployment

No longer a science fiction solution, biometric technologies are being deployed by thousands of companies and public agencies to increase security, protect personal information, and reduce...

Test and Analysis of Web Services

Springer, 2007

The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration.

The highly dynamic characteristics of service-oriented applications means...

Cisco CCNA Exam #640-607 Certification Guide (3rd Edition)

Cisco Press, 2002

The official study guide for CCNA exam #640-607 with new exam format practice questions

Coverage of all CCNA exam topics enables you to discover and fill any gaps in your knowledge before the exam date. You'll learn about:

* Internetworking functions of each layer of the OSI reference model and how they are performed in network...

Secure Roaming in 802.11 Networks (Communications Engineering)

Newnes, 2007

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...

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL06

Springer, 2007

Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation...

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser, 2006

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework....

Processor Design: System-On-Chip Computing for ASICs and FPGAs

Springer, 2007

rocessor Design addresses the design of different types of embedded, firmware-programmable computation engines. Because the design and customization of embedded processors has become a mainstream task in the development of complex SoCs (Systems-on-Chip), ASIC and SoC designers must master the integration and development of processor...

Result Page: 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6