登入選單
Google圖書搜尋
出版社 : Cornell University, Department of Computer Science總數: gridview
Programming by Induction
作者
Cornell University. Department of Computer Science / David Gries
出版1971
ISBN
OCLC:606101205
Modes, Values and Expressions
作者
Cornell University. Department of Computer Science / Marvin Solomon
出版1974
ISBN
OCLC:606106952
A Computer Science View Obtained by Automatic Docu...
作者
Gerard Salton / D. Bergmark
出版1977
ISBN
OCLC:606101209
Complete, Trace-based, Network Proof Systems: an A...
作者
Cornell University. Dept. of Computer Science / D. Gries
出版1987
ISBN
OCLC:18262946
主題
Computer networks
An Introduction to Proofs of Program Correctness f...
作者
Cornell University. Dept. of Computer Science / D. Gries / J. Wadkins
出版1990
ISBN
OCLC:23939872
主題
Computer programming
On the Structure of Feasible Computations
作者
Cornell University. Department of Computer Science / Juris Hartmanis / János Simon / J. Simon
出版1974
ISBN
OCLC:634421161
Technical Report
出版1985
ISBN
LCCN:sc85008056
Program Predictability and Data Security
作者
Cornell University. Department of Computer Science / Charles G. Moore / R. Conway
出版1974
ISBN
OCLC:634421564
The "hoare Logic" of CSP, and All that
作者
Cornell University. Department of Computer Science / Leslie Lamport / Fred B. Schneider
出版1982
ISBN
OCLC:724340621
Computing power and political opportunism
作者
Cornell University. Department of Computer Science / Abbe Mowshowitz
出版1976
ISBN
OCLC:634444853
Cornell Local Network (CLONE), Interface Unit, Pri...
作者
Cornell University. Department of Computer Science
出版1981
ISBN
OCLC:8187059
主題
CLONE computer network
Language-based protection mechanisms
作者
Cornell University. Dept. of Computer Science / N. Eland
出版1978
ISBN
OCLC:63574592
主題
Computers
ON Computing the Homology Type of a Triangulation
作者
Cornell University. Department of Computer Science / B. R. Donald / D. R. Chang
出版1991
ISBN
OCLC:123332441
The Collapsing Hierarchies
作者
Cornell University. Department of Computer Science / J. Hartmanis
出版1987
ISBN
OCLC:123328001
Teaching Calculation and Discrimination Early in t...
作者
Cornell University. Dept. of Computer Science / D. Gries
出版1990
ISBN
OCLC:24115317
主題
Computer programming
Critical (of) issues in real-time systems
作者
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE. / F. B. Schneider
出版1988
ISBN
OCLC:19470447
主題
Real-time data processing
Information Storage and Retrieval
作者
Cornell University. Department of Computer Science
出版1969
ISBN
OCLC:221171652
主題
Information storage and retrieval
Engineering Fault-tolerant Distributed Computing S...
作者
Cornell University. Dept. of Computer Science / Özalp Babaog̃lu
出版1986
ISBN
OCLC:15729257
主題
Fault-tolerant computing
Low-level Programming for a Massively Parallel Fin...
作者
Cornell University. Dept. of Computer Science / L. Hendren / A. Nicolau / J. A. Solworth / P. Xavier
出版1987
ISBN
OCLC:16474589
主題
Parallel processing (Electronic computers)
Information Storage and Retrieval
作者
Cornell University. Department of Computer Science / Gerard Salton
出版1974
ISBN
OCLC:225192169
主題
Information storage and retrieval systems
More Remarks on Scolnik's Approach to Linear Progr...
作者
Cornell University. Department of Computer Science / David M. Gay
出版1974
ISBN
OCLC:634418243
Computing the Newtonian graph
作者
Cornell University. Department of Computer Science / Dexter Kozen / Kjartan Stefansson
出版1993
ISBN
OCLC:271832941
主題
Graph theory
On Ranking
作者
Cornell University. Department of Computer Science / L. A. Hemachandra
出版1986
ISBN
OCLC:16474619
主題
Computational complexity
Mathematics as Programming
作者
Cornell University. Department of Computer Science / R. L. Constable
出版1983
ISBN
OCLC:606061754
Information Storage and Retrieval: Reports on Eval...
作者
Cornell university. department of computer science
出版1967
ISBN
OCLC:966718253
A constructive theory of recursive functions
作者
R. L. Constable
出版1973
ISBN
OCLC:257808236
On Computing the CS Decomposition with Systolic Ar...
作者
Cornell University. Department of Computer Science / I. M. Kaplan / C. Van Loan
出版1984
ISBN
OCLC:123315778
A Brief Introduction to Quasi Newton Methods
作者
Cornell University. Department of Computer Science / J. E. Dennis
出版1977
ISBN
OCLC:634455641
A Modular Approach to Fault-tolerant Broadcasts an...
作者
Cornell University. Dept. of Computer Science / Vassos Hadzilacos / Sam Toueg
出版1994
ISBN
OCLC:32195274
主題
Fault-tolerant computing
Teaching Math More Effectively, Through the Design...
作者
Cornell University. Department of Computer Science / David Gries / Fred B. Schneider
出版1994
ISBN
OCLC:31401992
主題
Proof theory