Learn IT - Books tags formal

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia

Springer, 2011

This volume collects the proceedings of two related international conferences on foundations and practical applications of mathematical methods of data analysis, of Formal Concept Analysis and of methods for information extraction from natural language texts. The first conference, named Knowledge - Ontology - Theory 2007 (KONT 2007),...

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010

Springer, 2011

The present volume contains the proceedings of the seventh international workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, Italy, 16–17 September 2010, as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010).

FAST aims to foster cooperation among...

Rules of Play: Game Design Fundamentals

MIT Press, 2003

For hundreds of years, the field of game design has drifted along under the radar of culture, producing timeless masterpieces and masterful time-wasters without drawing much attention to itself-without, in fact, behaving like a "field" at all. Suddenly, powered by the big bang of computer technology, game design has...

The Project Management Life Cycle: A Complete Step-By-Step Methodology for Initiating, Planning, Executing & Closing a Project Successfully

Kogan Page, 2006

Over the past 20 years, businesses around the world have undergone rapid change. No longer are customers happy with their ‘status quo’ products or services: they expect businesses to adapt rapidly to the changing environment by providing more offerings, cheaper and faster than before. This rate of change has forced businesses to...

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP

Springer, 2007

Knowledge means power – but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methods to gather, transport, and apply knowledge are collectively called knowledge management.

Declarative programming strives for the ideal of programming by wish: the...

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

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