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

Genomics of Chloroplasts and Mitochondria [electronic resource]

0
索取号:
作者:Bock、 Ralph.、Knoop、 Volker.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号:
作者:H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号:
作者:Knoop、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.