Learn IT - Amazing Books

Digital Signal Processing with Field Programmable Gate Arrays (With CD-ROM)

Springer, 2001

Field-Programmable Gate Arrays (FPGAs) are on the verge of revolutionizing digital signal processing. Novel FPGA families are replacing ASICs and PDSPs for front end digital signal processing algorithms more and more. The efficient implementation of these algorithms is the main goal of this book. It starts with an overview of today's FPGA...

Systems and Software Verification: Model-Checking Techniques and Tools

Springer, 2001

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

Informatics: 10 Years Back. 10 Years Ahead (Lecture Notes in Computer Science)

Springer, 2001

From August 27 to 31, 2000, the International Conference and Research Center for Computer Science in Schloss Dagstuhl, Dagstuhl for short, celebrated its 10th anniversary. Since its founding in 1990, the objective of the Center has been to promote world-class research in computer science, support leading-edge continuing education, and promote the...

Surgical Neuroangiography: Vol. 3: Clinical and Interventional Aspects in Children

Springer, 2007

This volume completes the second edition series of Surgical Neuroangiography. It covers neurovascular diseases in neonates, infants, and children and details the clinical challenges involved in managing lesions of the brain, spinal cord, spine, and head and neck in the pediatric age group. Vascular malformations of the maxillofacial area have...

Computational Linguistics and Intelligent Text Processing: Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings

Springer, 2001

This book constitutes the refereed proceedings of the Second International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2001, held in Mexico City, Mexico in February 2001.
The 38 revised full papers and 12 short papers presented together with three invited papers were carefully reviewed and selected from 72...

Software Management Approaches: Project Management, Estimation, and Life Cycle Support: Software Best Practice 3 (v. 3)

Springer, 2001

Under the 4"' Framework of European Research, the European Systems and Software Initiative (ESSI) was part of the ESPRIT Programme. This initiative funded more than 470 projects in the area of software and system process improvements. The majority of these projects were process improvement experiments carrying out and taking up new...

Drawing Graphs: Methods and Models (Lecture Notes in Computer Science)

Springer, 2001

Graph drawing comprises all aspects of visualizing structural relations between objects. The range of topics dealt with extends from graph theory, graph algorithms, geometry, and topology to visual languages, visual perception, and information visualization, and to computer-human interaction and graphics design. This monograph gives a systematic...

Organofluorines (The Handbook of Environmental Chemistry / Anthropogenic Compounds) (Vol. 3)

Springer, 2002

This volume, written by a range of international experts, covers a wide range of topics involving organic fluorine compounds. Each chapter is preceded by a summary and includes extensive illustrations and references. The chapters cover atmospheric chemistry, application of 19F NMR, partition, degradation and transformation, naturally...

Java and the Java Virtual Machine: Definition, Verification, Validation

Springer, 2001

This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components....

Complete Dentures: A Clinical Manual for the General Dental Practitioner

Springer, 2001

Unfortunately, many general dental practitioners say they do not enjoy constructing complete d- tures,describing it as something akin to a black-art. In this book,I wanted to describe the practical p- cedures and the science behind many of our actions in the clinic so that successful treatment can be applied to patients. So, surprisingly for...

Network Calculus: A Theory of Deterministic Queuing Systems for the Internet

Springer, 2001

Network Calculus is a set of recent developments that provide deep insights into flow problems encountered in the Internet and in intranets. The first part of the book is a self-contained, introductory course on network calculus. It presents the core of network calculus, and shows how it can be applied to the Internet to obtain results that have...

Introduction to Cryptography

Springer, 2002

Due to the rapid growth of digital communication and electronic data exchange, information security has become a crucial issue in industry, business, and administration. Modern cryptography provides essential techniques for securing information and protecting data.

In the first part, this book covers the key concepts of cryptography on...

Result Page: Previous 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 Next