Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN:3540346996
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
Lecture Notes in Artificial Intelligence 4696 Multi-Agent Systems and Applications V 5th Internation
CEEMAS 20072007 年出版350 页ISBN:9783540752530
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 3371 Intelligent Agents and Multi-Agent Systems 7th Pacific
PRIMA 20042005 年出版329 页ISBN:3540253408
Mission-Critical and Safety-Critical Systems Handbook Design and Development for Embedded Applicatio
Kim Fowler2010 年出版578 页ISBN:
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN:044451791x
Designing the User Interface Strategies for Effective Human-Computer Interaction Fifth Edition
Ben Shneiderman2010 年出版606 页ISBN:9787121119125
本书为了适应因特网和各种移动设备迅猛发展的形势,在第四版的基础上始终以基于Web、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
Lecture Notes in Artificial Intelligence 3690 Multi-Agent Systems and Applications IV 4th Internatio
CEEMAS 20052005 年出版667 页ISBN:354029046X
Sound systems design and optimization modern techniques and tools for sound system design and alignm
Bob McCarthy2016 年出版580 页ISBN:415731011