Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / 订购中 (含光盘)

著者: Dingel Juergen.

出版社: Springer Berlin Heidelberg,   出版日期: 2011.

文献类型: 非书资料 , 索书号:

Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / 订购中 (含光盘)

著者: Solberg Arnor.

出版社: Springer Berlin Heidelberg,   出版日期: 2011.

文献类型: 非书资料 , 索书号:

Lutheran ecclesiastical culture, 1550-1675 订购中 (含光盘)

著者: Kolb Robert

出版社: Brill,   出版日期: 2008.

文献类型: 图书 , 索书号:

Removing barriers: women in academic science, technology, engineering, and mathematics / 订购中 (含光盘)

著者: Bystydzienski Jill M. Bird Sharon R.

出版社: Indiana University Press,   出版日期: c2006.

文献类型: 图书 , 索书号:

Vorm鑑rz-Handbuch. 订购中 (含光盘)

著者: Bachleitner Norbert. Beutin Wolfgang. Briese Olaf. Bublies-Godau Birgit. Bunzel Wolfgang. Conter Claude. Dainat Holger. Eke Norbert Otto. Erbentraut Philipp.

出版社:   出版日期:

文献类型: 图书 , 索书号:

订购中 (含光盘)

著者:

出版社:   出版日期:

文献类型: 图书 , 索书号: