Learn IT - Amazing Books

Computer Graphics and Geometric Modelling: Implementation & Algorithms

Springer, 2005

Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory in a thorough and systematic fashion. Computer Graphics and Geometric Modelling: Implementation and Algorithms, covers the computer graphics part of the field of geometric modelling and...

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

Springer, 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This...

Production Rendering

Springer, 2004

In the past, rendering systems used a range of different approaches, each compatible and able to handle certain kinds of images. However, the last few years have seen the development of practical techniques, which bring together many areas of research into stable, production ready rendering tools. Written by experienced graphics software...

The Complete IS-IS Routing Protocol

Springer, 2004

IS-IS has always been my favourite Interior Gateway Protocol. Its elegant simplicity, its well-structured data formats, its flexibility and easy extensibility are all appealing – IS-IS epitomizes link-state routing. Whether for this reason or others, IS-IS is the IGP of choice in some of the world’s largest networks....

Java Methods for Financial Engineering: Applications in Finance and Investment

Springer, 2007

In order to build a successful, Java-based application it is important to have a clear understanding of the principles underlying the various financial models. Those models guide the application designer in choosing the most appropriate Java data structures and implementation strategy. This book describes the principles of model building in...

Geometry for Computer Graphics: Formulae, Examples and Proofs

Springer, 2004

Geometry is the cornerstone of computer graphics and computer animation, and provides the framework and tools for solving problems in two and three dimensions. This may be in the form of describing simple shapes such as a circle, ellipse, or parabola, or complex problems such as rotating 3D objects about an arbitrary axis. Geometry for Computer...

Creating Web-based Laboratories (Advanced Information and Knowledge Processing)

Springer, 2004

Remote web-based experimentation, enabling students and researchers to access the laboratory anytime via the Internet, is becoming an increasingly attractive way to complement or even replace traditional laboratory sessions. Placing a video camera & microphone before the equipment and apparatus to capture what is actually happening in the...

Clinical PET and PET/CT

Springer, 2005

A practical manual covering the full spectrum of PET and PET/CT imaging, now in common clinical practice, this book includes images of normal variants, artifacts, and pathologic conditions. Indications for and the relative clinical value of PET in the armamentarium of diagnostic medical imaging are reviewed. The information in the book is...

Information Processing with Evolutionary Algorithms: From Industrial Applications to Academic Speculations

Springer, 2004

The last decade of the twentieth century has witnessed a surge of interest in numerical, computational intensive approaches to information processing. The lines that draw the boundaries between statistics, optimization, artificial intelligence and information processing are disappearing and it is not uncommon to find well founded and sophisticated...

Advanced Techniques in Knowledge Discovery and Data Mining

Springer, 2005

Data mining and knowledge discovery (DMKD) is a rapidly expanding field in computer science. It has become very important because of an increased demand for methodologies and tools that can help the analysis and understanding of huge amounts of data generated on a daily basis by institutions like hospitals, research laboratories, banks, insurance...

From P2P to Web Services and Grids: Peers in a Client/Server World

Springer, 2004

"From P2P to Web Services and Grids" provides a comprehensive overview of emerging distributed-systems technologies. It covers peer-to-peer (P2P) systems, which have revolutionized the way we think about distributed computing and the internet, alternative solutions, most notably web services and Grid computing, but...

VEE Pro: Practical Graphical Programming

Springer, 2004

With VEE 7.0 Trial Version on CD-ROM From the depths of the oceans to the deserts of Mars, VEE Pro is being used to collect data, provide automated testing and to construct remote command and telemetry interfaces. In more everyday environments, it can be found at the heart of manufacturing, process and quality control, and industrial data analysis...

Result Page: Previous 2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 Next