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

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

0
索取号:
作者:Gramlich、 Bernhard.、Miller、 Dale.、Sattler、 Uli.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

0
索取号:
作者:D眉sterh枚ft、 Antje.、Klettke、 Meike.、Schewe、 Klaus-Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Synthetic Biodegradable Polymers [electronic resource]

0
索取号:
作者:Rieger、 Bernhard.、K眉nkel、 Andreas.、Coates、 Geoffrey W.、Reichardt、 Robert.、Dinjus、 Eckhard.、Zevaco、 Thomas A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

0
索取号:
作者:Aichernig、 Bernhard K.、Boer、 Frank S.、Bonsangue、 Marcello M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Towards Service Robots for Everyday Environments [electronic resource] : Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments

0
索取号:
作者:Prassler、 Erwin.、Z枚llner、 Marius.、Bischoff、 Rainer.、Burgard、 Wolfram.、Haschke、 Robert.、H盲gele、 Martin.、Lawitzky、 Gisbert.、Nebel、 Bernhard.、Pl枚ger、 Paul.、Reiser、 Ulrich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Combinatorial Optimization [electronic resource] : Theory and Algorithms

0
索取号:
作者:Korte、 Bernhard.、Vygen、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

0
索取号:
作者:Sala眉n、 Gwen.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Planning in Supply Chains [electronic resource] : Illustrating the Concepts Using an SAP庐 APO Case Study

0
索取号:
作者:Stadtler、 Hartmut.、Fleischmann、 Bernhard.、Grunow、 Martin.、Meyr、 Herbert.、S眉rie、 Christopher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Semantics in Data and Knowledge Bases [electronic resource] : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

0
索取号:
作者:Schewe、 Klaus-Dieter.、Thalheim、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

German Corporate Governance in International and European Context [electronic resource]

0
索取号:
作者:du Plessis、 Jean J.、Gro脽feld、 Bernhard.、Luttermann、 Claus.、Saenger、 Ingo.、Sandrock、 Otto.、Casper、 Matthias.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Handbook of Spectral Lines in Diamond [electronic resource] : Volume 1: Tables and Interpretations

0
索取号:
作者:Dischler、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号:
作者:Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Polymer Thermodynamics [electronic resource] : Liquid Polymer-Containing Mixtures

0
索取号:
作者:Wolf、 Bernhard A.、Enders、 Sabine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

0
索取号:
作者:Engels、 Gregor.、Lewerentz、 Claus.、Sch盲fer、 Wilhelm.、Sch眉rr、 Andy.、Westfechtel、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distribution Logistics [electronic resource] : Advanced Solutions to Practical Problems

0
索取号:
作者:Fleischmann、 Bernhard.、Klose、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

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.
最近添加的分类