perm filename FICHE.ORD[BIB,CSR] blob
sn#613274 filedate 1981-09-18 generic text, type C, neo UTF8
COMMENT ā VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 --------------------------------------------------------------------------------
C00013 00003 --------------------------------------------------------------------------------
C00028 ENDMK
Cā;
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 51
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-855 DEDUCTIVE SYNTHESIS OF THE UNIFICATION ALGORITHM (CARD x OF x)
BY ZOHAR MANNA AND RICHARD WALDINGER JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 190
NUMBER COPIES REQUIRED: 175
HEADER COLOR: blue
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-856 AN ORGANIZATION FOR PROGRAMS IN FLUID DOMAINS (CARD x OF x)
BY RICHARD P. GABRIEL MAY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 6
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-858 THE BIT-OPERATION COMPLEXITY OF APPROXIMATE EVALUATION (CARD x OF x)
OF MATRIX & POLYNOMIAL PRODUCTS USING MODULAR ARITHMETIC
BY V. PAN JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 21
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-859 THE ADDITIVE AND LOGICAL COMPLEXITIES OF LINEAR AND (CARD x OF x)
BILINEAR ARITHMETIC ALGORITHMS
BY V. PAN JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 81
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-860 COMPUTING THE CONTROLLABILITY/OBSERVABILITY (CARD x OF x)
DECOMPOSITION OF A LINEAR TIME-INVARIANT DYNAMIC
SYSTEM, A NUMERICAL APPROACH
BY DANIEL BOLEY JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 181
NUMBER COPIES REQUIRED: 400
HEADER COLOR: blue
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-861 SYMBOLIC REASONING AMONG 3-D MODELS AND 2-D IMAGES (CARD x OF x)
BY RODNEY A. BROOKS JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 4
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
STAN-CS-80-862 THE LOWER BOUNDS ON THE ADDITIVE COMPLEXITY OF BILINEAR (CARD x OF x)
PROBLEMS IN TERMS OF SOME ALGEBRAIC QUANTITIES
BY V. PAN JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 84
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-863 A PROGRAMMING AND PROBLEM-SOLVING SEMINAR (CARD x OF x)
BY DONALD E. KNUTH AND ALLAN A. MILLER JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 42
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-868 THE LAST WHOLE ERRATA CATALOG (CARD x OF x)
BY DONALD E. KNUTH JULY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 225
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-869 COMPREHENSIVE EXAMINATIONS IN COMPUTER SCIENCE-- (CARD x OF x)
1978/79-1980-81 JULY 1981
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 26
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-846 THE BYZANTINE GENERALS STRIKE AGAIN (CARD x OF x)
BY DANNY DOLEV MARCH 1981
---------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 6
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-847 THE OPTIMAL LOCKING PROBLEM (CARD x OF x)
IN A DIRECTED ACYCLIC GRAPH
BY HENRY F. KORTH MARCH 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 9
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-848 ON THE PROBLEM OF INPUTTING CHINESE CHARACTERS (CARD x OF x)
BY CHIH-SUNG TANG APRIL 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 28
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-849 EXPERIMENTS ON THE KNEE CRITERION (CARD x OF x)
IN A MULTIPROGRAMMED COMPUTER SYSTEM
BY TOHRU NISHIGAKI MARCH 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 43
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-832 SCHEDULING WIDE GRAPHS (CARD X OF X)
BY DANNY DOLEV DECEMBER 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 104
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-833 GRAPH SEPARATOR THEOREMS AND SPARSE GAUSSIAN (CARD X OF X)
ELIMINATION
BY JOHN RUSSELL GILBERT DECEMBER 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4BD-173798
TAXABLE: NO
NUMBER OF ORIGINALS: 37
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-837 RESEARCH ON EXPERT SYSTEMS (CARD X OF X)
BY BRUCE G. BUCHANAN FEBRUARY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 13
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-838 DYNAMIC PROGRAM BUILDING (CARD X OF X)
BY PETER BROWN FEBRUARY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 6
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-840 VERIFICATION OF LINK-LEVEL PROTOCOLS (CARD X OF X)
BY DONALD E. KNUTH JANUARY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 6
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-841 HUFFMAN'S ALGORITHM VIA ALGEBRA (CARD X OF X)
BY DONALD E. KNUTH MARCH 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4BD-173798
TAXABLE: NO
NUMBER OF ORIGINALS: 23
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-850 PERFORMING REMOTE OPERATINS EFFICIENTLY ON A (CARD X OF X)
LOCAL COMPUTER NETWORK
BY ALFRED SPECTOR DECEMBER 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4BD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 41
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-851 BINDING IN INFORMATION PROCESSING (CARD X OF X)
BY GIO WIEDERHOLD MAY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 9
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-852 A VIEW OF DIRECTIONS IN RELATIONAL (CARD X OF X)
DATABASE THEORY
BY JEFFREY D. ULLMAN MAY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 10
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-853 CONNECTIONS IN ACYCLIC HYPERGRAPHS (CARD X OF X)
BY DAVID MAIER & JEFFREY D. ULLMAN MAY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 22
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-81-854 ON THE SECURITY OF PUBLIC KEY PROTOCOLS (CARD X OF X)
BY D. DOLEV & A.C. YAO MAY 1981
--------------------------------------------------------------------------------