Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures

下载此书RAR压缩包在线购买PDF电子书

2005 年出版659 页ISBN：3540262784

LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED

下载此书RAR压缩包在线购买PDF电子书

G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560

Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc

下载此书RAR压缩包在线购买PDF电子书

20.-22.3.19741974 年出版340 页ISBN：3540066772

SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems

下载此书RAR压缩包在线购买PDF电子书

1986 年出版193 页ISBN：0080348017

Computer Simulation in Management Science

下载此书RAR压缩包在线购买PDF电子书

1984 年出版237 页ISBN：0471902810

MATHEMATICAL LOGIC IN COMPUTER SCIENCE

下载此书RAR压缩包在线购买PDF电子书

1981 年出版758 页ISBN：0444854401

New Developments in Computer Science Research

下载此书RAR压缩包在线购买PDF电子书

2005 年出版183 页ISBN：1594542562

Fundamental Proof Methods in Computer Science A Computer-Based Approach

下载此书RAR压缩包在线购买PDF电子书

Konstantine Arkoudas2017 年出版942 页ISBN：0262035538

INTERACTIVE COMPUTER GRAPHICS IN SCIENCE TEACHING

下载此书RAR压缩包在线购买PDF电子书

ELLIS HORWOOD LIMITED1978 年出版0 页ISBN：

Communications in Computer and Information Science 1 Computer Network Security Fourth International

下载此书RAR压缩包在线购买PDF电子书

Models2007 年出版416 页ISBN：