Home | Amazing | Today | Tags | Publishers | Years | Search 
Elements of ML Programming, ML97 Edition (2nd Edition)
Elements of ML Programming, ML97 Edition (2nd Edition)

I became interested in ML programming when I taught CS109, the introduc- tory Computer Science Foundations course at Stanford, starting in 1991. ML was used by several of the instructors of this course, including Stu Reges and Mike Cleron, to introduce concepts such as functional programming and type systems. It was also used for the...

Robotic Micro-Assembly
Robotic Micro-Assembly
This book deals with the current methods developed around the world on robotic microassembly. It is dedicated to Master’s and Ph.D. students, and also scientists and engineers involved in microrobotics and also in robotics. As robotic microassembly is a new way to manufacture microelectromechanical systems (MEMS),...
Algorithms and Computation: 20th International Symposium, ISAAC 2009, Honolulu, Hawaii
Algorithms and Computation: 20th International Symposium, ISAAC 2009, Honolulu, Hawaii

The papers in this volume were presented at the 20th Annual International Symposium on Algorithms and Computation, held December 16–18, 2009, in Hawaii, USA. In response to the Call-for-Papers, 279 papers were submitted. Each paper received at least three reviews by either Program Committee members or experts selected by Program...

Pro Android 4 (Professional Apress)
Pro Android 4 (Professional Apress)

Pro Android 4 shows you how to build real-world and fun mobile apps using the new Android SDK 4 (Ice Cream Sandwich), which unifies Gingerbread for smartphones, Honeycomb for tablets and augments further with Google TV and more. This Android 4 book updates the best selling Pro Android 3 and covers everything...

packetC Programming
packetC Programming

This book covers a vast array of information related to packetC. It is a complete language reference and contains background information on many unique parts of packetC. As packetC shares much of its grammar with C, the book focuses on being an instructional language reference and not a general C programming introduction, since extensive...

Getting Started with CouchDB
Getting Started with CouchDB
When I was about nine years old, I had an Acorn Electron, a home computer developed by Acorn Machines and one of the major precursors to modern home computing. It was tiny by today’s standards, having just 32K of RAM, a 2MHz CPU, and with the staggering ability to store a massive 360 Kb on the 3 inch Amstrad disks I was using...
Encyclopedia of Cryptography and Security
Encyclopedia of Cryptography and Security

Expanded into two volumes, the Second Edition of Springer’s Encyclopedia of Cryptography and Security brings the latest and most comprehensive coverage of the topic: Definitive information on cryptography and information security from highly regarded researchers Effective tool for professionals in many fields and researchers of all...

Big C++
Big C++
This book provides a traditional introduction to computer science, focusing on program development and effective use of the C++ programming language. It is suitable for motivated beginners as well as students with prior programming experience. The book can be used in a variety of settings, such as an introductory computer science...
Oracle9i Administration and Management
Oracle9i Administration and Management
With Oracle8 and Oracle8i, Oracle Corporation began a trend in database modernization that has culminated in the Oracle9i release. Many consider Oracle9i to actually be 8.2; I would argue that with the multitude of new features, structures, and capabilities, 9i qualifies as a new release.

Oracle’s power
...
Design Aids for Eurocode 2: Design of concrete structures
Design Aids for Eurocode 2: Design of concrete structures

Eurocode 2 is the key document for future structural design in concrete throughout Europe. To use the code effectively, structural engineers need a range of aids in the form of flow charts, design charts and simplified procedures. This book provides all these, and is written with the authority of collaborative work by members of the Concrete...

Pro Visual Studio LightSwitch 2011 Development (Professional Apress)
Pro Visual Studio LightSwitch 2011 Development (Professional Apress)
We’ve designed this book to show you how to write professional applications using Microsoft LightSwitch.

As software developers, we understand how difficult it is to develop software in real life. End users expect their applications to be reliable, functional, and polished. They’ll also have preferences in
...
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

Result Page: 132 131 130 129 128 127 126 125 124 123 122 121 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy