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

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号：
作者：Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Protein Folding and Misfolding [electronic resource] : Shining Light by Infrared Spectroscopy

0
索取号：
作者：Fabian、 Heinz.、Naumann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Automatic Differentiation [electronic resource]

0
索取号：
作者：Bischof、 Christian H.、B眉cker、 H. Martin.、Hovland、 Paul.、Naumann、 Uwe.、Utke、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applied Pathology for Ophthalmic Microsurgeons [electronic resource]

0
索取号：
作者：Cursiefen、 Claus.、Heindl、 Ludwig M.、Joussen、 Antonia M.、J眉nemann、 Anselm.、Mardin、 Christian Y.、Schl枚tzer-Schrehardt、 Ursula.、Naumann、 Gottfried O. H.、Holbach、 Leonard M.、Kruse、 Friedrich E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Integration in the Life Sciences [electronic resource] : Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006. Proceedings

0
索取号：
作者：Leser、 Ulf.、Naumann、 Felix.、Eckman、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automatic Differentiation: Applications, Theory, and Implementations [electronic resource]

0
索取号：
作者：B眉cker、 Martin.、Corliss、 George.、Naumann、 Uwe.、Hovland、 Paul.、Norris、 Boyana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.