Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Software Engineering with MODULA-2 and ADA
  • Language: en
  • Pages: 492

Software Engineering with MODULA-2 and ADA

  • Type: Book
  • -
  • Published: 1984
  • -
  • Publisher: Unknown

This clear, in-depth presentation examines each stage of the software engineering process, supported by numerous case studies in Modula-2 and Ada. Geared to computer science undergradutes. Discusses software specifications, design, implementation, testing, and maintenance. Emphasis is on object-oriented design and modular software construction. Summary sections and exercises are provided with each chapter.

Review
  • Language: en
  • Pages: 580

Review

  • Type: Book
  • -
  • Published: 1994
  • -
  • Publisher: Unknown

None

Modula-2 Software Components
  • Language: en
  • Pages: 363

Modula-2 Software Components

Describes a powerful set of reusable Modula-2 software components, using the best-selling Logitech Modula-2 System for IBM PC compatible machines. Discusses reusable software components in general and reviews components in existing libraries; also outlines some of the problems associated with developing and using FORTRAN and C libraries. Goes on to cover the notion of generic software, the development of reusable software, and the benefits of data abstraction. The use of all components and the numerous utilities and data structures are also discussed, with numerous examples provided. Includes error handling and parameters of the interfaces to the software, test programs for each of the utilities offered, and all components on an accompanying disk.

Data Structures Using Modula-2
  • Language: en
  • Pages: 536

Data Structures Using Modula-2

  • Type: Book
  • -
  • Published: 1986-02-28
  • -
  • Publisher: Unknown

Offers a modern treatment of data structures featuring the use of abstract data types and generics. Designed for freshman/sophomore courses in data structures and/or advanced programming. Introduces data structure concepts before their implementation and details the salient differences between Pascal and Modula-2. Advanced topics include virtual hashing, balanced tress, and B trees.

Analysis and Verification of Multiple-Agent Languages
  • Language: en
  • Pages: 452

Analysis and Verification of Multiple-Agent Languages

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Modula-2 Software Components
  • Language: en

Modula-2 Software Components

  • Type: Book
  • -
  • Published: 1987
  • -
  • Publisher: Unknown

None

Functions of Matrices
  • Language: en
  • Pages: 445

Functions of Matrices

  • Type: Book
  • -
  • Published: 2008-01-01
  • -
  • Publisher: SIAM

A thorough and elegant treatment of the theory of matrix functions and numerical methods for computing them, including an overview of applications, new and unpublished research results, and improved algorithms. Key features include a detailed treatment of the matrix sign function and matrix roots; a development of the theory of conditioning and properties of the Fre;chet derivative; Schur decomposition; block Parlett recurrence; a thorough analysis of the accuracy, stability, and computational cost of numerical methods; general results on convergence and stability of matrix iterations; and a chapter devoted to the f(A)b problem. Ideal for advanced courses and for self-study, its broad content, references and appendix also make this book a convenient general reference. Contains an extensive collection of problems with solutions and MATLAB implementations of key algorithms.

Decommissioned, Defueled Naval Submarine Reactor Plants Disposal
  • Language: en
  • Pages: 480

Decommissioned, Defueled Naval Submarine Reactor Plants Disposal

  • Type: Book
  • -
  • Published: 1984
  • -
  • Publisher: Unknown

None

The Numerical Method of Lines
  • Language: en
  • Pages: 341

The Numerical Method of Lines

  • Type: Book
  • -
  • Published: 2012-07-27
  • -
  • Publisher: Elsevier

This is the first book on the numerical method of lines, a relatively new method for solving partial differential equations. The Numerical Method of Lines is also the first book to accommodate all major classes of partial differential equations. This is essentially an applications book for computer scientists. The author will separately offer a disk of FORTRAN 77 programs with 250 specific applications, ranging from "Shuttle Launch Simulation" to "Temperature Control of a Nuclear Fuel Rod."

Computational Mathematics in Engineering and Applied Science
  • Language: en
  • Pages: 600

Computational Mathematics in Engineering and Applied Science

  • Type: Book
  • -
  • Published: 2014-07-22
  • -
  • Publisher: CRC Press

Computational Mathematics in Engineering and Applied Science provides numerical algorithms and associated software for solving a spectrum of problems in ordinary differential equations (ODEs), differential algebraic equations (DAEs), and partial differential equations (PDEs) that occur in science and engineering. It presents detailed examples, each