関連のトピックス ...
検索結果 1 - 20 結果 / 26 検索語 '"Theoretical Computer Science"', 処理時間: 0.09秒 結果の絞り込み
1
A perspective in theoretical computer science: Commemorative volume for Gift Siromoney /
出版事項 1989
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
2
Theoretical Computer Science and Discrete Mathematics
著者: Arumugam, S., Bagga, Jay, Beineke, Lowell W., Panda, B.S.
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
3
Universal algebra and applications in theoretical computer science
著者: Klaus Denecke
出版事項 2002
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
お気に入りに追加
保存先:
4
Extremal combinatorics : with applications in computer science /
著者: Jukna, Stasys, 1953-
出版事項 2001
“...Texts in theoretical computer science...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
5
Extremal combinatorics : with applications in computer science /
著者: Jukna, Stasys, 1953-
出版事項 2001
“...Texts in theoretical computer science...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
6
Finiteness and regularity in semigroups and formal languages /
著者: De Luca, A.
出版事項 1999
“...Monographs in theoretical computer science...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
7
Network algebra /
著者: Stefanescu, Gheorghe, 1955-
出版事項 2000
“...Discrete mathematics and theoretical computer science...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
8
Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992.
出版事項 1994
“...DIMACS series in discrete mathematics and theoretical computer science ;...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
9
Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994 /
出版事項 1996
“...DIMACS series in discrete mathematics and theoretical computer science,...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
10
Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994 /
出版事項 1995
“...DIMACS series in discrete mathematics and theoretical computer science,...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
11
Algorithmic and quantitative real algebraic geometry : DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center /
出版事項 2003
“...DIMACS series in discrete mathematics and theoretical computer science,...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
12
Computability, complexity, and languages :
著者: Davis, Martin
出版事項 1994
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
お気に入りに追加
保存先:
13
Time-Dependent Scheduling
著者: Gawiejnowicz, Stanislaw
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
14
A Practical Theory of Reactive Systems
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
15
Universal Artificial Intelligence
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
16
Unfoldings
著者: Esparza, Javier, Heljanko, Keijo
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
17
Modelling Distributed Systems
著者: Fokkink, Wan
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
18
Decision Procedures
著者: Kroening, Daniel, Strichman, Ofer
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
19
Dissemination of Information in Optical Networks:
著者: Bandyopadhyay, Subir
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
20
Logics of Specification Languages
著者: Bjørner, Dines, Henson, Martin C.
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
検索ツール: RSSフィード — 検索結果をメール — 検索の保存