首页
OALib 期刊
快速投稿通道
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Group)
LinkedIn (OALib Company Page)
Facebook
Twitter
全部
标题
作者
关键词
摘要
OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件
为什么选择我们？
>>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎
-
ISSN Print:
ISSN Online:
主页:
https://www.annualreviews.org/journal/arcompsci
分享:
Go
Protein Folding: Computational Approaches to an Exponential-Time Problem
G N Reeke
,
Jr
Commonsense Physics: A Review
K D Forbus
Image Analysis
T Pavlidis
Parallel Algorithmic Techniques For Combinational Computation
David Eppstein
,
Zvi Galil
Themes in the Development of Programming Logics CIRCA 1963-1987
Robert L. Constable
Algebraic Methods for Geometric Reasoning
B. Buchberger
,
B. Kutzler
,
G. E. Collins
Algebraic Complexity Theory
Joachim von zur Gathen
Resolution Theorem Proving
Mark E. Stickel
Computational Geometry
Joseph O’Rourke
Computer Applications in Manufacturing
A. A. G. Requicha
,
H. B. Voelcker
,
R. W. Conway
The Lisp Experience
Gerald Jay Sussman
,
Harold Abelson
,
Jacob Katzenelson
,
Matthew Halfant
Database Security
D E Denning
Fundamentals of Expert Systems
Bruce G. Buchanan
,
Reid G. Smith
Techniques and Architectures for Fault-Tolerant Computing
Daniel P. Siewiorek
,
Roy A. Maxion
,
Steven A. Elkind
Search Techniques
Judea Pearl
,
Richard E. Korf
Nonmonotonic Reasoning
R Reiter
Planning
M P Georgeff
Research on Automatic Verification of Finite-State Concurrent Systems
E. M. Clarke
,
O. Grümberg
The Emerging Paradigm of Computational Vision
S W Zucker
Linear Programming (1986)
N Megiddo
Using Reasoning About Knowledge to Analyze Distributed Systems
J Y Halpern
Common Lisp
S E Fahlman
Logic, Problem Solving, and Deduction
D V McDermott
Language Generation and Explanation
Kathleen R. McKeown
,
William R. Swartout
Vision and Navigation for the Carnegie-Mellon Navlab
Charles Thorpe
,
Martial Hebert
,
Steven Shafer
,
Takeo Kanade
Knowledge-Based Software Tools
D R Barstow
Computer Applications in Education: A Historical Overview
D. Midian Kurland
,
Laura C. Kurland
Network Protocols and Tools to Help Produce Them
H Rudin
Algorithmic Geometry of Numbers
R Kannan
Computer Algebra Algorithms
E Kaltofen
Introduction
Joshua Lederberg
Preface
William Kaufmann
Computerized Reconstruction and 3-D Imaging in Medicine
Gabor T. Herman
Programming Environments Today
S P Reiss
Computer System Performance Evaluation Using Queueing Network Models
Edward D. Lazowska
,
John Zahorjan
,
Kenneth C. Sevcik
Qualitative Student Models
W J Clancey
Information-Based Complexity
H Wozniakowski
Knowledge Representation and Reasoning
H J Levesque
Type Architectures, Shared Memory, and the Corollary of Modest Potential
L Snyder
Sequential and Parallel Algorithms for Finding Maximum Matchings in Graphs
Z Galil
Dataflow Architectures
Arvind
,
David E. Culler
Architecture and Applications of a Heterogeneous, Massively Parallel Machine
David Elliot Shaw
Advances in Compiler Technology
John Hennessy
,
Mahadevan Ganapathi
Frame-Buffer Display Architectures
Robert F. Sproull
Natural-Language Interfaces
Barbara J. Grosz
,
C. Raymond Perrault
Dado: A Tree-Structured Architecture for Artificial Intelligence Computation
Daniel P. Miranker
,
Salvatore J. Stolfo
Go
