This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...

Instant SymPy Starter is an...

The CSS preprocessor, Sass, is becoming the de-facto standard for producing cross-browser CSS more maintainable and with more ease. It supercharges CSS with features that make previously difficult and time-consuming tasks trivial. This book concentrates on distilling the techniques in a straightforward manner making it accessible to all, even...

Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write and save R scripts, build and import data files, and write your own custom statistical functions. R is a powerful open-source implementation of the statistical language S, which was developed by AT&T. R has eclipsed...

W e live in a wonderfully global and amazingly diverse society. Exchanging ideas, products, foods, and friendship across national and cultural boundaries is the key to making our lives richer and more meaningful and peaceful. Besides, traveling abroad is a lot cheaper than it used to be. Grabbing your passport and setting off on an adventure...

Game theory has become an enormously important field of study. It is now a vital methodology for researchers and teachers in many disciplines, including economics, political science, biology, and law. This book provides a thorough introduction to the subject and its applications, at the intermediate level of instruction. It is designed for...

This book presents a giant collection of the latest, most widely-used electronic circuits - an invaluable reference tool! "The Encyclopedia of Electronic Circuits" is back! Not a revision of the past two volumes, this third edition in the bestselling series offers you hundreds of schematics for the latest electronics circuits from...