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

Critical Information Infrastructures Security [electronic resource] : Second International Workshop, CRITIS 2007, M谩laga, Spain, October 3-5, 2007. Revised Papers

0
索取号：
作者：Lopez、 Javier.、H盲mmerli、 Bernhard M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Semantics in Data and Knowledge Bases [electronic resource] : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

0
索取号：
作者：Schewe、 Klaus-Dieter.、Thalheim、 Bernhard.、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.

Web Information Systems Engineering - WISE 2008 [electronic resource] : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings

0
索取号：
作者：Bailey、 James.、Maier、 David.、Schewe、 Klaus-Dieter.、Thalheim、 Bernhard.、Wang、 Xiaoyang Sean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Internationalisation of European ICT Activities [electronic resource] : Dynamics of Information and Communications Technology

0
索取号：
作者：Meijers、 Huub.、Dachs、 Bernhard.、Welfens、 Paul J. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

0
索取号：
作者：Parent、 Christine.、Schewe、 Klaus-Dieter.、Storey、 Veda C.、Thalheim、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Basic Bundle Theory and K-Cohomology Invariants [electronic resource] : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Kr枚tz

0
索取号：
作者：Husem枚ller、 D.、Joachim、 M.、Jur膷o、 B.、Schottenloher、 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rhinology and Facial Plastic Surgery [electronic resource]

0
索取号：
作者：Stucker、 Fred J.、de Souza、 Chris.、Kenyon、 Guy S.、Lian、 Timothy S.、Draf、 Wolfgang.、Schick、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings

0
索取号：
作者：H盲mmerli、 Bernhard.、Sommer、 Robin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Combinatorial Optimization [electronic resource] : Theory and Algorithms

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

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

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

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

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

Sediment Dynamics and Pollutant Mobility in Rivers [electronic resource] : An Interdisciplinary Approach

0
索取号：
作者：Westrich、 Bernhard.、F枚rstner、 Ulrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.