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

Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

0
索取号：
作者：Siegler、 Simon.、Wasser、 Nathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

0
索取号：
作者：Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Finite Element Analysis of Shells - Fundamentals [electronic resource]

0
索取号：
作者：Chapelle、 Dominique.、Bathe、 Klaus-J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automation, Communication and Cybernetics in Science and Engineering 2009/2010 [electronic resource]

0
索取号：
作者：Jeschke、 Sabina.、Isenhardt、 Ingrid.、Henning、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Data and Mobility [electronic resource] : Transforming Information into Intelligent Traffic and Transportation Services Proceedings of the Lakeside Conference 2010

0
索取号：
作者：D眉h、 Julia.、Hufnagl、 Hartwig.、Juritsch、 Erhard.、Pfliegl、 Reinhard.、Schimany、 Helmut-Klaus.、Sch枚negger、 Hans.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

0
索取号：
作者：Serna、 Maria.、Shaltiel、 Ronen.、Jansen、 Klaus.、Rolim、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Flowering Plants. Eudicots [electronic resource] : Sapindales, Cucurbitales, Myrtaceae

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

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July14-16, 2010, Proceedings, Part II

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Raising of Microvascular Flaps [electronic resource] : A Systematic Approach

0
索取号：
作者：Wolff、 Klaus-Dietrich.、H枚lzle、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Approximation and Online Algorithms [electronic resource] : 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers

0
索取号：
作者：Bampis、 Evripidis.、Jansen、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Modeling and Tools for Network Simulation [electronic resource]

0
索取号：
作者：Wehrle、 Klaus.、G眉ne艧、 Mesut.、Gross、 James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

0
索取号：
作者：M眉ller-Clostermann、 Bruno.、Echtle、 Klaus.、Rathgeb、 Erwin P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Seventy Years of Exploration in Oceanography [electronic resource] : A Prolonged Weekend Discussion with Walter Munk

0
索取号：
作者：Storch、 Hans.、Hasselmann、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Dynamics in Logistics [electronic resource] : Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Scholz-Reiter、 Bernd.、Thoben、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Production Factor Mathematics [electronic resource]

0
索取号：
作者：Gr枚tschel、 Martin.、Lucas、 Klaus.、Mehrmann、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.