1
出版 2006
書本目錄: ... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ...? -- On Compiling Structured Interactive Programs with Registers and Voices -- Optimal Orientation On-Line -- Some...
獲取全文
電子 電子書