Yazar

John Rushby

21 cilt bulundu.

Cilt sonuçları

Dependable computing for critical applications 7

John Rushby · Institute of Electrical & Electronics Enginee

400 sayfa · 1999

Reliability / Fault-tolerant computing / Computers

An introduction to educational computing

Nicholas John Rushby · Croom Helm

123 sayfa · 1979

Computer-assisted instruction

Selected readings in computer-based learning

Nicholas John Rushby · Kogan Page

234 sayfa · 1981

Programmed instruction / Addresses, essays, lectures / Computer-assisted instruction / Enseignement assisté par ordinateur / Enseignement programmé

Computers in the teaching process

Nicholas John Rushby · Wiley

123 sayfa · 1979

Computer-assisted instruction / Enseignement assiste par ordinateur

Designing new systems and technologies for learning

Haydn Mathias, Nicholas John Rushby · Kogan Page

356 sayfa · 1988

Instructional systems / Design / Congresses / Educational technology

Computer-assisted instructionIntroduction to Educational ComputingNicholas John Rushby

Introduction to Educational Computing

Nicholas John Rushby · Taylor & Francis Group

124 sayfa · 2019

Computer-assisted instruction

Program verification (Computers)Formal methods and their role in digital systems validation for airborne systemsJohn Rushby

Formal methods and their role in digital systems validation for airborne systems

John Rushby · Available from the National Technical Information Service

Sayfa sayısı yok · 1995

Mathematical logic / Software engineering / Reliability analysis / Digital systems / Program verification (Computers)

DetectionEvaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unitJohn Rushby

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

John Rushby · National Aeronautics and Space Administration, Langley Research Center

Sayfa sayısı yok · 1990

Errors / Artiticial intelligence / Software engineering / Manned maneuvering units / Detection

AlgorithmsFormal verification of an oral messages algorithm for interactive consistencyJohn Rushby

Formal verification of an oral messages algorithm for interactive consistency

John Rushby · National Aeronautics and Space Administration, Langley Research Center

45 sayfa · 1992

Algorithms

Protocol (Computers)Specifying real-time systems with interval logicJohn Rushby

Specifying real-time systems with interval logic

John Rushby · National Technical Information Service, distributor

Sayfa sayısı yok · 1988

Logic design / Distributed processing / Real time operation / Specifications / Protocol (Computers)

CiltStudy geographyJohn George Rushby

Study geography

John George Rushby · Longman

100 sayfa · 1967

Kategori yok

Computer-assisted instructionTechnology-Based LearningNicholas John Rushby

Technology-Based Learning

Nicholas John Rushby · Nichols Pub Co

347 sayfa · 1987

Computer-assisted instruction

Computer networksFormal methods and digital systems validation for airborne systemsJohn Rushby

Formal methods and digital systems validation for airborne systems

John Rushby · National Aeronautics and Space Administration, Scientific and Technical Information Program

Sayfa sayısı yok · 1993

Computer networks

Artificial intelligenceQuality measures and assurance for AI softwareJohn Rushby

Quality measures and assurance for AI software

John Rushby · For sale by the National Technical Information Service, distributor]

Sayfa sayısı yok · 1988

Artificial intelligence

Clock synchronization algorithmFormal verification of a fault tolerant clock synchronization algorithmJohn Rushby

Formal verification of a fault tolerant clock synchronization algorithm

John Rushby · Langley Research Center

217 sayfa · 1989

Clock synchronization algorithm

Fault-tolerant computingFormal specification and verification of a fault-masking and transient-recovery model for digital flight-control systemsJohn Rushby

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

John Rushby · For sale by the National Technical Information Service]

124 sayfa · 1991

Flight control / Fault-tolerant computing

Distributed processingPartitioning in avionics architecturesJohn Rushby

Partitioning in avionics architectures

John Rushby · National Technical Information Service, distributor

Sayfa sayısı yok · 1999

Architecture (Computers) / Avionics / Automatic flight control / Computer information security / Distributed processing

Computer-assisted instructionComputer-based learningNicholas John Rushby

Computer-based learning

Nicholas John Rushby · Pergamon Infotech

293 sayfa · 1983

Computer-assisted instruction

Educational technologyEducational, training, and information technologies--economics and other realitiesNicholas John Rushby, Anne Howe

Educational, training, and information technologies--economics and other realities

Nicholas John Rushby, Anne Howe · K. Page

251 sayfa · 1986

Congresses / Educational technology

Educational technologyThe Wiley handbook of learning technologyNicholas John Rushby, Daniel W. Surry

The Wiley handbook of learning technology

Nicholas John Rushby, Daniel W. Surry · John Wiley & Sons

Sayfa sayısı yok · 2016

Handbooks, manuals / Educational technology

Electronic digital computers, programmingGuide to good programming practiceB. L. Meek, Nicholas John Rushby

Guide to good programming practice

B. L. Meek, Nicholas John Rushby · Halsted Press

192 sayfa · 1983

Computer programming / Electronic digital computers, programming