Home | Amazing | Today | Tags | Publishers | Years | Search 
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....

TI-Nspire For Dummies (Computer/Tech)
TI-Nspire For Dummies (Computer/Tech)
TI-Nspire changes the way that teachers teach and students learn. This transformative device has just undergone a transformation of its own. The TI-Nspire CX features color on the handheld (which is definitely a gamechanger). The Touchpad control of TI-Nspire is another innovation that helps students to interact with the...
User-Centered Agile Methods (Synthesis Lectures on Human-Centered Informatics)
User-Centered Agile Methods (Synthesis Lectures on Human-Centered Informatics)
Agile methods have transformed how developers think about organizing the development of a project. Rather than months (or years) of development, followed by months of field test leading up to a release, agile methods organize development into short iterations with continuous testing and a flexible release date. The agile approach...
Computer Science: The Hardware, Software and Heart of It
Computer Science: The Hardware, Software and Heart of It

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain...

Foundation HTML5 Animation with JavaScript
Foundation HTML5 Animation with JavaScript
This book is about how to create interactive animations for the web using computer code and math. But don't worry if you can't remember anything from your high school algebra class, you'll just need a minimal understanding to get started. The purpose of this book is to give you the tools to create and express your...
Java 7 for Absolute Beginners
Java 7 for Absolute Beginners

The title says "for Absolute Beginners." By that, I mean absolute beginners at programming. My original audience was teenagers whom I hope will go to college, get degrees in Mathematics, Computer Science, or Electrical Engineering (or perhaps Technical Communication or Graphic Design), and then enter the software industry. However,...

Pro Core Data for iOS, Second Edition (Professional Apress)
Pro Core Data for iOS, Second Edition (Professional Apress)
Interest in developing apps for Apple’s iOS platform continues to rise, and more great apps appear in Apple’s App Store every day. As people like you join the app-creation party, they usually discover that their apps must store data on iOS devices to be useful. Enter Pro Core Data for iOS, written for developers who...
PHP Development in the Cloud
PHP Development in the Cloud
This book is the result of two people’s interest in both PHP and cloud computing. It explains to PHP developerswhat they need to knowto not only understand the cloud concept, but to be able to put it to good use.To accomplish this, wemix explanations of cloud concepts with practical examples. All of the code snippets in this...
Visualizing Time: Designing Graphical Representations for Statistical Data (Statistics and Computing)
Visualizing Time: Designing Graphical Representations for Statistical Data (Statistics and Computing)
Art or science?Which of these is the right way to think of the field of visualization? This is not an easy question to answer, even for those who have many years of experience in making graphical depictions of data with a view to helping people understand them and take action. When we look at beautiful hand-drawn pictures of...
HTML, XHTML, and CSS: Introductory (Shelly Cashman)
HTML, XHTML, and CSS: Introductory (Shelly Cashman)
The Shelly Cashman Series® offers the fi nest textbooks in computer education. We are proud of the fact that our previous HTML books have been so well received. With each new edition of our HTML books, we have made signifi cant improvements based on the comments made by instructors and students. The HTML, XHTML, and CSS, Sixth...
Depth Map and 3D Imaging Applications: Algorithms and Technologies
Depth Map and 3D Imaging Applications: Algorithms and Technologies
This book has three editors, and all of us are involved in image processing and computer vision research. We have contributed to the 3D imaging research, especially in the field of passive optical 3D shape recovery methods. Over the last decade, significant progress had been made in 3D imaging research. As a result, 3D imaging...
Encyclopedia of Parallel Computing
Encyclopedia of Parallel Computing
Parallelism, the capability of a computer to execute operations concurrently, has been a constant throughout the history of computing. It impacts hardware, software, theory, and applications. The fastest machines of the past few decades, the supercomputers, owe their performance advantage to parallelism. Today, physical limitations...
Result Page: 126 125 124 123 122 121 120 119 118 117 116 115 114 113 112 111 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy