Learn IT - Books tags formal

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

The Meaning of Video Games: Gaming and Textual Strategies

Routledge, 2008

The Meaning of Video Games takes a textual studies approach to an increasingly important form of expression in today’s culture. It begins by assuming that video games are meaningful–not just as sociological or economic or cultural evidence, but in their own right, as cultural expressions worthy of scholarly attention. In...

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

Springer, 2013

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing,...

Social Thinking--Software Practice

MIT Press, 2002

Software practice is everywhere: software development, design, and use as well as related management are shaping today’s technology and changing the way we engage in social relations at work and at home, in small groups and in the larger society. Scientific reflection on software practice aims at understanding and improvement; at the same...

Big Questions in Ecology and Evolution (Oxford Biology)

Oxford University Press, 2009

Why do we age? Why cooperate? Why do so many species engage in sex? Why do the tropics have so many species? When did humans start to affect world climate?

This book provides an introduction to a range of fundamental questions that have taxed evolutionary biologists and ecologists for decades. Some of the phenomena discussed are, on...

JavaScript Step by Step

Microsoft Press, 2010

Much has changed since the first edition of JavaScript Step by Step was written in 2007. The underlying JavaScript specification received a major update; Microsoft released Windows Internet Explorer 8—and now 9 (which is about to be released as I write this); JavaScript development frameworks have matured and are now ubiquitous; and...

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