Learn IT - Books tags formal

Object Thinking

Microsoft Press, 2004

In Object Thinking, esteemed object technologist David West contends that the mindset makes the programmer—not the tools and techniques. Delving into the history, philosophy, and even politics of object-oriented programming. West reveals how the best programmers rely on analysis and conceptualization—on...

Introduction to Artificial Intelligence (Undergraduate Topics in Computer Science)

Springer, 2011

Artificial Intelligence (AI) has the definite goal of understanding intelligence and building intelligent systems. However, the methods and formalisms used on the way to this goal are not firmly set, which has resulted in AI consisting of a multitude of subdisciplines today. The difficulty in an introductory AI course lies in conveying...

Algorithms

McGraw-Hill, 2006

This text, extensively class-tested over a decade at UC Berkeley and UC San Diego, explains the fundamentals of algorithms in a story line that makes the material enjoyable and easy to digest. Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly...

Algorithms: A Functional Programming Approach (International Computer Science Series)

Addison Wesley, 1999

This book is primarily an introduction to the design of algorithms for problem solving. Its prominent feature is to use a functional language as an implementation language. Because of the high level of abstraction provided, functional programs tend to be shorter, clearer and faster to develop than their imperative counterparts. This...

Deploying Raspberry Pi in the Classroom

Apress, 2016

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.

Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT...

Microeconomics: Theory and Applications with Calculus Value Package (includes Study Guide for Microeconomics: Theory and Applications with Calculus)

Prentice Hall, 2008

his book is a new type of intermediate macroeconomics textbook- Until now, the choice was between books that use calculus to present formal theory dryly and with few, if any, applications to the real world and books that include applications but present theory using only graphs and algebra. This book uses calcu- lus, algebra, and graphs to...

Objects, Abstraction, Data Structures and Design: Using C++

John Wiley & Sons, 2005

Our goal in writing this book was to combine a strong emphasis on problem solving and software design with the study of data structures. To this end, we discuss applications of each data structure to motivate its study. After providing the specification (a header file) and the implementation of an abstract data type, we cover case...

Ethernet Passive Optical Networks (McGraw-Hill Communications Engineering)

McGraw-Hill, 2005

THE DEFINITIVE GUIDE TO EPON
Written by one of the authors of the IEEE802.3ah standard, this is the first book to fully explain the EPON architecture, analyze its performance, and annotate the standard.

Clearly addressing efficiency, performance, and implementation issues, Ethernet Passive Optical Networks...

How to Think About Algorithms

Cambridge University Press, 2008

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...

Pascal Plus Data Structures, Algorithms, and Advanced Programming

D C Heath, 1985

Until recently there has not been much consensus among educators on what formal education is necessary for a computer professional. It has always been considered essential to have a great deal of mathematical knowledge, as \vell as an understanding of computer hardware. Software education, however, often consisted of the teaching...

Introduction to Automata Theory, Languages and Computation (Addison-Wesley series in computer science)

Addison Wesley, 1979

Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, and computational complexity. In retrospect, only a few significant results were overlooked in the 237 pages. In writing a new book on the subject, we find the field has expanded in so many new directions that a...

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...

Result Page: 57 56 55 54 53 52 51 50 49 48