Home | Amazing | Today | Tags | Publishers | Years | Account | 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
...

Drupal for Education and E-Learning - Second Edition
Drupal for Education and E-Learning - Second Edition

You don't need to be a techie to build a community-based website for your school. With this guide to Drupal you'll be able to create an online learning and sharing space for your students and colleagues, quickly and easily.

Overview

  • Create a powerful tool for communication among teachers,...
Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional
Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional
A hands-on guide to testing techniques that deliver reliable software and systems

Testing even a simple system can quickly turn into a potentially infinite task. Faced with tight costs and schedules, testers need to have a toolkit of practical techniques combined with hands-on experience and the right strategies...

An Introduction to Neural Networks
An Introduction to Neural Networks
Covers: artificial neurons as models of their real counterparts; the geometry of network action in pattern space; gradient descent methods, including back-propagation; associative memory and Hopfield nets; and self-organization and feature maps.

This book grew out of a set of course notes for a neural networks module given as part of a
...
Foundations of Computer Science: C Edition (Principles of Computer Science Series)
Foundations of Computer Science: C Edition (Principles of Computer Science Series)
Aho and Ullman have created a C version of their groundbreaking text. As in that text, this book combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organizations as its predecessor, with all examples and exercises in C.

This book was motivated by the desire we and others have had to
...
Real-Time Systems Design and Analysis
Real-Time Systems Design and Analysis
This book is an introduction to real-time systems. It is intended not as a cookbook,
but, rather, as a stimulus for thinking about hardware and software in a different
way. It is necessarily broader than deep. It is a survey book, designed to heighten
the reader’s awareness of real-time issues.

This book is the
...
Mobile Satellite Communication Networks
Mobile Satellite Communication Networks
Until very recently, geostationary satellites have been used as a sole basis for the provision of mobile satellite services. However, the launch of satellite personal communication services (S-PCS), which make use of non-geostationary satellites, has provided a new dimension to the mobile satellite communications industry. The introduction of S-PCS...
Graph Algorithms
Graph Algorithms
Shimon was a great computer scientist who inspired generations of Israeli stutents and young researchers, including many future leaders of theoretical computer science.

He was a master at creating combinatorial algorithms, constructions, and proofs. He always sought the simplest and most lucid solutions. Because
...
Programming with Mathematica®: An Introduction
Programming with Mathematica®: An Introduction

Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica language, can be used to solve problems in science, engineering,...

A Guide to the Project Management Body of Knowledge: PMBOK(R) Guide
A Guide to the Project Management Body of Knowledge: PMBOK(R) Guide
A Guide to the Project Management Body of Knowledge (PMBOK® Guide) – Fifth Edition provides guidelines for managing individual projects and defines project management related concepts. It also describes the project management life cycle and its related processes, as well as the project life cycle.

The
...
Algorithms
Algorithms

This text, extensively class-tested over a decade at UC Berkeley and UC San Diego, explains the fundamentals of algorithms in a story line that makes the material enjoyable and easy to digest. Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly...

Jenkins Fundamentals: Accelerate deliverables, manage builds, and automate pipelines with Jenkins
Jenkins Fundamentals: Accelerate deliverables, manage builds, and automate pipelines with Jenkins

Continuous integration with Jenkins speeds up your projects and saves you time and money

Key Features

  • Get a perfect balance of theories and hands-on activities
  • Apply continuous integration and delivery to your workflow
  • Explore concepts such as the plugin...
Result Page: 58 57 56 55 54 53 52 51 50 49 
┬ę2020 LearnIT (support@pdfchm.net) - Privacy Policy