高阶逻辑辅助证明系统
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译
北京理工大学出版社
2013-05
九品
¥50.00
视不可当:信息图与可视化传播
[加拿大]Mark Smiciklas 著;项婷婷、张东宁 译
人民邮电出版社
2013-05
九品
¥2.00
自然语言理解
姚天顺
清华大学出版社
2002-10
九品
¥3.00
理解Unix进程
[加拿大]斯托里默 著;门佳 译
人民邮电出版社
2013-05
八五品
¥5.00
高阶逻辑辅助证明系统
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译
北京理工大学出版社
2013-05
八五品
¥80.00
未来互联网体系结构与协议
[美]Byrav Ramamurthy 著;徐贵宝 译
科学出版社
2015-03
八五品
¥8.00
作者:
张在旺 著
出版社:
机械工业出版社
ISBN:
9787111636151
出版时间:
2019-10
版次:
1
装帧:
平装
开本:
32开
页数:
316页
作者:
明日科技 著
出版社:
吉林大学出版社
ISBN:
9787567787421
出版时间:
2017-03
版次:
1
装帧:
平装
开本:
16开
页数:
434页
字数:
700千字
作者:
[加]海金(Haykin S) 著
出版社:
机械工业出版社
ISBN:
9787111265283
出版时间:
2009-03
版次:
3
装帧:
平装
开本:
16开
页数:
906页
作者:
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译
出版社:
北京理工大学出版社
ISBN:
9787564077631
出版时间:
2013-05
版次:
1
装帧:
精装
开本:
32开
页数:
253页
作者:
王永明、王贵锦 著
出版社:
国防工业出版社
ISBN:
9787118067392
出版时间:
2010-04
版次:
1
装帧:
平装
开本:
16开
页数:
203页
字数:
235千字
作者:
郝矿荣、丁永生 著
出版社:
科学出版社
ISBN:
9787030303806
出版时间:
2011-03
版次:
1
装帧:
平装
开本:
16开
页数:
364页
字数:
444千字
作者:
来学嘉 著
出版社:
科学出版社
ISBN:
9787030311948
出版时间:
2011-06
版次:
1
装帧:
平装
开本:
16开
页数:
195页
字数:
260千字
作者:
[加拿大]Mark Smiciklas 著;项婷婷、张东宁 译
出版社:
人民邮电出版社
ISBN:
9787115313805
出版时间:
2013-05
版次:
1
装帧:
平装
开本:
大32开
页数:
190页
字数:
203千字
作者:
姚天顺
出版社:
清华大学出版社
ISBN:
9787302054351
出版时间:
2002-10
版次:
1
装帧:
平装
开本:
其他
页数:
470页
字数:
704千字
作者:
黄智生、钟宁 著
出版社:
高等教育出版社
ISBN:
9787040362466
出版时间:
2012-10
版次:
1
装帧:
平装
开本:
16开
页数:
255页
字数:
320千字
作者:
张维 著
出版社:
科学出版社
ISBN:
9787030293862
出版时间:
2010-11
版次:
1
装帧:
平装
开本:
32开
页数:
232页
作者:
高可用架构社区 著
出版社:
电子工业出版社
ISBN:
9787121314667
出版时间:
2017-10
版次:
1
装帧:
平装
开本:
16开
页数:
652页
作者:
[加拿大]斯托里默 著;门佳 译
出版社:
人民邮电出版社
ISBN:
9787115316899
出版时间:
2013-05
版次:
1
装帧:
平装
开本:
32开
页数:
112页
字数:
97千字
作者:
沈虹 著
出版社:
中央民族大学出版社
ISBN:
9787566005502
出版时间:
2013-11
版次:
1
装帧:
平装
开本:
32开
页数:
268页
作者:
杜晓梦 马京晶
出版社:
人民邮电出版社
ISBN:
9787115584502
出版时间:
2022-07
版次:
1
装帧:
其他
开本:
其他
纸张:
胶版纸
页数:
196页
字数:
150千字
作者:
奇安信战略咨询规划部
出版社:
人民邮电出版社
ISBN:
9787115558480
出版时间:
2021-04
版次:
1
装帧:
其他
开本:
其他
纸张:
胶版纸
页数:
249页
字数:
326千字
作者:
裘宗燕 著
出版社:
科学出版社
ISBN:
9787030333469
出版时间:
2012-03
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
400页
字数:
569千字
作者:
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译
出版社:
北京理工大学出版社
ISBN:
9787564077631
出版时间:
2013-05
版次:
1
装帧:
精装
开本:
32开
页数:
253页
作者:
关元秀、程晓阳 著
出版社:
科学出版社
ISBN:
9787030218285
出版时间:
2008-09
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
268页
字数:
399千字
作者:
王永明、王贵锦 著
出版社:
国防工业出版社
ISBN:
9787118067392
出版时间:
2010-04
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
203页
字数:
235千字
作者:
章毓晋
出版社:
清华大学出版社
ISBN:
9787302493006
出版时间:
2018-02
版次:
4
装帧:
其他
开本:
16开
纸张:
胶版纸
作者:
[美]Byrav Ramamurthy 著;徐贵宝 译
出版社:
科学出版社
ISBN:
9787030438003
出版时间:
2015-03
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
380页
作者:
[美]丹尼尔·迈诺里(Daniel Minoli) 著;郎为民、王大鹏、陈俊 译
出版社:
机械工业出版社
ISBN:
9787111494829
出版时间:
2015-05
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
282页
字数:
380千字
作者:
诸葛越、江云胜 著
出版社:
人民邮电出版社
ISBN:
9787115530974
出版时间:
2020-07
装帧:
平装
开本:
小16开
纸张:
胶版纸
页数:
429页
作者:
桂起权 著;任晓明
出版社:
人民出版社
ISBN:
9787010088099
出版时间:
2010-07
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
254页
字数:
293千字
作者:
[美]雷·库兹韦尔(Ray Kurzweil) 著;盛杨燕 译
出版社:
浙江人民出版社
ISBN:
9787213058646
出版时间:
2014-01
版次:
1
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
300页
字数:
275千字
作者:
[英]David Wood(大卫·伍德) 著;孔祥富 译
出版社:
电子工业出版社
ISBN:
9787121264061
出版时间:
2015-08
版次:
1
印刷时间:
2016-04
装帧:
平装
开本:
16开
纸张:
铜版纸
页数:
188页
字数:
300千字