Learn IT - Books tags formal

Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence)

Springer, 2006

Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem definition and problem solving both in everyday life and under more formal circumstances. The best known set of rules, the Ten Commandments have been accompanying us since the times of Moses; the Decalogue proved to be simple but...

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany

Springer, 2012

From July 22 to July 24, 2010, the Technische Universit¨at M¨unchen, Germany, hosted the eighth edition of the now well-established ADG workshop dedicated to Automatic Deduction in Geometry. From the first edition, which was held in Toulouse in 1996, to ADG 2010, a slow mutation has taken place. The workshop that was formerly...

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Springer, 2007

Thirteen years after the publication of the first MPI (message passing interface) specification and 17 years after the first published paper on PVM(parallel virtual machine), MPI and PVM have emerged as standard programming environments and continue to be the development environment of choice for a large variety of...

Distributed Multimedia Information Retrieval: SIGIR 2003 Workshop on Distributed Information Retrieval

Springer, 2004

During the last decade companies, governments, and research groups worldwide have directed significant effort towards the creation of sophisticated digital libraries across a variety of disciplines. As digital libraries proliferate, in a variety of media, and from a variety of sources, problems of resource selection and data...

packetC Programming

Apress, 2011

This book covers a vast array of information related to packetC. It is a complete language reference and contains background information on many unique parts of packetC. As packetC shares much of its grammar with C, the book focuses on being an instructional language reference and not a general C programming introduction, since extensive...

Digital Filters: Principles and Applications with MATLAB (IEEE Series on Digital & Mobile Communication)

John Wiley & Sons, 2011

The history of digital filters essentially began in the mid - 1970s, concurrent with the advent of the fi eld of study called digital signal processing (DSP). Over the ensuing 30 something years, digital filters have become both a facilitating and enabling technology. They serve as analog replacements as well as serving in unique...

Encyclopedia of Parallel Computing

Springer, 2012

Parallelism, the capability of a computer to execute operations concurrently, has been a constant throughout the history of computing. It impacts hardware, software, theory, and applications. The fastest machines of the past few decades, the supercomputers, owe their performance advantage to parallelism. Today, physical limitations...

Encyclopedia of Parallel Computing (Springer Reference)

Springer, 2011

Data Structures and Algorithm Analysis in C (2nd Edition)

Addison Wesley, 1996

This book describes data structures, methods of organizing large amounts of data, and algorithm analysis, the estimation of the running time of algorithms. As computers become faster and faster, the need for programs that can handle large amounts of input becomes more acute. Paradoxically, this requires more careful attention...

A Practical Introduction to Hardware/Software Codesign

Springer, 2010

This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combine hardware design with software design – such problems can be solved with hardware/software codesign. When used properly, hardware/software codesign works better...

Computer Security Fundamentals (2nd Edition)

Que, 2011

It has been more than 6 years since the publication of the original edition of this book. A great deal has happened in the world of computer security since that time. This edition is updated to include newer information, updated issues, and revised content.

The real question is who is this book for. This book is...

Networking for People Who Hate Networking: A Field Guide for Introverts, the Overwhelmed, and the Underconnected

Berrett-Koehler Publishers, 2010

Devora Zack, an avowed introvert and a successful consultant who speaks to thousands of people every year, found that most networking advice books assume that to succeed you have to become an extrovert. Or at least learn how to fake it. Not at all. There is another way.

This book shatters stereotypes about people...

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