perm filename FICHE.ORD[BIB,CSR]7 blob
sn#608185 filedate 1981-08-25 generic text, type C, neo UTF8
COMMENT ā VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 MICROFICHE ORDER July 20, 1981
C00013 00003 --------------------------------------------------------------------------------
C00028 ENDMK
Cā;
MICROFICHE ORDER July 20, 1981
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Stanford University
San Francisco, CA 94107 Attn: Dawn Yolton
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Please put in
glassine envelopes.(NOTE: this is a deviation from previous requests). Return
the microfilm masters as well as the document originals.
Please put the taxable items and the non-taxable items on SEPARATE invoices and
return a copy of each order with the invoice when sent.
If you have any questions concerning this order, please call Dawn Yolton at
(415) 497-4776.
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 51
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-855 DEDUCTIVE SYNTHESIS OF THE UNIFICATION ALGORITHM (CARD x OF x)
BY ZOHAR MANNA AND R. WALDINGER JUNE 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4BD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: MAY 1981
NUMBER COPIES REQUIRED: 175
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-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-80-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: 4
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
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-80-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: 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
--------------------------------------------------------------------------------