語系: 繁體中文
說明(常見問題)
圖資館首頁
登入

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.
 
 
變更密碼
登入