語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
Monographs in theoretical computer science. An EATCS series,
書目資訊
Time-Dependent scheduling
~
Gawiejnowicz, Stanislaw.
Time-Dependent scheduling
by:
Gawiejnowicz, Stanislaw.
Theory of reversible computing
~
Morita, Kenichi.
Theory of reversible computing
by:
Morita, Kenichi.
Process algebras for Petri netsthe a...
~
Gorrieri, Roberto.
Process algebras for Petri netsthe alphabetization of distributed systems /
by:
Gorrieri, Roberto.
Words and graphs
~
Kitaev, Sergey.
Words and graphs
by:
Kitaev, Sergey.
Modeling Time in Computing
~
Furia, Carlo A.
Modeling Time in Computing
by:
Furia, Carlo A.
Foundations of algebraic specificati...
~
Sannella, Donald.
Foundations of algebraic specification and formal software development
by:
Sannella, Donald.
Deterministic extraction from weak r...
~
Gabizon, Ariel.
Deterministic extraction from weak random sources
by:
Gabizon, Ariel.
Handbook of weighted automata
~
Droste, Manfred.
Handbook of weighted automata
by:
Droste, Manfred.
Logics of Specification Languages /
~
Bjorner, Dines.
Logics of Specification Languages /
by:
Bjorner, Dines.
UnfoldingsA Partial-Order Approach t...
~
Esparza, Javier.
UnfoldingsA Partial-Order Approach to Model Checking /
by:
Esparza, Javier.
Domain science and engineeringa foun...
~
Bjorner, D.
Domain science and engineeringa foundation for software development /
by:
Bjorner, D.
Fundamentals of Algebraic Graph Transformation /
by:
Ehrig, Hartmut.
處理中
...
變更密碼
登入