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

Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

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

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.

Proceedings of The 3rd Workshop From Parity Violation to Hadronic Structure and more... [electronic resource] : PAVI 2006 May 16鈥Ⱜ 2006 Milos, Greece

0
索取号：
作者：Jager、 K.、Kox、 S.、Lhuillier、 D.、Maas、 F.、Page、 S.、Papanicolas、 C.、Stiliaris、 S.、Wiele、 J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

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.

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.

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.

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.

Practical Introduction to Computer Architecture [electronic resource]

0
索取号：
作者：Page、 Daniel.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Discrete Mathematics Using a Computer [electronic resource]

0
索取号：
作者：O鈥橠onnell、 John.、Hall、 Cordelia.、Page、 Rex.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

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.

Neoplastic Hematopathology [electronic resource] : Experimental and Clinical Approaches

0
索取号：
作者：Jones、 Dan.、SpringerLink (Online service)、
出版社：Totowa, NJ : Humana Press : Imprint: Humana Press, 2010.