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

抽象代数基础 [电子资源]

7.9
索取号：
作者：
出版社：, 2003

近世代数三百题

7.9
索取号：O153-44/20101
作者：冯克勤、章璞、
出版社：北京 : 高等教育出版社, 2010

Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号：
作者：Derrick、 John.、Fitzgerald、 John.、Gnesi、 Stefania.、Khurshid、 Sarfraz.、Leuschel、 Michael.、Reeves、 Steve.、Riccobene、 Elvinia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

0
索取号：
作者：Kuncak、 Viktor.、Rybalchenko、 Andrey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

0
索取号：
作者：Frappier、 Marc.、Gl盲sser、 Uwe.、Khurshid、 Sarfraz.、Laleau、 R茅gine.、Reeves、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Hermenegildo、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Abstract Parabolic Evolution Equations and their Applications [electronic resource]

0
索取号：
作者：Yagi、 Atsushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

0
索取号：
作者：Jones、 Neil D.、M眉ller-Olm、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

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.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Beyond Partial Differential Equations [electronic resource] : On Linear and Quasi-Linear Abstract Hyperbolic Evolution Equations

0
索取号：
作者：Beyer、 Horst Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

0
索取号：
作者：Cook、 Byron.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Discovering Mathematics with Magma [electronic resource] : Reducing the Abstract to the Concrete

0
索取号：
作者：Bosma、 Wieb.、Cannon、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

0
索取号：
作者：Emerson、 E. Allen.、Namjoshi、 Kedar S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Abstract Harmonic Analysis of Continuous Wavelet Transforms [electronic resource]

0
索取号：
作者：F眉hr、 Hartmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.