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

Texts in theoretical computer science : an EATCS series,

Titles

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.
Dissemination of Information in Opti...
~
Bandyopadhyay, Subir.
Dissemination of Information in Optical Networks :From Technology to Algorithms In Cooperation with Ralf Klasing /
by: Bandyopadhyay, Subir.
 
 
變更密碼
登入