大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

0
索取号:
作者:Bo拧na膷ki、 Dragan.、Edelkamp、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

0
索取号:
作者:Damm、 Werner.、Hermanns、 Holger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human Interface and the Management of Information. Interacting in Information Environments [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

0
索取号:
作者:Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I

0
索取号:
作者:Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Trends in Applied Artificial Intelligence [electronic resource] : 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

0
索取号:
作者:Okuno、 Hiroshi G.、Ali、 Moonis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer-aided Systems in Public Transport [electronic resource]

0
索取号:
作者:Hickman、 Mark.、Mirchandani、 Pitu.、Vo脽、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

0
索取号:
作者:Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Universal Access in Human-Computer Interaction. Ambient Interaction [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

0
索取号:
作者:Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Universal Acess in Human Computer Interaction. Coping with Diversity [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

0
索取号:
作者:Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Reliable Software Technologies-Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

0
索取号:
作者:Abdennadher、 Nabil.、Kordon、 Fabrice.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Smart Graphics [electronic resource] : 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings

0
索取号:
作者:Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、Owada、 Shigeru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Forging New Frontiers: Fuzzy Pioneers II [electronic resource]

0
索取号:
作者:Nikravesh、 Masoud.、Kacprzyk、 Janusz.、Zadeh、 Lofti A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Forging New Frontiers: Fuzzy Pioneers I [electronic resource]

0
索取号:
作者:Nikravesh、 Masoud.、Kacprzyk、 Janusz.、Zadeh、 Lofti A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Statistical Network Analysis: Models, Issues, and New Directions [electronic resource] : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

0
索取号:
作者:Airoldi、 Edoardo.、Blei、 David M.、Fienberg、 Stephen E.、Goldenberg、 Anna.、Xing、 Eric P.、Zheng、 Alice X.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications

0
索取号:
作者:Choren、 Ricardo.、Garcia、 Alessandro.、Giese、 Holger.、Leung、 Ho-fung.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

0
索取号:
作者:Jacko、 Julie A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类