歡迎光臨太普專業網路書店


[資訊]	Spectral Geometry of Shapes: Principles and Applications [形狀的光譜幾何形狀：原理和應用] ( 2020 )
[資訊]	A Semantic Web Primer, 3/e [語義網入門，第3版] ( 2012 )
[資訊]	Algorithms, 4/e [算法，第4版] ( 2011 )
[資訊]	Beginning Windows Phone 7 Application Development: Building Windows Phone Applications Using Silverlight and XNA [啟動Windows Phone 7應用程序開發：使用Silverlight和XNA構建Windows Phone應用程序] ( 2011 )
[資訊]	Fast Algorithms for Signal Processing [信號處理的快速算法] ( 2010 )
[資訊]	Information Theory: Coding Theorems for Discrete Memoryless Systems, 2/e [信息理論：為離散無內存系統編碼定理，第2版] ( 2011 )
[資訊]	Computational Principles of Mobile Robotics, 2/e [移動機器人技術的計算原理，第2版] ( 2010 )
[資訊]	Iterative Receiver Design [迭代接收器設計] ( 2007 )
[資訊]	Visibility Algorithms in the Plane [平面中的可見性演算法] ( 2007 )
[資訊]	Constraint Handling Rules [約束處理規則] ( 2009 )

書名：Reactive Systems: Modelling, Specification and Verification [反應系統：建模，規格和驗證]
ISBN10：0521875463
ISBN13：9780521875462
書號：9780521875462
作者：Aceto, Luca
出版社：Cambridge University Press
出版年份：2007
English / 精裝
[ 資訊 ] 資訊工程
定價：NT4125
會員價：NT3919 省下：NT206
約要 3 ~ 7 個工作天出貨

觀看書評總覽好書推薦親友發表推薦感言

....................................................................................................................
此書尚無書評，請至書評總覽。