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

Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

0
索取号：
作者：Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

0
索取号：
作者：Malloy、 Brian.、Staab、 Steffen.、Brand、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Context-Aware Ranking with Factorization Models [electronic resource]

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

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

International Investment Law and EU Law [electronic resource]

0
索取号：
作者：Bungenberg、 Marc.、Griebel、 Joern.、Hindelang、 Steffen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Handbook of Power Systems II [electronic resource]

0
索取号：
作者：Rebennack、 Steffen.、Pardalos、 Panos M.、Pereira、 Mario V. F.、Iliadis、 Niko A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever

0
索取号：
作者：Dams、 Dennis.、Hannemann、 Ulrich.、Steffen、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Manufacturing Simulation with Plant Simulation and SimTalk [electronic resource] : Usage and Programming with Examples and Solutions

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

Handbook of Power Systems I [electronic resource]

0
索取号：
作者：Pardalos、 Panos M.、Rebennack、 Steffen.、Pereira、 Mario V. F.、Iliadis、 Niko A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Handbook on Ontologies [electronic resource]

0
索取号：
作者：Staab、 Steffen.、Studer、 Rudi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Semantic Multimedia [electronic resource] : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings

0
索取号：
作者：Duke、 David.、Hardman、 Lynda.、Hauptmann、 Alex.、Paulus、 Dietrich.、Staab、 Steffen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Journal on Data Semantics XI [electronic resource]

0
索取号：
作者：Spaccapietra、 Stefano.、Pan、 Jeff Z.、Thiran、 Philippe.、Halpin、 Terry.、Staab、 Steffen.、Svatek、 Vojtech.、Shvaiko、 Pavel.、Roddick、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Optimization in the Energy Industry [electronic resource]

0
索取号：
作者：Kallrath、 Josef.、Pardalos、 Panos M.、Rebennack、 Steffen.、Scheidt、 Max.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The Semantic Web - ISWC 2008 [electronic resource] : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

0
索取号：
作者：Sheth、 Amit.、Staab、 Steffen.、Dean、 Mike.、Paolucci、 Massimo.、Maynard、 Diana.、Finin、 Timothy.、Thirunarayan、 Krishnaprasad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.