所有科目 计算机科学技术 x 计算机系统结构 x
二级学科：
计算机科学技术基础学科(12008) 人工智能(22570) 计算机系统结构(1655) 计算机软件(13305) 计算机工程(86) 计算机应用(6191)
¥ 1820
书评(0)
Secure Data Networking
Michael Purser / 1993-07-01 / Artech House
¥ 884
书评(0)
Semantics: Foundations and Applications
Bakker, J. W. De / 1993-06-04 / Springer Berlin Heidelberg
¥ 876
书评(0)
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg / 1993-04-01 / Cambridge University Press
¥ 442
书评(0)
Graph-Theoretic Concepts in Computer Science
Mayr, Ernst W. / 1993-03-25 / Springer Berlin Heidelberg
¥ 442
书评(0)
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Koymans, Ron / 1992-12-17 / Springer Berlin Heidelberg
¥ 319
书评(0)
Boolean Function Complexity
M. S. Paterson / 1992-11-01 / Cambridge University Press
¥ 1278
书评(0)
TEN YEARS OF CONCURRENCY SEMANTICS:SELECTED PAPERS OF THE AMSTERDAM CONCURRENCY GROUP
DE BAKKER J & RUTTEN J / 1992-09-01 / World Scientific Publishing
¥ 442
书评(0)
Data Structures and Efficient Algorithms
Monien, Burkhard / 1992-06-18 / Springer Berlin Heidelberg
¥ 309
书评(0)
Public-Key Cryptography
Beth, Thomas / 1992-02-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Foundations of Software Technology and Theoretical Computer Science
Biswas, Somenath / 1992-02-04 / Springer Berlin Heidelberg
¥ 442
书评(0)
Specification and Compositional Verification of Real-Time Systems
Hooman, J. / 1991-12-18 / Springer Berlin Heidelberg
¥ 442
书评(0)
New Results and New Trends in Computer Science
Barnes, John(With) / 1991-12-13 / Springer Berlin Heidelberg
¥ 442
书评(0)
The Stability Theory of Stream Ciphers
Ding, C. / 1991-12-04 / Springer Berlin Heidelberg
¥ 884
书评(0)
The Design and Analysis of Algorithms
Kozen, Dexter C.;Kozen, D. C.;Gries, David / 1991-12-03 / Springer New York
¥ 442
书评(0)
Advances in Cryptology - CRYPTO ’90
Menezes, Alfred J. / 1991-11-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms and Data Structures
Dehne, Frank / 1991-08-23 / Springer Berlin Heidelberg
¥ 265
书评(0)
Integer Programming
Walukiewicz / 1991-05-31 / Springer Netherlands
¥ 442
书评(0)
Graph-Theoretic Concepts in Computer Science
Mvhring, Rolf H. / 1991-05-20 / Springer Berlin Heidelberg
¥ 408
书评(0)
PARALLEL COMPLEXITY OF LINEAR SYSTEM SOLUTION
CODENOTTI BRUNO ET AL / 1991-04-01 / World Scientific Publishing
¥ 716
书评(0)
PARALLEL COMPLEXITY OF LINEAR SYSTEM SOLUTION
CODENOTTI BRUNO ET AL / 1991-04-01 / World Scientific Publishing
¥ 557
书评(0)
QUANTUM FLUX PARAMETRON:A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE
HIOE WILLY & GOTO EIICHI / 1991-03-01 / World Scientific Publishing
¥ 442
书评(0)
Advances in Cryptology - AUSCRYPT ’90
Seberry, Jennifer / 1990-09-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
CSL ’89
Bvrger, Egon / 1990-08-10 / Springer Berlin Heidelberg
¥ 442
书评(0)
SWAT ’90
Gilbert, John R. / 1990-07-23 / Springer Berlin Heidelberg
¥ 442
书评(0)
Advances in Cryptology - CRYPTO ’89
Crypto '89;Brassard, Gilles / 1990-05-15 / Springer New York
¥ 1711
书评(0)
Stepwise Refinement of Distributed Systems:Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Bakker / 1990-04-25 / Springer Berlin Heidelberg
¥ 442
书评(0)
Advances in Cryptology - CRYPTO ’88
Goldwasser, Shafi;Goldwasser, S. / 1990-02-15 / Springer New York
¥ 458
书评(0)
Efficient Parallel Algorithms
Alan Gibbons / 1990-02-01 / Cambridge University Press
¥ 442
书评(0)
Optimal Algorithms
Djidjev, Hristo / 1989-12-08 / Springer Berlin Heidelberg
¥ 442
书评(0)
Temporal Logic in Specification
Banieqbal, Behnam / 1989-11-14 / Springer Berlin Heidelberg
¥ 442
书评(0)
CSL’88
Bvrger, Egon / 1989-10-18 / Springer Berlin Heidelberg
¥ 896
书评(0)
Categorical Methods in Computer Science:With Aspects from Topology
Ehrig / 1989-10-11 / Springer Berlin Heidelberg
¥ 557
书评(0)
Symbolic Computation:Applications to Scientific Computing
Robert Grossman / 1989-10-01 / Society for Industrial and Applied Mathematics
¥ 442
书评(0)
Symbolic and Algebraic Computation
Gianni, Patrizia / 1989-09-20 / Springer Berlin Heidelberg
¥ 416
书评(0)
Category Theory and Computer Science
Pitt, David H. / 1989-09-20 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms and Data Structures
Dehne, Frank / 1989-09-05 / Springer Berlin Heidelberg
¥ 442
书评(0)
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Taubner, Dirk A. / 1989-09-05 / Springer Berlin Heidelberg
¥ 380
书评(0)
Modern Cryptology
Brassard, Gilles / 1989-08-25 / Springer New York
¥ 442
书评(0)
Logic at Botik ’89
Meyer, Albert R. / 1989-07-10 / Springer Berlin Heidelberg
¥ 442
书评(0)
Efficient Structures for Geometric Data Management
Gunther, Oliver / 1988-12-12 / Springer Berlin Heidelberg
¥ 442
书评(0)
CSL ’87
Bvrger, Egon / 1988-10-17 / Springer Berlin Heidelberg
¥ 442
书评(0)
SWAT ’88
Karlsson, Rolf / 1988-07-22 / Springer Berlin Heidelberg
¥ 884
书评(0)
Automata, Languages and Programming
Lepistv, Timo / 1988-07-22 / Springer Berlin Heidelberg
¥ 442
书评(0)
Graph-Theoretic Concepts in Computer Science
Gvttler, Herbert / 1988-07-12 / Springer Berlin Heidelberg
¥ 442
书评(0)
Mathematical Foundations of Programming Language Semantics
Main, Michael / 1988-04-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Advances in Cryptology - EUROCRYPT ’87
Chaum, David / 1988-04-13 / Springer Berlin Heidelberg
¥ 442
书评(0)
STACS 88
Cori, Robert / 1988-02-22 / Springer Berlin Heidelberg
¥ 884
书评(0)
Mechanical Geometry Theorem Proving
Shang-Ching Chou / 1987-12-31 / Springer Netherlands
1 … 31 32 33 34 35 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

中国国际图书贸易集团公司版权所有

地址：中国·北京市海淀区车公庄西路35号 邮编：100048

电话(对公采购及书单推荐)：010-68433105、010-68433213

© 2015-2024 Readlink.com, All Rights Reserved 京ICP备11010390号-4