大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jones-Nelson 的图书(共594本)

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号:
作者:Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Noise and Vibration Mitigation for Rail Transportation Systems [electronic resource] : Proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4 - 8 September 2007

0
索取号:
作者:Schulte-Werning、 Burkhard.、Thompson、 David.、Gautier、 Pierre-Etienne.、Hanson、 Carl.、Hemsworth、 Brian.、Nelson、 James.、Maeda、 Tatsuo.、Vos、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Primary Care English [electronic resource]

0
索取号:
作者:Ribes、 Ram贸n.、Garc铆a-Gimeno、 Isabel.、Jones、 Roger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rigorous Development of Complex Fault-Tolerant Systems [electronic resource]

0
索取号:
作者:Butler、 Michael.、Jones、 Cliff B.、Romanovsky、 Alexander.、Troubitsyna、 Elena.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers

0
索取号:
作者:Peters、 Carol.、Gey、 Fredric C.、Gonzalo、 Julio.、M眉ller、 Henning.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、Rijke、 Maarten.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号:
作者:Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

0
索取号:
作者:Abdallah、 Ali E.、Jones、 Cliff B.、Sanders、 Jeff W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Document Analysis Systems VII [electronic resource] : 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings

0
索取号:
作者:Bunke、 Horst.、Spitz、 A. Lawrence.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Multilingual Information Access for Text, Speech and Images [electronic resource] : 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers

0
索取号:
作者:Peters、 Carol.、Clough、 Paul.、Gonzalo、 Julio.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database: Enterprise, Skills and Innovation [electronic resource] : 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005. Proceedings

0
索取号:
作者:Jackson、 Mike.、Nelson、 David.、Stirk、 Sue.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Perspectives in Analysis [electronic resource] : Essays in Honor of Lennart Carleson鈥檚 75th Birthday

0
索取号:
作者:Benedicks、 Michael.、Jones、 Peter W.、Smirnov、 Stanislav.、Winckler、 Bj枚rn.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ultrafast Phenomena XIV [electronic resource] : Proceedings of the 14th International Conference, Niigata, Japan, July 25鈥㰬 2004

0
索取号:
作者:Kobayashi、 Takayoshi.、Okada、 Tadashi.、Kobayashi、 Tetsuro.、Nelson、 Keith A.、Silvestri、 Sandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Seismogenesis and Earthquake Forecasting: The Frank Evison Volume II [electronic resource]

0
索取号:
作者:Savage、 Martha K.、Rhoades、 David A.、Smith、 Euan G. C.、Gerstenberger、 Matthew C.、Vere-Jones、 David.、SpringerLink (Online service)、
出版社:Basel : Springer Basel, 2010.

Reflections on the Work of C.A.R. Hoare [electronic resource]

0
索取号:
作者:Roscoe、 A.W.、Jones、 Cliff B.、Wood、 Kenneth R.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Obstetric Medicine [electronic resource] : A Problem-Based Approach

0
索取号:
作者:Nelson-Piercy、 Catherine.、Girling、 Joanna.、SpringerLink (Online service)、
出版社:London : Springer London, 2007.

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [electronic resource]

0
索取号:
作者:Besnard、 Denis.、Gacek、 Cristina.、Jones、 Cliff B.、SpringerLink (Online service)、
出版社:London : Springer London, 2006.
最近添加的分类