所有科目 计算机科学技术 x 计算机系统结构 x
二级学科：
计算机科学技术基础学科(12008) 人工智能(22570) 计算机系统结构(1655) 计算机软件(13305) 计算机工程(86) 计算机应用(6191)
¥ 442
书评(0)
Distributed Algorithms
Mavronicolas, Marios / 1997-10-16 / Springer Berlin Heidelberg
¥ 442
书评(0)
Static Analysis
Hentenryck, Pascal Van / 1997-10-02 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms - ESA ’97
Burkard, Rainer E. / 1997-10-02 / Springer Berlin Heidelberg
¥ 884
书评(0)
Theoretical Aspects of Computer Software
Kremer, Steve / 1997-10-02 / Springer Berlin Heidelberg
¥ 442
书评(0)
Field Programmable Logic and Applications
Luk, Wayne / 1997-09-19 / Springer Berlin Heidelberg
¥ 442
书评(0)
Category Theory and Computer Science
Moggi, Eugenio / 1997-09-19 / Springer Berlin Heidelberg
¥ 884
书评(0)
Advances in Cryptology - CRYPTO ’97
Kaliski, B. S. / 1997-09-12 / Springer Berlin Heidelberg
¥ 442
书评(0)
Algorithms and Data Structures
Dehne, Frank / 1997-08-22 / Springer Berlin Heidelberg
¥ 442
书评(0)
Fast Software Encryption
Biham, Eli / 1997-08-08 / Springer Berlin Heidelberg
¥ 756
书评(0)
Algorithms on Strings, Trees, and Sequences:Computer Science and Computational Biology
Dan Gusfield / 1997-08-01 / Cambridge University Press
¥ 442
书评(0)
Combinatorial Pattern Matching
Hein, J. / 1997-07-24 / Springer Berlin Heidelberg
¥ 442
书评(0)
Information Security and Privacy
Varadharajan, Vijav / 1997-07-24 / Springer Berlin Heidelberg
¥ 442
书评(0)
Randomization and Approximation Techniques in Computer Science
Rolim, Jose / 1997-07-24 / Springer Berlin Heidelberg
¥ 442
书评(0)
Personal Medical Information
Anderson, Ross / 1997-07-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
CONCUR’97: Concurrency Theory
Mazurkiewicz, A. / 1997-07-11 / Springer Berlin Heidelberg
¥ 3769
书评(0)
Graph Symmetry:Algebraic Methods and Applications
Hahn / 1997-06-30 / Springer Netherlands
¥ 1208
书评(0)
Smart Card Security and Applications
Mike Hendry / 1997-06-01 / Artech House
¥ 2157
书评(0)
Information Security in Research and Business:Proceedings of the IFIP TC11 13th international conference on Information Security (SEC ’97): 14–16 May 1997, Copenhagen, Denmark
Yngström / 1997-05-31 / Springer US
¥ 1239
书评(0)
Logic for Applications
Nerode, Anil;Shore, Richard A. / 1997-01-17 / Springer New York
¥ 1326
书评(0)
Database Security X
Sandhu, R.;Ifip Tc11/Wg 11 3 International Conferen;International Federation for Information / 1997-01-15 / Springer US
¥ 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
1 … 31 32 33 34 35 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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