Learn IT - Books tags semantics

UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design (2nd Edition)

Addison Wesley, 2005

"This book manages to convey the practical use of UML 2 in clear and understandable terms with many examples and guidelines. Even for people not working with the Unified Process, the book is still of great use. UML 2 and the Unified Process, Second Edition is a must-read for every UML 2 beginner and a helpful guide and...

Knowledge Representation, Reasoning and Declarative Problem Solving

Cambridge University Press, 2010

This book is about the language of logic programming with answer set semantics and its application to knowledge representation reasoning and declarative problem solving This book will be useful to researchers in logic programming declarative programming articial intelligence knowledge representation and autonomous agents to...

Embodied Conceptualization or Neural Realization: A Corpus-Driven Study of Mandarin Synaesthetic Adjectives (Frontiers in Chinese Linguistics)

Springer, 2019

This book focuses on linguistic synaesthesia in a hitherto less-studied language – Mandarin Chinese – and adopts a corpus-driven approach to support the analysis and argumentation. The study identifies directional tendencies and underlying mechanisms for Mandarin synaesthetic adjectives. By doing so, it not only provides an...

Computable Models

Springer, 2009

Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational...

Programming Groovy 2: Dynamic Productivity for the Java Developer (Pragmatic Programmers)

Pragmatic Bookshelf, 2013

Groovy brings you the best of both worlds: a flexible, highly productive, agile, dynamic language that runs on the rich framework of the Java Platform. Groovy preserves the Java semantics and extends the JDK to give you true dynamic language capabilities. Programming Groovy 2 will help you, the experienced Java developer, learn and...

Post-mining of Association Rules: Techniques for Effective Knowledge Extraction

Information Science Publishing, 2009

Since its introduction for market basket analysis in the early 1990s, association rule mining has had a lot of research attention, and it is now widely used in many fields, for example in retail, telecom, insurance, and bioinformatics applications.

One familiar problem encountered in association mining exercises is that they...

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Springer, 2010

The ultimate, definitive programming language has not been created yet, far from it. Almost every day a new language is created, and new functionalities are added to existing languages. Improvements in programming languages contribute to making programs more reliable, shorten the development time, and make programs easier to...

Programming Ruby 1.9: The Pragmatic Programmers' Guide (Facets of Ruby)

Pragmatic Bookshelf, 2009

Ruby is a fully object-oriented language, much like the classic object-oriented language, Smalltalk. Like Smalltalk, it is dynamically typed (as opposed to Java or C++), but unlike Smalltalk, Ruby features the same conveniences found in modern scripting languages, making Ruby a favorite tool of intelligent, forward-thinking programmers and the...

Java Software Solutions (8th Edition)

Pearson Education, 2014

Note: You are purchasing a standalone product; MyProgrammingLab does not come packaged with this content. If you would like to purchase both the physical text and MyProgrammingLab search for ISBN-10: 0133796280/ISBN-13: 9780133796285. That package includes ISBN-10: 0133594955/ISBN-13: 9780133594959 and...

Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14

O'Reilly, 2014

Coming to grips with C++11 and C++14 is more than a matter of familiarizing yourself with the features they introduce (e.g., auto type declarations, move semantics, lambda expressions, and concurrency support). The challenge is learning to use those features effectively—so that your software is correct, efficient,...

The Austin Protocol Compiler (Advances in Information Security)

Springer, 2004

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the...

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

Result Page: 25 24 23 22 21 20 19 18 17 16 15 14