Learn IT - Books tags semantic

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

MIT Press, 2000

This volume is a Festschrift to honour the scientilfiifce and achievemento f Robin Milner. Robin’s contributions have been both profound and varied, ovneorw ,a o pfs eormioed , thirty years. They range througthhe semantic foundationso f programming languages, computerassisted theorem-proving, programming language design, andth e theory of...

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

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Oxford University Press, 2005

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a...

Autonomous Intelligent Systems: Multi-Agents and Data Mining: Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007

Springer, 2007

This book constitutes the refereed proceedings of the Second International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2007, held in St. Petersburg, Russia in June 2007.

The 17 revised full papers and 6 revised short papers presented together with 4 invited lectures were carefully reviewed and selected from 39...

Grid Resource Management: Towards Virtual and Services Compliant Grid Computing

CRC Press, 2008

Grid technology offers the potential for providing secure access to remote services, thereby promoting scientific collaborations in an unprecedented scale. Grid Resource Management: Toward Virtual and Services Compliant Grid Computing presents a comprehensive account of the architectural issues of grid technology, such as security,...

Applied SOA: Service-Oriented Architecture and Design Strategies

John Wiley & Sons, 2008

You need more than theory to make SOA work.

You need this practical guide.

The challenge today's IT professionals face is not how to build a service. It's how to build a quality service, based on solid design principles and integrated into an architecture that enhances overall business...

Data Model Patterns: A Metadata Map (The Morgan Kaufmann Series in Data Management Systems)

Morgan Kaufmann, 2006

A very ambitious undertaking, masterfully described. To the best of my knowledge, this is the first published version of the detailed models implied by the Zachman Framework. David Hay builds the models one step at a time, describing in each increment why the new entities were added, and how they related to the rest of the model. At least as...

Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming)

Morgan Kaufmann, 2003

XML Schema is the new language standard from the W3C and the new foundation for defining data in Web-based systems. There is a wealth of information available about Schemas but very little understanding of how to use this highly formal specification for creating documents. Grasping the power of Schemas means going back to the basics of documents...

Multispectral Image Analysis Using the Object-Oriented Paradigm

CRC Press, 2006

Bringing a fresh new perspective to remote sensing, object-based image analysis is a paradigm shift from the traditional pixel-based approach. Featuring various practical examples to provide understanding of this new modus operandi, Multispectral Image Analysis Using the Object-Oriented Paradigm reviews the current image analysis methods and...

Architecture-Independent Programming for Wireless Sensor Networks (Wiley Series on Parallel and Distributed Computing)

John Wiley & Sons, 2008

New automated, application-independent methodology for designing and deploying sensor networks

Following this book's clear explanations, examples, and illustrations, domain experts can design and deploy nontrivial networked sensing applications without much knowledge of the low-level networking aspects of deployment. This new approach is based...

Visualizing Information Using SVG and X3D

Springer, 2005

This is the first book devoted to both SVG and X3D as a new and universal means of visualizing information. It presents the state-of-the-art research emerging in this novel area and introduces SVG and X3D fundamentals and leading authoring tools. The key topics covered include: - The foundations of SVG and X3D - Data, information, knowledge and...

Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML

Cambridge University Press, 2004

Written to address technical concerns that mobile developers face regardless of platform, this book explores the differences between mobile and stationary applications and the architectural and software development concepts needed to build mobile applications. Using UML, Reza B'far guides the developer through the development process, from design...

Result Page: 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15