Search ResultsElectronic Resources
by
Nijenhuis, Albert.
ScienceDirect http://www.sciencedirect.com/science/book/9780125192606
Format:
Excerpt:
Canbinatorial analysis Applications of computer systems Programs
by
Clarke, David (David K.)
Format:
Excerpt:
Groundwater -- Computer programs.
by
Valkó, Péter, 1950-
Format:
Excerpt:
Science -- Computer programs.
by
McReynolds, Tom.
ScienceDirect http://www.sciencedirect.com/science/book/9781558606593
Format:
Excerpt:
-photorealistic techniques, and many others. * Code fragments are used in the book, and full blown example programs for
by
Rich, Charles, 1951-
ScienceDirect http://www.sciencedirect.com/science/book/9780934613125
Format:
Excerpt:
: Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary





