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

Natural and Artificial Rockslide Dams [electronic resource]

0
索取号：
作者：Evans、 Stephen G.、Hermanns、 Reginald L.、Strom、 Alexander.、Scarascia-Mugnozza、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

EMC 2008 14th European Microscopy Congress 1鈥堓eptember 2008, Aachen, Germany [electronic resource] : Volume 3: Life Science

0
索取号：
作者：Aretz、 Anke.、Hermanns-Sachweh、 Benita.、Mayer、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

0
索取号：
作者：Damm、 Werner.、Hermanns、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

CONCUR 2006-Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

0
索取号：
作者：Baier、 Christel.、Hermanns、 Holger.、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.

Landslides from Massive Rock Slope Failure [electronic resource]

0
索取号：
作者：Evans、 Stephen G.、Mugnozza、 Gabriele Scarascia.、Strom、 Alexander.、Hermanns、 Reginald L.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.