所有科目 计算机科学技术 x 计算机系统结构 x
二级学科：
计算机科学技术基础学科(12008) 人工智能(22570) 计算机系统结构(1655) 计算机软件(13305) 计算机工程(86) 计算机应用(6191)
¥ 1154
书评(0)
Davenport–Schinzel Sequences and their Geometric Applications
Micha Sharir / 1995-07-01 / Cambridge University Press
¥ 1768
书评(0)
Information Security - the Next Decade
Chapman;Hall;Chapman & Hall / 1995-05-15 / Springer US
¥ 442
书评(0)
Foundations of Software Technology and Theoretical Computer Science
Thiagarajan, P. S. / 1994-12-16 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms - ESA ’94
Leeuwen, Jan Van / 1994-10-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
Treewidth
Kloks, Ton / 1994-09-29 / Springer Berlin Heidelberg
¥ 442
书评(0)
Turing Machines with Sublogarithmic Space
Szepietowski, Andrzej / 1994-09-29 / Springer Berlin Heidelberg
¥ 442
书评(0)
Field-Programmable Logic: Architectures, Synthesis and Applications
Servit, M. Z. / 1994-09-29 / Springer Berlin Heidelberg
¥ 442
书评(0)
CONCUR ’94: Concurrency Theory
Jonsson, Bengt / 1994-09-09 / Springer Berlin Heidelberg
¥ 716
书评(0)
Parallel Image Analysis and Processing
Wang P S P et al / 1994-08-01 / WORLD SCIENTIFIC PUBLISHING
¥ 557
书评(0)
PARALLEL SUBSTITUTION ALGORITHM:THEORY AND APPLICATION
ACHASOVA S ET AL / 1994-08-01 / World Scientific Publishing
¥ 442
书评(0)
Error Control, Cryptology, and Speech Compression
Chmora, Andrew / 1994-07-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Higher Order Logic Theorem Proving and Its Applications
Joyce, Jeffrey J. / 1994-05-27 / Springer Berlin Heidelberg
¥ 442
书评(0)
Foundations of Software Technology and Theoretical Computer Science
Shyamasundar, Rudrapatna K. / 1994-01-07 / Springer Berlin Heidelberg
¥ 442
书评(0)
Formal Program Development
Mvller, Bernhard / 1993-12-14 / Springer Berlin Heidelberg
¥ 442
书评(0)
Artificial Intelligence and Symbolic Mathematical Computing
Martin-Mateos, Francisco J. / 1993-11-05 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms - ESA ’93
Lengauer, Thomas / 1993-10-22 / Springer Berlin Heidelberg
¥ 663
书评(0)
A Logical Approach to Discrete Math
Gries, David;Schneider, Fred B.;Horning, James J. / 1993-10-22 / Springer New York
¥ 416
书评(0)
Computer Security and Industrial Cryptography
Preneel, Bart / 1993-10-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Computer Science Logic
Bvrger, Egon / 1993-09-10 / Springer Berlin Heidelberg
¥ 884
书评(0)
Algorithms and Data Structures
Dehne, Frank / 1993-08-26 / Springer Berlin Heidelberg
¥ 1213
书评(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
1 … 31 32 33 34 35 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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