|
|
|
|
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully... | | The Essential GalileoEdited and translated by Maurice A. Finocchiaro, an international authority on Galileo, this collection makes available to scholars and students an excellent and extensive selection of Galileo's key works from his early career to the end of his life - some in toto and some represented by key selections. It presents not only Galileo's most famous... | | Foundation Rails 2I wrote this book with the goal of providing an introduction to Rails for people who have some passing familiarity with other scripting languages such as JavaScript or PHP. That being said, the main requirement for success with this book is simply going to be motivation and curiosity. Readers with an abundance of both, who are willing to go beyond... |
|
Professional Microsoft Windows Embedded CE 6.0 (Wrox Programmer to Programmer)Windows Embedded CE is a 32 - bit, native, hard, real - time, small - footprint operating system developed by Microsoft to address the needs of handheld, mobile, and embedded devices. With support for multiple processor architectures, Windows Embedded CE can be adapted to a variety of devices like Smartphones, PocketPCs, set - top boxes, thin -... | | Adobe Captivate 3: The Definitive Guide (Wordware Applications Library)
Adobe Captivate 3: The Definitive Guide, the follow-up to Wordware s popular Macromedia Captivate: The Definitive Guide, steps you through all the procedures needed to create Flash movies based on any software on your desktop. You ll learn how to create Flash movies, edit individual screens, add and edit sound, even add interactivity (with or... | | Frommer's Europe (Frommer's Complete)
America’s #1 bestselling travel series
Written by more than 175 outspoken travelers around the globe, Frommer’s Complete Guides help travelers experience places the way locals do.
-
More annually updated guides than any other series
-
16-page color section and foldout map in all...
|
|
Group-based Cryptography (Advanced Courses in Mathematics - CRM Barcelona)
This book is about relations between three different areas of mathematics and theoretical computer science: combinatorial group theory, cryptography, and complexity theory. It is explored how non-commutative (infinite) groups, which are typically studied in combinatorial group theory, can be used in public key cryptography. It is also shown... | | Frommer's Montreal & Quebec City 2009 (Frommer's Complete Guides)
America’s #1 bestselling travel series
Written by more than 175 outspoken travelers around the globe, Frommer’s Complete Guides help travelers experience places the way locals do.
• More annually updated guides than any other series
• 16-page color section and foldout map in all... | | e-Learning and Social Networking Handbook: Resources for Higher Education
Student engagement with digital learning resources and online social networking are strong forces in education today. How can these resources best be utilized by educators and course designers in higher education? This book aims to provide the reader with enough background information to appreciate the value of social networking, especially... |
|
|
Result Page: Previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 Next |