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

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号:
作者:Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

0
索取号:
作者:Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

36th Hemophilia Symposium Hamburg 2005 [electronic resource]

0
索取号:
作者:Scharrer、 Inge.、Schramm、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

0
索取号:
作者:Robshaw、 Matthew.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

0
索取号:
作者:Vassiliadis、 Stamatis.、Wong、 Stephan.、H盲m盲l盲inen、 Timo D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings

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

Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

0
索取号:
作者:Hess、 Florian.、Pauli、 Sebastian.、Pohst、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biomedical Simulation [electronic resource] : Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings

0
索取号:
作者:Harders、 Matthias.、Sz茅kely、 G谩bor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Unifying Themes in Complex Systems [electronic resource] : New Research Volume IIIB Proceedings from the Third International Conference on Complex Systems

0
索取号:
作者:Minai、 Ali A.、Bar-Yam、 Yaneer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

0
索取号:
作者:Goble、 Lou.、Meyer、 John-Jules Ch.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings

0
索取号:
作者:Nishita、 Tomoyuki.、Peng、 Qunsheng.、Seidel、 Hans-Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

0
索取号:
作者:Johnson、 Michael.、Vene、 Varmo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, V盲ster氓s, Sweden, June 29 - July 1, 2006. Proceedings

0
索取号:
作者:Gorton、 Ian.、Heineman、 George T.、Crnkovi膰、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Spatial Data Handling [electronic resource] : 12th International Symposium on Spatial Data Handling

0
索取号:
作者:Riedl、 Andreas.、Kainz、 Wolfgang.、Elmes、 Gregory A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2005 Workshop Post-Proceedings

0
索取号:
作者:Washio、 Takashi.、Sakurai、 Akito.、Nakajima、 Katsuto.、Takeda、 Hideaki.、Tojo、 Satoshi.、Yokoo、 Makoto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

0
索取号:
作者:Lewenstein、 Moshe.、Valiente、 Gabriel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类