Start Over
You searched for: subject "Computer programs+Correctness."

Search Results

Cover image for On reductions and livelocks in asynchronous parallel computation

On reductions and livelocks in asynchronous parallel computation

Location Call # Status
Joyner - General Stacks QA76.6 .K96 1982 ✔ Available
Cover image for Concurrency, compositionality, and correctness

Concurrency, compositionality, and correctness

  • 2010
  • Format: Electronic
Location
Access Content Online
Cover image for Artificial unintelligence

Artificial unintelligence

Location Call # Status
Joyner - General Stacks QA76.9 .C66 B787 2018 ✔ Available
Cover image for Variations on constants

Variations on constants

Location Call # Status
Joyner - General Stacks QA76.9.V5 I58 2006 ✔ Available
Cover image for Artificial unintelligence

Artificial unintelligence

Location
Access Content Online
Cover image for Proceedings

Proceedings

Location
Access Content Online
Cover image for Variations on constants

Variations on constants

Location
Access Content Online
Cover image for An autonomous fault detection, isolation, and recovery system for a 20-kHz electric power distribution test bed

An autonomous fault detection, isolation, and recovery system for a 20-kHz electric power distribution test bed

Location Call # Status
Joyner - Microforms B300 NAS 1.15:104344 ✔ Available
Cover image for Java software development with event B

Java software development with event B

Location
Access Content Online
Cover image for An analysis of new techniques for radiometric correction of LANDSAT-4 thematic mapper images

An analysis of new techniques for radiometric correction of LANDSAT-4 thematic mapper images

Location
Access Content Online