所有科目 计算机科学技术 x 计算机系统结构 x
二级学科：
计算机科学技术基础学科(12008) 人工智能(22570) 计算机系统结构(1655) 计算机软件(13305) 计算机工程(86) 计算机应用(6191)
¥ 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
¥ 21529
书评(0)
Physical and Chemical Properties of the Air / Physikalische und chemische Eigenschaften der Luft
Bakan / 1987-12-18 / Springer Berlin Heidelberg
¥ 442
书评(0)
Systems of Reductions
Benninghofen, Benjamin / 1987-12-10 / Springer Berlin Heidelberg
¥ 442
书评(0)
Category Theory and Computer Science
Pitt, David H. / 1987-12-07 / Springer Berlin Heidelberg
¥ 1768
书评(0)
Algorithmic Logic
Mirkowska / 1987-11-30 / Springer Netherlands
¥ 442
书评(0)
Mathematical Models for the Semantics of Parallelism
Venturini Zilli, Marisa / 1987-11-05 / Springer Berlin Heidelberg
¥ 442
书评(0)
From Logic Design to Logic Programming
Snyers, Dominique / 1987-09-10 / Springer Berlin Heidelberg
¥ 884
书评(0)
Automata, Languages and Programming
Ottmann, Thomas / 1987-08-17 / Springer Berlin Heidelberg
¥ 416
书评(0)
Advances in Cryptology - CRYPTO ’86
Odlyzko, Andrew M. / 1987-08-17 / Springer Berlin Heidelberg
¥ 442
书评(0)
Lectures on the Complexity of Bilinear Problems
De Groote, H. F. / 1987-02-23 / Springer Berlin Heidelberg
¥ 462
书评(0)
Arithmetic Complexity of Computations
Shmuel Winograd / 1987-02-01 / Society for Industrial and Applied Mathematics
¥ 399
书评(0)
Feasible Computations and Provable Complexity Properties
Juris Hartmanis / 1987-02-01 / Society for Industrial and Applied Mathematics
¥ 442
书评(0)
Category Theory and Computer Programming
Pitt, David / 1986-11-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
Mathematical Foundation of Programming Semantics
Melton, Austin / 1986-10-24 / Springer Berlin Heidelberg
¥ 442
书评(0)
Concepts in User Interfaces
Beech, David / 1986-08-27 / Springer Berlin Heidelberg
¥ 884
书评(0)
Mathematical Foundations of Computer Science 1986
Gruska, Jozef / 1986-08-27 / Springer Berlin Heidelberg
¥ 442
书评(0)
Applied Algebra, Algorithmics and Error-Correcting Codes
Poli, Alain / 1986-08-14 / Springer Berlin Heidelberg
¥ 416
书评(0)
Automata, Languages and Programming
Kott, Laurent / 1986-07-17 / Springer Berlin Heidelberg
¥ 442
书评(0)
Third International Conference on Logic Programming
Shapiro, Ehud / 1986-07-17 / Springer Berlin Heidelberg
¥ 309
书评(0)
Programs as Data Objects
Ganzinger, Harald / 1986-04-24 / Springer Berlin Heidelberg
¥ 203
书评(0)
Complexity and Structure
Schoening, Uwe / 1986-02-14 / Springer Berlin Heidelberg
¥ 416
书评(0)
Advances in Cryptology
Beth, Thomas / 1986-01-06 / Springer Berlin Heidelberg
¥ 442
书评(0)
The Analysis of Concurrent Systems
Denvir, B. T. / 1985-12-16 / Springer Berlin Heidelberg
¥ 442
书评(0)
Computation Theory
Suraj, Zbigniew / 1985-12-11 / Springer Berlin Heidelberg
¥ 442
书评(0)
Trace Theory and VLSI Design
Snepscheut, Jan L. a. Van De / 1985-12-02 / Springer Berlin Heidelberg
¥ 442
书评(0)
Logics of Programs
Parikh, Rohit / 1985-07-01 / Springer Berlin Heidelberg
¥ 389
书评(0)
Algorithmic Graph Theory
Alan Gibbons / 1985-06-01 / Cambridge University Press
¥ 884
书评(0)
Orthomodular Lattices
Beran / 1985-02-28 / Springer Netherlands
¥ 309
书评(0)
STACS 85
Mehlhorn, K. / 1985-01-22 / 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