大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 QA-International 的图书(共8887本)

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

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

Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

0
索取号:
作者:Farr茅、 Jacques.、Litovsky、 Igor.、Schmitz、 Sylvain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号:
作者:Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

0
索取号:
作者:Tuyls、 Karl.、Hoen、 Pieter Jan鈥檛.、Verbeeck、 Katja.、Sen、 Sandip.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings

0
索取号:
作者:Chen、 Kefei.、Deng、 Robert.、Lai、 Xuejia.、Zhou、 Jianying.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

0
索取号:
作者:Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

0
索取号:
作者:Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

0
索取号:
作者:Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Experimental Robotics IX [electronic resource] : The 9th International Symposium on Experimental Robotics

0
索取号:
作者:Ang、 Marcelo H.、Khatib、 Oussama.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers

0
索取号:
作者:Stavrakakis、 Ioannis.、Smirnov、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

0
索取号:
作者:Shen、 Wei-ming.、Chao、 Kuo-Ming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、James、 Anne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Database Technology - EDBT 2006 [electronic resource] : 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006

0
索取号:
作者:Ioannidis、 Yannis.、Scholl、 Marc H.、Schmidt、 Joachim W.、Matthes、 Florian.、Hatzopoulos、 Mike.、Boehm、 Klemens.、Kemper、 Alfons.、Grust、 Torsten.、Boehm、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Microwave and Radio Frequency Processing [electronic resource] : Report from the 8th International Conference on Microwave and High Frequency Heating held in Bayreuth, Germany, September 3鈥笠2001

0
索取号:
作者:Willert-Porada、 Monika.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

0
索取号:
作者:Bussler、 Christoph.、Shan、 Ming-Chien.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The 2nd International Conference on Nuclear Physics in Astrophysics [electronic resource] : Refereed and selected contributions Debrecen, Hungary May 16鈥Ⱜ 2005

0
索取号:
作者:F眉l枚p、 Zsolt.、Gy眉rky、 Gy枚rgy.、Somorjai、 Endre.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

0
索取号:
作者:Thompson、 Simon G.、Ghanea-Hercock、 Robert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类