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
...

Air Pollution from Motor Vehicles: Standards and Technologies for Controlling Emissions
Air Pollution from Motor Vehicles: Standards and Technologies for Controlling Emissions

Contributions by Surhid Gautam and Lit-Mian Chan. This book presents a state-of-the art review of vehicle emission standards and regulations and provides a synthesis of worldwide experience with vehicle emission control technologies and their applications in both industrial and developing countries. Topics covered include: * The two principal...

SharePoint 2010 Development with Silverlight (Microsoft .Net Development Series)
SharePoint 2010 Development with Silverlight (Microsoft .Net Development Series)

This book is for every SharePoint developer who wants to build state-of-the-art solutions with Silverlight—within the enterprise, for consulting clients, or for commercial sale.

 

Developers increasingly want to build rich applications that run in the...

Nonlinear Stochastic Operator Equations
Nonlinear Stochastic Operator Equations
A previous volume, Stochastic Systems (1983), was the first systematic book bringing nonlinear and stochastic equations within the reach of engi neers and physicists concerned with the difficulties of real systems and fron tier problems in which conventional techniques such as linearization and perturbation are not sufficient...
Low-Frequency Noise in Advanced MOS Devices (Analog Circuits and Signal Processing)
Low-Frequency Noise in Advanced MOS Devices (Analog Circuits and Signal Processing)
The excess noise above the well-known thermal noise and shot noise that shows up at low frequencies, the so-called low-frequency noise (other names are 1/f noise or flicker noise), has raised questions for a long time and has now become more important than ever. The low-frequency noise generated in the electronic devices is a...
Getting Started with Windows 8 Apps: A Guide to the Windows Runtime
Getting Started with Windows 8 Apps: A Guide to the Windows Runtime
The personal computer (PC), which first hit the market over 30 years ago, has undergone tectonic changes that, in turn, launched the PC era. PCs were primarily used in the workplace where software was simple and optimized for use with the keyboard; touching a screen was unheard of until recently. Slowly computers...
Failure Criteria in Fibre-Reinforced-Polymer Composites
Failure Criteria in Fibre-Reinforced-Polymer Composites
Fibre Reinforced Polymer composite materials (FRP’s) are now widely utilised in many applications including aircraft, yachts, motor vehicles, chemical and process plant, sporting goods and a wide range of military equipment. They are an extremely broad and versatile class of material, encompassing a wide range of fibre and...
Handbook of Chemical Vapor Deposition, 2nd Edition, Second Edition: Principles, Technology and Applications
Handbook of Chemical Vapor Deposition, 2nd Edition, Second Edition: Principles, Technology and Applications
Chemical vapor deposition (CVD) has grown very rapidly in the last twenty years and applications of this fabrication process are now key elements in many industrial products, such as semiconductors, optoelectronics, optics, cutting tools, refractory fibers, filters and many others. CVD is no longer a laboratory curiosity but a...
Mathematics for Informatics and Computer Science (ISTE)
Mathematics for Informatics and Computer Science (ISTE)

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs)...

Introduction to Computation and Programming Using Python
Introduction to Computation and Programming Using Python

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of "data...

Tactical Trend Trading: Strategies for Surviving and Thriving in Turbulent Markets
Tactical Trend Trading: Strategies for Surviving and Thriving in Turbulent Markets

"Follow trends and make money, or don't follow trends and don't make money. Robert Robbins wants investors to follow trends. His effort is to be saluted." —Michael W. Covel, bestselling author of Trend Following, The Complete Turtle Trader, and Trend Commandments

...

Microsoft Office Inside Out: 2013 Edition
Microsoft Office Inside Out: 2013 Edition

Microsoft Office is the most popular collection of application software ever, and for good reason. The programs in the Office family allow you to perform just about any task that involves words, numbers, charts and graphs, slide decks, email, and more.

With Office 2013, Microsoft has polished the entire collection and
...
Result Page: 42 41 40 39 38 37 36 35 34 33 32 31 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy