所有科目 计算机科学技术 x 计算机系统结构 x
二级学科：
计算机科学技术基础学科(12008) 人工智能(22570) 计算机系统结构(1655) 计算机软件(13305) 计算机工程(86) 计算机应用(6191)
¥ 601
书评(0)
AUTOMATIC PARALLELIZATION FOR A CLASS OF REGULAR COMPUTATIONS
CHEN X ET AL / 1997-01-04 / World Scientific Publishing
¥ 442
书评(0)
One-Factorizations
Wallis, W. D. / 1996-12-31 / Springer US
¥ 442
书评(0)
Public-Key Cryptography
Salomaa, Arto / 1996-10-25 / Springer Berlin Heidelberg
¥ 442
书评(0)
Practice and Theory of Automated Timetabling
Ross, Peter / 1996-10-02 / Springer Berlin Heidelberg
¥ 1768
书评(0)
Information Systems Security
Chapman;Hall;Chapman & Hall / 1996-05-15 / Springer US
¥ 442
书评(0)
Higher-Order Algebra, Logic, and Term Rewriting
Dowek, Gilles / 1996-05-08 / Springer Berlin Heidelberg
¥ 442
书评(0)
Towards Evolvable Hardware
Sanchez, Eduardo / 1996-04-30 / Springer Berlin Heidelberg
¥ 4420
书评(0)
Theoretical Models of Chemical Bonding
Maksic / 1996-04-30 / Springer Berlin Heidelberg
¥ 1768
书评(0)
Database Security IX
Spooner, David L.;Routledge Chapman Hall;Spooner, David L. / 1996-03-15 / Springer US
¥ 442
书评(0)
Logics for Concurrency
Moller, Faron / 1996-03-06 / Springer Berlin Heidelberg
¥ 442
书评(0)
Cryptography: Policy and Algorithms
Dawson, Edward Pyle / 1996-03-05 / Springer Berlin Heidelberg
¥ 867
书评(0)
Partial-Order Methods for the Verification of Concurrent Systems:An Approach to the State-Explosion Problem
Godefroid / 1996-01-24 / Springer Berlin Heidelberg
¥ 442
书评(0)
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Sudan, Madhu / 1995-12-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms, Concurrency and Knowledge
Kanchanasut, Kanchana / 1995-12-20 / Springer Berlin Heidelberg
¥ 442
书评(0)
Tools and Algorithms for the Construction and Analysis of Systems
Brinksma, Ed / 1995-12-20 / Springer Berlin Heidelberg
¥ 442
书评(0)
Cryptography and Coding
Boyd, Colin / 1995-12-01 / Springer Berlin Heidelberg
¥ 884
书评(0)
Discrete Analysis and Operations Research
Korshunov / 1995-11-30 / Springer Netherlands
¥ 442
书评(0)
Algorithms and Computations
Staples, John / 1995-11-29 / Springer Berlin Heidelberg
¥ 442
书评(0)
Fast Software Encryption
Preneel, Bart / 1995-11-27 / Springer Berlin Heidelberg
¥ 884
书评(0)
Algorithms - ESA ’95
Spirakis / 1995-10-18 / Springer Berlin Heidelberg
¥ 442
书评(0)
Field-Programmable Logic and Applications
Moore, Will / 1995-09-28 / Springer Berlin Heidelberg
¥ 442
书评(0)
CONCUR ’95 Concurrency Theory
Smolka, Scott A. / 1995-09-19 / Springer Berlin Heidelberg
¥ 442
书评(0)
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Martin-Mateos, Francisco J. / 1995-09-19 / Springer Berlin Heidelberg
¥ 442
书评(0)
Category Theory and Computer Science
Pitt, David / 1995-09-12 / Springer Berlin Heidelberg
¥ 707
书评(0)
Digital Circuit Design for Computer Science Students
Wirth, N. / 1995-08-01 / Springer Berlin Heidelberg
¥ 3796
书评(0)
World Conference on Computers in Education VI:WCCE ?95 Liberating the Learner, Proceedings of the sixth IFIP World Conference on Computers in Education, 1995
Tinsley / 1995-07-31 / Springer US
¥ 442
书评(0)
Combinatorial Pattern Matching
Galil, Zvi / 1995-07-18 / Springer Berlin Heidelberg
¥ 442
书评(0)
Computer Aided Verification
Goos, G. / 1995-07-18 / Springer Berlin Heidelberg
¥ 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
1 … 31 32 33 34 35 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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