Learn IT - Books tags semantic

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

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

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

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

Knowledge and Data Management in GRIDs

Springer, 2006

From the reviews:

"This edited book is an early attempt by primarily European researchers to harness and expand the use of grid technologies in accessing distributed sources for sharing, and also to extract and produce knowledge. … Overall, the book is well organized and the selected material represents a very interesting range of...

Security in Wireless Ad Hoc and Sensor Networks

John Wiley & Sons, 2009

This book provides an in-depth guide to security in wireless ad hoc and sensor networks

Security in Wireless Ad Hoc and Sensor Networks introduces the reader to the fundamentals and key issues related to wireless ad hoc networking, with an emphasis on security. It discusses the security attacks and...

Software Verification and Analysis: An Integrated, Hands-On Approach

Springer, 2009

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).

Three major software verification techniques are discussed: Semantic program synthesis and...

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

Pro Javascript RIA Techniques: Best Practices, Performance and Presentation

Apress, 2009

Pro JavaScript RIA Techniques: Best Practices, Performance, and Presentation shows you how you can build JavaScript RIAs (Rich Internet Applications) with compelling user interfaces and great performance.

With the best practices and optimization techniques you’ll learn in this book, you can optimize performance without...

Beginning Database Design Solutions (Wrox Programmer to Programmer)

John Wiley & Sons, 2008

Databases play a critical role in the business operations of most organizations; they're the central repository for critical information on products, customers, suppliers, sales, and a host of other essential information. It's no wonder that the majority of all business computing involves database applications.

With so much at stake,...

Beginning Zend Framework

Apress, 2009

The Zend Framework is one of today’s most popular PHP–based web application development frameworks. Beginning Zend Framework is a beginner’s guide to learning and using the Zend Framework. It covers everything from the installation to the various features of the framework to get the reader up and running quickly....

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