首页 > 计算机 > 逻辑设计

共有 72 条符合搜索结果

  • 排序:
  • img
  • img
  • img
  • img
  • 显示方式:
  • img
  • img
 <  1 / 4  > 
Principles of Computer Hardware Published By Oxford University Press (2006-03)
¥1610
Lecture Notes on Empirical Software Engineering Published By World Scientific Publications Co Inc (2003-05)
¥1278
Computational Intelligence in Complex Decision Systems By Ruan, Da; Published By World Scientific Publications Co Inc (2010-06)
¥1105
Logic and Its Applications By Banerjee, Mohua; Seth, Anil; Published By Springer-Verlag New York Inc (2011-03)
¥865
Unifying Theories of Programming By Qin, Shengchao; Published By Springer-Verlag New York Inc (2010-12)
¥951
Rewriting Logic and Its Applications By Olveczky, Peter Csaba; Published By Springer-Verlag New York Inc (2010-10)
¥755
Interactive Theorem Proving Published By Springer-Verlag New York Inc (2010-07)
¥1028
Mathematics of Program Construction Published By Springer-Verlag New York Inc (2010-06)
¥913
Concurrency, Compositionality, and Correctness Published By Springer-Verlag New York Inc (2010-02)
¥768
Perspectives of Systems Informatics Published By Springer-Verlag New York Inc (2010-03)
¥951
Recent Trends in Algebraic Development Techniques Published By Springer-Verlag New York Inc (2009-09)
¥797
Verified Software By Shankar, Natarajan; Woodcock, Jim; Published By Springer Verlag (2008-12)
¥865
Evolvable Systems Published By Springer Verlag (2008-10)
¥893
Algebraic Biology Published By Springer-Verlag New York Inc (2008-08)
¥624