|
|
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... | | | | Elgg 1.8 Social Networking
Elgg is a web application for social networking. It has all the features you would expect from a social web application. It has blogging, file sharing, social bookmarking, microblogging, activity streams, groups, "friending", user profiles, and the list goes on. However, Elgg is more than just a web application. It can also be used... |
|
|
HTML5 Mobile Development Cookbook
The book is written in a cookbook style, presenting examples in the style of recipes, allowing you to go directly to your topic of interest, or follow topics throughout a chapter to gain in-depth knowledge. Developers keen to create HTML5 mobile websites that are fast and responsive across a whole range of mobile devices. ... | | Statistics for Censored Environmental Data Using Minitab and R
Praise for the First Edition
" . . . an excellent addition to an upper-level undergraduate course on environmental statistics, and . . . a 'must-have' desk reference for environmental practitioners dealing with censored datasets."
—Vadose Zone Journal
Statistical Methods for... | | |
|
|
Result Page: Previous 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 Next |