Learn IT - Books tags formal

Information Visualization in Data Mining and Knowledge Discovery

Morgan Kaufmann, 2001

Mainstream data mining techniques significantly limit the role of human reasoning and insight. Likewise, in data visualization, the role of computational analysis is relatively small. The power demonstrated individually by these approaches to knowledge discovery suggests that somehow uniting the two could lead to increased efficiency and more...

Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)

Scholium International, 1989

In the past compiler writers and designers seemed to form an elite group within computing science, set apart by their esoteric knowledge and their ability to produce large, important system programs which really worked. The admiration of the computing public, whether it was once deserved or not, is no longer merited now that the principles of...

Discrete Mathematics (4th Edition)

Addison Wesley, 2001

Today an increasing proportion of the applications of mathematics involves discrete rather than continuous models. The main reason for this trend is the integration of the computer into more and more of modem society. This book is intended for a one-semester introductory course in discrete mathematics.

Prerequisites Even though a...

Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China

Springer, 2006

In several practical circumstances we have to solve a problem whose instance is not a priori completely known. Situations of this kind occur in computer systems and networks management, in financial decision making, in robotics etc. Problems that have to be solved without a complete knowledge of the instance are called on-line...

Compiler Design: Syntactic and Semantic Analysis

Springer, 2013

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional...

Anti-Spam Measures: Analysis and Design

Springer, 2007

The primary goal of this work is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. These determine to which extent the measures can contribute to the reduction of spam in the long run. The range of considered anti-spam measures includes legislative, organizational, behavioral and technological...

Concepts, Techniques, and Models of Computer Programming

MIT Press, 2004

One approach to the study of computer programming is to study programming
languages.But there are a tremendously large number of languages, so large that
it is impractical to study them all.Ho w can we tackle this immensity? We could
pick a small number of languages that are representative of different programming
paradigms.But...

Semistructured Database Design

Springer, 2004

The work presented in this book came about after we recognized that illdesigned semistructured databases can lead to update anomalies, and there is a strong need for algorithms and tools to help users design storage structures for semistructured data. We have been publishing papers in the design of databases for semistructured data since 1999, and...

Hacking For Dummies (Computer/Tech)

For Dummies, 2006

Welcome to Hacking For Dummies, 2nd Edition. This book outlines — in plain English — computer hacker tricks and techniques that you can use to assess the security of your own information systems, find security vulnerabilities, and fix the weaknesses before criminal hackers and rogue insiders have an opportunity to take advantage of...

Algorithmic Learning Theory: 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 15th International Conference on Algorithmic Learning Theory, ALT 2004, held in Padova, Italy in October 2004.

The 29 revised full papers presented together with 5 invited papers and 3 tutorial summaries were carefully reviewed and selected from 91 submissions. The papers are organized in...

Shut Up and Listen: The Truth about How to Communicate at Work

Kogan Page, 2004

We are much better communicators when we know more about ourselves, think about how and what we communicate and act according to the changes in our circumstance and environment. These are the principles this book is based on.

So, there are three main sections, starting with a short course in self-awareness so that you can find out...

Real-Time Systems: Scheduling, Analysis, and Verification

John Wiley & Sons, 2002

This text is based on two rich sources: (1) materials in lecture notes I taught to senior and graduate-level computer science and electrical engineering students at Rice University and at the University of Houston, and (2) my research in the area of timing analysis and verification of real-time systems since the late 1980s,...

Result Page: 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34