大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jensen-Butler 的图书(共159本)

Frontiers in Numerical Analysis - Durham 2010 [electronic resource]

0
索取号：
作者：Blowey、 James.、Jensen、 Max.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Exploring Music Contents [electronic resource] : 7th International Symposium, CMMR 2010, M谩laga, Spain, June 21-24, 2010. Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Trust Management V [electronic resource] : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Wakeman、 Ian.、Gudes、 Ehud.、Jensen、 Christian Damsgaard.、Crampton、 Jason.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

15th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics (NBC 2011) [electronic resource] : 14-17 June 2011, Aalborg, Denmark

0
索取号：
作者：Dremstrup、 Kim.、Rees、 Steve.、Jensen、 Morten 脴lgaard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reconstituting the Constitution [electronic resource]

0
索取号：
作者：Morris、 Caroline.、Boston、 Jonathan.、Butler、 Petra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]

0
索取号：
作者：Jensen、 Kurt.、Donatelli、 Susanna.、Koutny、 Maciej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rough Sets and Current Trends in Computing [electronic resource] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings

0
索取号：
作者：Szczuka、 Marcin.、Kryszkiewicz、 Marzena.、Ramanna、 Sheela.、Jensen、 Richard.、Hu、 Qinghua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009. Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Petri Nets and Other Models of Concurrency III [electronic resource]

0
索取号：
作者：Jensen、 Kurt.、Billington、 Jonathan.、Koutny、 Maciej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems

0
索取号：
作者：Jensen、 Kurt.、Aalst、 Wil M. P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Methods, Models and Tools for Fault Tolerance [electronic resource]

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

Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems

0
索取号：
作者：Jensen、 Kurt.、Kristensen、 Lars M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Transactions on Petri Nets and Other Models of Concurrency I [electronic resource]

0
索取号：
作者：Jensen、 Kurt.、Aalst、 Wil M. P.、Billington、 Jonathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

0
索取号：
作者：B枚rger、 Egon.、Butler、 Michael.、Bowen、 Jonathan P.、Boca、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.