Home | Amazing | Today | Tags | Publishers | Years | Search 
Grid Resource Management: Towards Virtual and Services Compliant Grid Computing
Grid Resource Management: Towards Virtual and Services Compliant Grid Computing
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
Autonomous Intelligent Systems: Multi-Agents and Data Mining: Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 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)
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
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
The Anatomy of Programming Languages
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)
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
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
Knowledge and Data Management in GRIDs
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
Security in Wireless Ad Hoc and Sensor Networks
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
Software Verification and Analysis: An Integrated, Hands-On Approach
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
Natural Language Processing with Python
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
Pro Javascript RIA Techniques: Best Practices, Performance and Presentation
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)
Beginning Database Design Solutions (Wrox Programmer to Programmer)
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
Beginning Zend Framework
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 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy