Learn IT - Books tags formal

Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence)

Springer, 2006

The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols,...

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

MIT Press, 1993

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...

Patterns for Parallel Programming (Software Patterns Series)

Addison Wesley, 2004

The Parallel Programming Guide for Every Software Developer

From grids and clusters to next-generation game consoles, parallel computing is going mainstream. Innovations such as Hyper-Threading Technology, HyperTransport Technology, and multicore microprocessors from IBM, Intel, and Sun are accelerating the...

Programming Language Pragmatics, Second Edition

Morgan Kaufmann, 2005

"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language...

C++ Database Development

MIS Press, 1994

Learn the fundamentals of creating and using object oriented databases with C++ Database Development, 2nd Edition. This comprehensive guide covers the history and principles of database management, advanced techniques for designing and writing C++ persistent object database programs, and using PARODY the Persistent, Almost-Relational...

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Addison Wesley, 1994

This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...

From Writing to Computers

Routledge, 1994

... the broad and clear analysis of writing and language, and of automata theory, formal logic, and computability theory he uses to reach [his conclusion] is well worth reading.
–H. D. Warner, Western New England College

From Writing to Computers takes as its central theme the issue of a...

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

Knowledge in Formation: A Computational Theory of Interpretation (Cognitive Technologies)

Springer, 2011

With knowledge representation we face more or less the same problem as Augustine (354–430) when thinking about time: if nobody asks what it is, it seems clear enough, but being asked it proves to be very difficult to provide an answer.

At the beginning of our research we thought that a solution for the problem of...

Syntactic Pattern Recognition: An Introduction (Applied Mathematics and Computation; No. 14)

Addison Wesley, 1978

This book was written to provide students, engineers, and scientists involved in pattern recognition, digital image processing, and artificial intelligence with a comprehensive introduction to the concepts and tech- niques of syntactic pattern recognition.

Syntactic pattern recognition is concerned with the...

How to Cheat at Managing Information Security

Syngress Publishing, 2006

Information security is different from many other disciplines both within mainstream
information technology and other business areas. Even though there are
now many good books on various areas, getting the breadth of knowledge
across the many subareas is still difficult, but it is essential to success.

Unlike so many...

Pro Tools 101 Official Courseware, Version 8 (Artistpro)

Course Technology PTR, 2009

Digidesign’s Official Pro Tools 101 Courseware takes a comprehensive approach to learning the fundamentals of Pro Tools|HD®, Pro Tools LE®, or Pro Tools M-Powered™ systems. Now updated for Pro Tools 8 software, this new edition from the definitive authority on Pro Tools covers everything you need to know to complete a Pro...

Result Page: 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44