Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
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...
EJB Cookbook
EJB Cookbook
All but two recipes in this book are based on the EJB 2.0 specification. The recipes on creating EJB web service endpoints and the EJB timer service are based on the EJB 2.1 specification. In a few chapters, the book covers other technologies or frameworks where appropriate. In fact, this book makes use of XDoclet, log4j, Ant, and Cactus. For...
AIR Bible
AIR Bible
Adobe AIR is a revolutionary technology that blurs the line between the desktop and the web. The AIR Bible will get developers up and running building simple AIR application, then take them through all aspects of the new API. The authors have a wealth of experience in building Rich Internet Applications using Flex, Flash, HTML, and Ajax. They will...
Statistically Speaking: A Dictionary of Quotations
Statistically Speaking: A Dictionary of Quotations

Statistically Speaking is a book of quotations. It has, for the first time, brought together in one easily accessible form the best expressed thoughts that are especially illuminating and pertinent to the disciplines of probability and statistics. Some of the quotations are profound, others are wise, some are witty, but none are frivolous....

ZooKeeper: Distributed Process Coordination
ZooKeeper: Distributed Process Coordination

Building distributed applications is difficult enough without having to coordinate the actions that make them work. This practical guide shows how Apache ZooKeeper helps you manage distributed systems, so you can focus mainly on application logic. Even with ZooKeeper, implementing coordination tasks is not trivial, but this...

Formal Methods: Industrial Use from Model to the Code
Formal Methods: Industrial Use from Model to the Code

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

Gradle in Action
Gradle in Action

Summary

Gradle in Action is a comprehensive guide to end-to-end project automation with Gradle. Starting with the basics, this practical, easy-to-read book discusses how to build a full-fledged, real-world project. Along the way, it touches on advanced topics like testing, continuous integration, and...

British Political Leaders: A Biographical Dictionary
British Political Leaders: A Biographical Dictionary

This book is a biographical listing of the 198 British leaders who filled the top four offices of state and the post of secretary of state for the colonies between 1730 and the present. The entries are arranged in alphabetical order either by birth name or by title—whichever the given individual was best known by. For...

The Nature of Revolution: Art and Politics under the Khmer Rouge
The Nature of Revolution: Art and Politics under the Khmer Rouge
The Nature of Revolution provides the first account of art and politics under the brutal Khmer Rouge regime in Cambodia. James A. Tyner repositions Khmer Rouge artworks within their proper political and economic context: the materialization of a political organization in an era of anticolonial and decolonization movements....
Learning  jQuery: Better Interaction Design and Web Development with Simple JavaScript Techniques
Learning jQuery: Better Interaction Design and Web Development with Simple JavaScript Techniques
jQuery is a powerful JavaScript library that can enhance your websites regardless of your background. In this book, creators of the popular jQuery learning resource, learningquery.com, share their knowledge, experience, and enthusiasm about jQuery to help you get the most from the library and to make your web applications shine. For designers,...
Time-Blocking: Your Method to Supercharge Productivity & Reach Your Goals
Time-Blocking: Your Method to Supercharge Productivity & Reach Your Goals
Have you ever felt like there’s just not enough time in the day...?For those of us with dreams and goals that we long to see accomplished in our lives, this frustration can be all-too-common. We find ourselves extremely busy, yet still, we struggle to find time for even the tasks we deem most important or the activities that bring us the...
Foundations of XML Processing: The Tree-Automata Approach
Foundations of XML Processing: The Tree-Automata Approach

Computer science, like other mathematical fields, cannot live without a tight relationship with reality. However, such a relationship is, frankly, not very common. This is probably why people so enthusiastically welcome a true meeting of theory and practice. In that sense, the coming together of XML and tree automata theory was a...

unlimited object storage image
Result Page: 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy