Learn IT - Amazing Books

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Springer, 1997

After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safetycritical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are...

Prosody in Speech Understanding Systems (Lecture Notes in Computer Science)

Springer, 1997

Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible. It will become the major tool for handling the confusion of languages with applications including dictation systems, information retrieval by spoken dialog, and speech-to-speech translation. The book gives a throrough account of...

Principles of Document Processing: Third International Workshop, PODP '96, Palo Alto

Springer, 1997

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers presented as chapters of a coherent, monograph-like book. The papers focus equally on the...

Visual Information Systems (Lecture Notes in Computer Science)

Springer, 1997

This book is a thoroughly arranged anthology outlining the state of the art in the emerging area of visual informationsystems. The chapters presented are a selection of thoroughly refereed and revised full papers first presented at the First International Conference on visual Information Systems held in February 1996. Next generation information...

Web Publishing with Acrobat/PDF

Springer, 1998

Although the World Wide Web is enjoying enormous growth rates, many Web publishers have discovered that HTML is not up to the requirements of modern corporate communication. For them, Adobe Acrobat offers a wealth of design possibilities. The close integration of Acrobat in the World Wide Web unites the structural advantages of HTML with the...

CHAOS: A Program Collection for the PC

Springer, 1998

"... The program devoted to the Julia and Mandelbrot sets is particularly exciting. Seeing the beautiful sets appearing on the screen, manipulating parameters oneself and observing the effects is infinitely more enlightening than viewing a picture in a book. ... Each chapter also provides a guide to ideas which the graduate student might wish...

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory

Springer, 1998

The European conference situation in the general area of software science has long been considered unsatisfactory. A fairly large number of small and mediumsized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them financially viable....

Algorithms and Data Structures in Vlsi Design: Obdd - Foundations And Applications

Springer, 1998

One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow....

Probabilistic Methods for Algorithmic Discrete Mathematics (Algorithms and Combinatorics)

Springer, 1998

The book gives an accessible account of modern probabilistic methods for analyzing combinatorial structures and algorithms. It will be an useful guide for graduate students and researchers.
Special features included: a simple treatment of Talagrand's inequalities and their applications; an overview and many carefully worked out examples of the...

Online Algorithms: The State of the Art (Lecture Notes in Computer Science)

Springer, 1998

When Hannibal crossed the Alps into Italy, it was no longer as simple to respond to a Roman naval threat in Spain as it was before crossing the Alps. Had Hannibal known the entire future Roman strategy before crossing the Alps then (assuming appropriate computational ability) he could have computed an optimal strategy to deal with the Rome/Cartago...

Approximation Algorithms

Springer, 2004

Covering the basic techniques used in the latest research work, the author consolidates progress made so far, including some very recent and promising results, and conveys the beauty and excitement of work in the field. He gives clear, lucid explanations of key results and ideas, with intuitive proofs, and provides critical examples and numerous...

Computing in Object-Oriented Parallel Environments: Second International Symposium, Iscope 98, Santa Fe, Nm, Usa, December 8-11, 1998

Springer, 1998

This book constitutes the refereed proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE 98, held in Santa Fe, NM, USA, in December 1998. The 10 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings from a total of 39 submissions. Also included...

Result Page: Previous 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 Next