登入選單
Google圖書搜尋
Correct-program Technology/Extensibility of Verifi...
作者
Martin Davis / Jt Schwartz
出版Palala Press, 2018-03-04
ISBN
1379252636 / 9781379252634
Correct-program Technology/Extensibility of Verifi...
作者
Martin Davis
出版1977
ISBN
OCLC:1042433738
Programming with Sets
作者
J.T. Schwartz / R.B.K. Dewar / E. Dubinsky / E. Schonberg
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461395751 / 1461395755
主題
Computers
Michael Turner's Soulfire: Search for the Light Co...
作者
J.T. Krul, Amanda McMurray, David Schwartz
出版Aspen Comics
主題
Young Adult Fiction
On the Existence and Synthesis of Multifinger Posi...
作者
B. Mishra / J. T. Schwartz / M. Sharir
出版Palala Press, 2018-02-19
ISBN
1378111427 / 9781378111420
主題
History
Correct-program Technology/extensibility of Verifi...
作者
Martin Davis / Jack T. Schwartz
出版1977
ISBN
OCLC:256339636
主題
Computer programs
On Generators of the Banach Algebra L1 (0, Oo) and...
作者
Harold S. Shapiro / J. T. Schwartz
出版Palala Press, 2018-02-19
ISBN
1378111567 / 9781378111567
主題
History
On the Complexity of Motion Planning for Multiple ...
作者
J. E. Hopcroft / J. T. Schwartz / M. Sharir
出版Sagwan Press, 2015-08-23
ISBN
1340091003 / 9781340091002
Decision Procedures for Elementary Sublanguages of...
作者
D. Cantone / A. Ferro / J. T. Schwartz
出版Palala Press, 2015-09-08
ISBN
1342005732 / 9781342005731
Preliminary Implementation of a Ratio Image Depth ...
作者
C. Marc Bastuscheck / J. T. Schwartz
出版Palala Press, 2018-02-20
ISBN
1378151631 / 9781378151631
主題
History
Decision Procedures for Elementary Sublanguages of...
作者
D. Cantone / A. Ferro / J. T. Schwartz
出版Palala Press, 2015-09-08
ISBN
1342005007 / 9781342005007
SERVOL: Preliminary Proposal for a Programming Lan...
作者
Herbert J. Bernstein / P. G. Lowney / J. T. Schwartz
出版1984
ISBN
OCLC:1157229866
Networks and Algorithms for Very Large Scale Paral...
作者
Allan Gottlieb / J T Schwartz
出版Palala Press, 2018-03-03
ISBN
1379144043 / 9781379144045
Linear Operators. Pt. 1. General Theory
作者
N. Dunford / J.T. Schwartz
出版1958
ISBN
OCLC:841052908
Precise Implementation of CAD Primitives Using Rat...
作者
S. Ocken / J. T. Schwartz / M. Sharir
出版Palala Press, 2018-02-20
ISBN
1378151232 / 9781378151235
主題
History
Linear Operators. Pt. 2. Spectral Theory
作者
N. Dunford / J.T. Schwartz
出版1963
ISBN
OCLC:841052909
Linear Operators. Pt. 3. Spectral Operators
作者
N. Dunford / J.T. Schwartz / W.G. Bade / R.G. Bartle
出版1971
ISBN
OCLC:841168107
Programming languages and their compilers : prelim...
作者
John Cocke / J. T. Schwartz
出版1970
ISBN
LCCN:71028997
主題
Compiling (Electronic computers)
On the Piano Movers' Problem: V. the Case of a Rod...
作者
Courant Institute of Mathematical Sciences. Computer Science Department / J. T. Schwartz / M. Sharir
出版1983
ISBN
OCLC:727319460
Decision Algorithms for Some Fragments of Analysis...
作者
D. Cantone / A. Ferro / E. Omodeo / J. T. Schwartz
出版1986
ISBN
OCLC:1042988080
Decision Procedures for Elementary Sub-languages o...
作者
Courant Institute of Mathematical Sciences. Computer Science Department
出版1985
ISBN
OCLC:123316102
Determining the Data Relationships in a Collection...
作者
International Business Machines Corporation. Research Division / F. E. Allen / J. T. Schwartz
出版1974
ISBN
OCLC:726598188
Efficient detection of intersections among spheres
作者
Courant Institute of Mathematical Sciences. Computer Science Dept / J. E. Hopcroft / J. T. Schwartz / M. Sharir
出版1983
ISBN
OCLC:59709080
Mathematical aspects of computer science : proceed...
作者
J. T. Schwartz
出版1966
ISBN
OCLC:1411896171
Abstract Algorithms and a Set-theoretic Language f...
作者
Jacob T. Schwartz
出版1971
ISBN
OCLC:81838395
主題
Computer algorithms
Identification of Partially Obscured Objects in Tw...
作者
J. T. Schwartz / Courant Institute of Mathematical Sciences. Computer Science Department / M. Sharir
出版1985
ISBN
OCLC:52082209
主題
Electronic noise
Konvexe Analysis
作者
J.T. Marti
出版Birkhäuser, 1977
ISBN
UCAL:B4406336
主題
Juvenile Nonfiction
Polynomial Minimum Root Separation (note to a Pape...
作者
Courant Institute of Mathematical Sciences. Computer Science Department / J. T. Schwartz
出版1985
ISBN
OCLC:123316099
Two Dimensional Model Based Boundary Matching Usin...
作者
Courant Institute of Mathematical Sciences. Computer Science Department
出版1985
ISBN
OCLC:21459827
主題
Hashing (Computer science)
Bell Telephone System Technical Publications
作者
Allen Henry Meitzler / Arthur John Ahearn / Bell Telephone Laboratories / Bernd T. Matthias / Burton Paul / C. J. Calbick / Frank Groom Peters / H. Bonnell Frost / Harry F. Tiersten / Hiroshi Kamimura / Ivan P. Kaminow / J. T. Krause / John C. Hensel / John Lauren Lundberg / Morio Onoe / Peter Adalbert Wolff / Peter D. Hrycak / Ping King Tien / T. C. Madden / W. J. D. Steenaart / W. P. Slichter / W. Robert Sinclair / Y. B. Kim / C. F. Hempstead / C. L. Mantell / D. D. Davis / G. Feher / G. O. Harding / James P. Gordon / Martin B. Wilk / N. Schwartz / Theodore H. Geballe / W. M. Gibson / A. R. Strnad / Marilyn J. Huyett / V. B. Compton
出版1962
ISBN
OSU:32435054372032
主題
Adsorption