語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
Texts in theoretical computer science.
書目資訊
Algorithmics for hard problems :intr...
~
Hromkovic, Juraj, (1958-)
Algorithmics for hard problems :introduction to combinatorial optimization, randomization, approximation, and heuristics /
by:
Hromkovic, Juraj, (1958-)
The complexity theory companion /
~
Hemaspaandra, Lane A.
The complexity theory companion /
by:
Hemaspaandra, Lane A.
Simulation algorithms for computatio...
~
Marchetti, Luca.
Simulation algorithms for computational systems biology
by:
Marchetti, Luca.
Models of computation
~
Bruni, Roberto.
Models of computation
by:
Bruni, Roberto.
An introduction to online computatio...
~
Komm, Dennis.
An introduction to online computationdeterminism, randomization, advice /
by:
Komm, Dennis.
Introduction to concurrency theorytr...
~
Gorrieri, Roberto.
Introduction to concurrency theorytransition systems and CCS /
by:
Gorrieri, Roberto.
Extremal combinatoricswith applicati...
~
Jukna, Stasys.
Extremal combinatoricswith applications in computer science /
by:
Jukna, Stasys.
Formal methods for software engineeringlanguages, methods, application domains /
by:
Roggenbach, Markus.
Extremal combinatorics :with applica...
~
Jukna, Stasys, (1953-)
Extremal combinatorics :with applications in computer science /
by:
Jukna, Stasys, (1953-)
Decision proceduresan algorithmic po...
~
Kroening, Daniel.
Decision proceduresan algorithmic point of view /
by:
Kroening, Daniel.
Petri net synthesis
~
Badouel, Eric.
Petri net synthesis
by:
Badouel, Eric.
Exact exponential algorithms
~
Fomin, Fedor V.
Exact exponential algorithms
by:
Fomin, Fedor V.
Graphs and algorithms in communicati...
~
Koster, Arie M.C.A.
Graphs and algorithms in communication networksstudies in broadband, optical, wireless and ad hoc networks /
by:
Koster, Arie M.C.A.
Software Engineering.2,Specification...
~
Bjorner, Dines.
Software Engineering.2,Specification of Systems and Languages
by:
Bjorner, Dines.
Temporal Logic and State Systems
~
Kroger, Fred.
Temporal Logic and State Systems
by:
Kroger, Fred.
Decision ProceduresAn Algorithmic Po...
~
Kroening, Daniel.
Decision ProceduresAn Algorithmic Point of View /
by:
Kroening, Daniel.
Software Engineering.Abstraction and...
~
Bjorner, Dines.
Software Engineering.Abstraction and Modelling /1
by:
Bjorner, Dines.
Grammatical Picture GenerationA Tree...
~
Drewes, Frank.
Grammatical Picture GenerationA Tree-Based Approach /
by:
Drewes, Frank.
Dissemination of Information in Communication Networks :Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by:
Hromkovic, Juraj.
Universal Artificial Intellegence :Sequential Decisions Based on Algorithmic Probability /
by:
Hutter, Marcus.
處理中
...
變更密碼
登入
