Home | Amazing | Today | Tags | Publishers | Years | Search 
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim
...

WebGL: Up and Running
WebGL: Up and Running
In early 1994, Tim Berners-Lee put out an open call for a virtual reality specification for the Web; Mark Pesce and I answered. Only being able to afford one plane ticket, we sent Mark to Geneva to present our Labyrinth prototype at the first-ever World Wide Web Developers’ Conference. With typical bombast,...
CSS3 Solutions: Essential Techniques for CSS3 Developers
CSS3 Solutions: Essential Techniques for CSS3 Developers
CSS3 is the latest standard for CSS, the syntax to control the style and layout of web pages.

CSS3 is completely backward-compatible, so you will not have to change your existing designs. The CSS3 specification is still under development by the World Wide Web Consortium (W3C). However, many of the new CSS3 properties
...
Java EE 6 Cookbook for Securing, Tuning, and Extending Enterprise Applications
Java EE 6 Cookbook for Securing, Tuning, and Extending Enterprise Applications
Java Platform, Enterprise Edition is a widely used platform for enterprise server programming in the Java programming language.

This book covers exciting recipes on securing, tuning, and extending Enterprise Applications using a Java EE 6 implementation.

The book starts with the essential changes in Java EE
...
Java EE 6 Pocket Guide
Java EE 6 Pocket Guide
The Java EE 6 platform has taken ease-of-development in enterprise Java programming to new heights. This book is directed towards the audience who wants to get a quick overview of the platform and to keep coming back to learn the basics.

This book provides an overview of the key specifications
...
Cracking Windows Phone and BlackBerry Native Development: Cross-Platform Mobile Apps Without the Kludge
Cracking Windows Phone and BlackBerry Native Development: Cross-Platform Mobile Apps Without the Kludge
For me, this book has become all about change. In the time that I have been watching the mobile computing marketplace and developing software solutions for it, there has never been a time when there has been a more rapid series of shifts and changes. A good friend of mine tells me that this is because of market consolidation. As of...
Statistical Methods in Analytical Chemistry (Chemical Analysis: A Series of Monographs on Analytical Chemistry and Its Applications)
Statistical Methods in Analytical Chemistry (Chemical Analysis: A Series of Monographs on Analytical Chemistry and Its Applications)

This new edition of a successful, bestselling book continues to provide you with practical information on the use of statistical methods for solving real-world problems in complex industrial environments. Complete with examples from the chemical and pharmaceutical laboratory and manufacturing areas, this thoroughly updated book clearly...

Project Workout: A Toolkit for reaping the rewards from all your business projects (3rd Edition)
Project Workout: A Toolkit for reaping the rewards from all your business projects (3rd Edition)
The forward progress of companies has always depended heavily on the management of projects. New plants, new products, new organizations, new methods, new ventures – all required dedicated teams working to strict timetables and separate budgets. But today there’s a vital difference. The project management mode has...
Graphics Shaders: Theory and Practice, Second Edition
Graphics Shaders: Theory and Practice, Second Edition

Graphics Shaders: Theory and Practice is intended for a second course in computer graphics at the undergraduate or graduate level, introducing shader programming in general, but focusing on the GLSL shading language. While teaching how to write programmable shaders, the authors also teach and reinforce the fundamentals of...

HTML5 and JavaScript Web Apps
HTML5 and JavaScript Web Apps
HTML5 and JavaScript Web Apps is about building web applications with HTML5 and W3C specifications that are widely supported across all devices and browsers. It is intended for programmers who are facing the challenges of moving more code to the frontend with JavaScript, CSS, and HTML, while at the same time...
Natural Language Annotation for Machine Learning
Natural Language Annotation for Machine Learning
This book is intended as a resource for people who are interested in using computers to help process natural language. A natural language refers to any language spoken by humans, either currently (e.g., English, Chinese, Spanish) or in the past (e.g., Latin, ancient Greek, Sanskrit). Annotation refers to the process...
Web Workers: Multithreaded Programs in JavaScript
Web Workers: Multithreaded Programs in JavaScript
Web Workers is a powerful feature of HTML5 that hasn’t received very much attention. It provides an API that allows you to run JavaScript in a separate thread that doesn’t interfere with the user interface of your web application. This JavaScript runs in parallel with the main renderer and any of your...
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy