中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

全部

2007, vol.38, no.1

2007, vol.38, no.2

2007, vol.38, no.3

2007, vol.38, no.4

题名	作者	出版年	年卷期
Symbolic Model Checking for Temporal-Epistemic Logics	Alessio Lomuscio; Wojciech Penczek; Podlasie Academy	2007	2007, vol.38, no.3
Guest Column: The Unified Theory of Pseudorandomness	S. Vadhan	2007	2007, vol.38, no.3
SIGACT News Complexity Theory Column 56	Lane A. Hemaspaandra	2007	2007, vol.38, no.3
Delayed Password Disclosure	Markus Jakobsson; Steven Myers	2007	2007, vol.38, no.3
SIGACT News Online Algorithms Column 11	Marek Chrobak	2007	2007, vol.38, no.3
Routing and Network Design with Robustness to Changing or Uncertain Traffic Demands	Chandra Chekuri	2007	2007, vol.38, no.3