Learn IT - Books tags semantics

Crypto Anarchy, Cyberstates, and Pirate Utopias

MIT Press, 2001

In Crypto Anarchy, Cyberstates, and Pirate Utopias, Peter Ludlow extends the approach he used so successfully in High Noon on the Electronic Frontier, offering a collection of writings that reflects the eclectic nature of the online world, as well as its tremendous energy and creativity. This time the subject is the emergence...

The Language of Design: Theory and Computation

Springer, 2008

The Language of Design: Theory and Computation articulates the theory that there is a language of design. This theory claims that any language of design consists of a set of symbols, a set of relations between the symbols, features that key the expressiveness of symbols, and a set of reality producing information processing behaviors...

Real-Time Systems: Formal Specification and Automatic Verification

Cambridge University Press, 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...

Hypercomputation: Computing Beyond the Church-Turing Barrier (Monographs in Computer Science)

Springer, 2008

Hypercomputation is a relatively new theory of computation that is about computing methods and devices that transcend the so-called Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may...

Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems

Newnes, 2008

Streamline your embedded code projects with just one book - Miro Samek presents UML statecharts - a practical, time-saving design methodology!

Practical UML Statecharts in C/C++ Second Edition bridges the gap between high-level abstract concepts of the Unified Modeling Language (UML) and the actual programming aspects of modern...

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer, 2000

`This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to...

Conceptual Spaces: The Geometry of Thought

MIT Press, 2000

"This is a fearless book that casts a wide net around key issues in cognitive science. It offers the kind of coherent, unified view that the field badly needs." - Steven Sloman, Associate Professor, Cognitive and Linguistic Sciences, Brown University"

Within cognitive science, two approaches currently dominate...

The Anatomy of Programming Languages

Prentice Hall, 1993

This comprehensive discussion of the components of a programming language emphasises how a language is built. It covers core concepts including specification, objects, expressions, control and types with discussions of fundamentals, implementations strategies and related semantic issues. The book also focuses on current topics such as modules and...

The System Designer's Guide to VHDL-AMS (Systems on Silicon)

Morgan Kaufmann, 2002

The demand is exploding for complete, integrated systems that sense, process, manipulate, and control complex entities such as sound, images, text, motion, and environmental conditions. These systems, from hand-held devices to automotive sub-systems to aerospace vehicles, employ electronics to manage and adapt to a world that is, predominantly,...

Conceptual Analysis and Philosophical Naturalism (Bradford Books)

MIT Press, 2009

Many philosophical naturalists eschew analysis in favor of discovering metaphysical truths from the a posteriori, contending that analysis does not lead to philosophical insight. A countercurrent to this approach seeks to reconcile a certain account of conceptual analysis with philosophical naturalism; prominent and influential proponents of this...

Fundamentals of Database Systems (3rd Edition)

Addison Wesley, 1999

Fundamentals of Database Systems combines clear explanations of theory and design, broad coverage of models and real systems, and excellent examples with up-to-date introductions to modern database technologies. This edition is completely revised and updated, and reflects the latest trends in technological and application development....

Natural Language Processing with Python

O'Reilly, 2009

This book offers a highly accessible introduction to Natural Language Processing, the field that underpins a variety of language technologies, ranging from predictive text and email filtering to automatic summarization and translation. With Natural Language Processing with Python, you'll learn how to write Python programs to work with large...

Result Page: 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2