|
|
|
|
The Clausal Theory of Types
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and... | | | | GarageBand ’11
Welcome to the official Apple training course for the iLife ’11 product
GarageBand, the dynamic music recording and arranging software from
Apple. This is a guide to playing, recording, fixing, mixing, and sharing
music projects.
Throughout these lessons you will not only record your own tracks, but
you’ll also... |
|
|
LINUX in A Nutshell: A Desktop Quick Reference (3rd Edition)Linux in a Nutshell covers the core commands available on common Linux distributions. This isn't a scaled-down quick reference of common commands, but a complete reference to all user, programming, administration, and networking commands with complete lists of options. Contents also include:
| | Moodle 1.9 for Second Language TeachingThat word Moodle keeps cropping up all over the place - it's in the newspapers, on other teachers' tongues, in more and more articles. Do you want to find out more about it yourself and learn how to create all sorts of fun and useful online language activities with it? Your search ends right here.
This book demystifies Moodle and... | | Internet Programming with OmniMark"I have been using OmniMark for a decade to solve many different kinds of information management problems. When OmniMark Technologies Corporation added features to their excellent language that allowed server functionality and database access, OmniMark became an even better, more powerful platform for data processing. When they made it... |
|
Neo4j Essentials
Leverage the power of Neo4j to design, implement, and deliver top-notch projects
About This Book
-
Understand, in detail, the Pattern matching theory, and cypher optimization
-
Use Neo4j models combined with the power of Cypher to sketch and start working quickly
-
A fast-paced,...
| | Moodle 1.9 English Teacher's Cookbook
Connecting the ideas of students is one of the most difficult tasks to carry out in the teaching process. Performing these types of tasks through Moodle will help you overcome complex situations while you teach. If you are looking for a guide that will show you how to improve your skills in using Moodle, as well as enhance your way of... | | Developing International Software, Second Edition I completed work on the first edition of Developing International Software in December of 1994. Eight years later, I still receive scattered e-mail with questions about running or developing world-ready software, which I usually forward to the very capable World-Ready Guides (WRG) team (who are also responsible for the Dr.... |
|
|
Result Page: 12 11 10 9 8 7 6 5 4 3 2 1 |