Learn IT - Books tags semantics

Concrete Semantics: With Isabelle/HOL

Springer, 2014

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

Definitive XSL-FO

Prentice Hall, 2003

The definitive guide to state-of-the-art XML publishing with XSL-FO!

XSL-FO (XSL-Formatting Objects) enables enterprise applications to publish graphic-arts quality printed and electronic documents from any XML data store, no matter how large or complex. In Definitive XSL-FO, one of the world's leading XML experts shows how XSL-FO is...

Towards the Semantic Web: Ontology-Driven Knowledge Management

John Wiley & Sons, 2003

Generating huge interest and backed by the global WorldWideWeb consortium the semantic web is the key initiative driving the future of the World Wide Web. Towards the Semantic Web focuses on the application of Semantic Web technology and ontologies in particular to electronically available information to improve the quality of knowledge management...

Web Semantics Ontology

Idea Group Publishing, 2006

The chapters of this book provide an excellent overview of current research
and development activities in the area of Web Semantics and ontology. They
supply an in-depth description of different issues in Web Semantics and ontology,
including modelling of Web Semantics and ontologies, using ontologies in
enterprise systems,...

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

IOS Press, 2006

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding,...

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Springer, 2014

This book is structured as a step-by-step course of study along the lines of a VLSI integrated circuit design project. The entire Verilog language is presented, from the basics to everything necessary for synthesis of an entire 70,000 transistor, full-duplex serializer-deserializer, including synthesizable PLLs. The author includes...

The Jini(TM) Specifications, Edited by Ken Arnold (2nd Edition)

Addison Wesley, 2000

Built on top of the Java™ software infrastructure, Jini™ technology enables all types of services and devices to work together in a community--organized without extensive planning, installation, or human intervention. Jini technology allows the lines to blur between what is hardware and what is software by representing all hardware and...

Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in Utrecht, Netherlands in July 2005, and in Hakodate, Japan in May 2006 as associated events of AAMAS 2005/2006, the main international conference on autonomous agents and multi-agent systems.

The...

Advanced Topics in Types and Programming Languages

MIT Press, 2004

Work in type systems for programming languages now touches many parts
of computer science, from language design and implementation to software
engineering, network security, databases, and analysis of concurrent and distributed
systems. The aim of this book, together with its predecessor, Types
and Programming Languages (Pierce...

Executable UML: A Foundation for Model Driven Architecture

Addison Wesley, 2002

Executable UML is a major innovation in the field of software development. It is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract thinking tool that aids in the formalization...

The Cambridge Handbook of Generative Syntax (Cambridge Handbooks in Language and Linguistics)

Cambridge University Press, 2013

Syntax - the study of sentence structure - has been at the centre of generative linguistics from its inception and has developed rapidly and in various directions. The Cambridge Handbook of Generative Syntax provides a historical context for what is happening in the field of generative syntax today, a survey of the various generative...

The Social Semantic Web

Springer, 2009

The Social Web (including services such as MySpace, Flickr, last.fm, and WordPress) has captured the attention of millions of users as well as billions of dollars in investment and acquisition. Social websites, evolving around the connections between people and their objects of interest, are encountering boundaries in the areas of information...

Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1