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

Biosimulation in Drug Development
Biosimulation in Drug Development
Drug development is far from a straightforward endeavor. It starts with the identification of a pharmaceutically promising substance, the potential of which is further investigated in near-exhausting physiological analyses (Chapter 1). If it is found effective, this does not necessarily mean that we know all the molecular...
Biophysical Techniques in Photosynthesis (Advances in Photosynthesis and Respiration)
Biophysical Techniques in Photosynthesis (Advances in Photosynthesis and Respiration)
Progress in photosynthesis research is strongly dependent on instrumentation. It is therefore not surprising that the impressive advances that have been made in recent decades are paralleled by equally impressive advances in sensitivity and sophistication of physical equipment and methods. This trend started already shortly after...
Building Blocks of Matter (MacMillan Science Library)
Building Blocks of Matter (MacMillan Science Library)
The concepts and ideas of elementary particle physics are abstract, and they are typically expressed in the language of mathematics. However, the goal of elementary particle physics is very simple, and all the efforts of elementary particle physicists are directed toward that simple goal: to identify the basic building...
Computational Fluid Dynamics: Principles and Applications
Computational Fluid Dynamics: Principles and Applications
The history of Computational Fluid Dynamics, or CFD for short,, started in the early 1970’s. Around that time, it became an acronym for a combination of physics, numerical mathematics, and, to some extent, computer sciences employed to simulate fluid flows. The beginning of CFD was triggered by the availability of...
Microsoft Windows 7: Illustrated Complete
Microsoft Windows 7: Illustrated Complete
Tips and troubleshooting advice, right where you need it–next to the step itself. Welcome to Microsoft Windows 7—Illustrated Complete. If this is your first experience with the Illustrated series, you’ll see that this book has a unique design: each skill is presented on two facing pages, with steps...
Agile Experience Design: A Digital Designer's Guide to Agile, Lean, and Continuous (Voices That Matter)
Agile Experience Design: A Digital Designer's Guide to Agile, Lean, and Continuous (Voices That Matter)
This is the book we wish we’d had when we were first introduced to agile methods. We want to show how design and agile are a natural fit together. How bringing together the people who build the products you design with the people who use the products you design will lead to better decisions and better customer...
Introduction to Design Patterns in C++ with Qt (2nd Edition)
Introduction to Design Patterns in C++ with Qt (2nd Edition)

I still remember how I first got to know C++ and Qt. It was around 15 years ago while working on my diploma thesis. Most of the development we did at that time was done in Fortran and C. I was working on a Linux system with FVWM as a window manager. One day I read an article about KDE—a cool, new open source project...

Perspectives in Organometallic Chemistry (Special Publication)
Perspectives in Organometallic Chemistry (Special Publication)
This review details recent developments in the synthesis and coordination chemistry primarily of Group 15 imido and phosphido cages containing a variety of anionic arrangements. The review will concentrate on the applications of these Group 15 anionic ligands in organometallic chemistry, and essentially follows the...
Pharmaceutical Project Management, Second Edition (Drugs and the Pharmaceutical Sciences)
Pharmaceutical Project Management, Second Edition (Drugs and the Pharmaceutical Sciences)
This second edition of Pharmaceutical Project Management is published one decade after the first edition. What has changed over the past decade in drug development? Actually, a lot. The move to outsourcing has intensified and the successful management of relationships between sponsor and contractor is recognized to be a...
Pharmacoethics: A Problem-Based Approach (Plant Engineering Series)
Pharmacoethics: A Problem-Based Approach (Plant Engineering Series)
About 20 years ago, the University of New Mexico School of Medicine (SOM) established a student-centered problem-based learning (PBL) curriculum emphasizing ambulatory care practice competencies. It was designed for small groups of students working together and ran parallel with their more traditional curriculum. The SOM...
Administering VMware Site Recovery Manager 5.0 (VMware Press Technology)
Administering VMware Site Recovery Manager 5.0 (VMware Press Technology)

The Complete, Hands-On Guide to Installing and Configuring VMware Site Recovery Manager 5.0

 

Administering VMware Site Recovery Manager 5.0 is the complete, technical, hands-on guide to VMware Site Recovery Manager (SRM) 5.0...

Result Page: 2056 2055 2054 2053 2052 2051 2050 2049 2048 2047 2046 2045 2044 2043 2042 2041 2040 2039 2038 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy