|
|
|
|
The Language of Design: Theory and ComputationThe 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... | | | | |
|
Introduction to Pragmatics
Introduction to Pragmatics guides students throughtraditional and new approaches in the field, focusing particularlyon phenomena at the elusive semantics/pragmatics boundary toexplore the role of context in linguistic communication.
-
Offers students an accessible introduction and an up-to-datesurvey of the field,...
| | Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered... | | HTML: The Definitive Guide (Nutshell Handbooks)
Netscape Navigator 4.0! Internet Explorer 4.0! HTML 3.2! JavaScript! Style sheets! Layers! HTML is changing so fast it's almost impossible to keep up with developments. How do you know what's real, and how do you use it? This book brings it all together for you. HTML: The Definitive Guide is the most comprehensive book... |
|
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed... | | Real-Time Systems: Formal Specification and Automatic VerificationReal-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:... | | |
|
BPMN Modeling and Reference Guide
Develop rigorous yet understandable graphical representations of business processes
Business Process Modeling Notation (BPMN) is a standard, graphical modeling representation for business processes. It provides an easy to use, flow-charting notation that is independent of the implementation environment. An underlying rigor... | | First-Order Dynamic Logic (Lecture Notes in Computer Science)
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated... | | Trends in Functional Programming: Volume 5Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling,... |
|
|
Result Page: 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 |