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

Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

0
索取号：
作者：Giese、 Holger.、Rosu、 Grigore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、Karsai、 Gabor.、Lee、 Edward.、Rumpe、 Bernhard.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

0
索取号：
作者：Giese、 Martin.、Waaler、 Arild.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering for Self-Adaptive Systems [electronic resource]

0
索取号：
作者：Cheng、 Betty H. C.、Lemos、 Rog茅rio.、Giese、 Holger.、Inverardi、 Paola.、Magee、 Jeff.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications

0
索取号：
作者：Choren、 Ricardo.、Garcia、 Alessandro.、Giese、 Holger.、Leung、 Ho-fung.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Andes [electronic resource] : Active Subduction Orogeny

0
索取号：
作者：Oncken、 Onno.、Chong、 Guillermo.、Franz、 Gerhard.、Giese、 Peter.、G枚tze、 Hans-J眉rgen.、Ramos、 Victor A.、Strecker、 Manfred R.、Wigger、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Cell physiology

0
索取号：Q25/E806.5
作者：Giese、 Arthur Charles、 1904-、
出版社：Philadelphia : Saunders, 1979.

Beilstein's index : trivial names in systematic nomenclature of organic chemistry

0
索取号：O62-7/E901
作者：Giese、 Friedo、 1935-、Beilstein-Institut f̈Уr Literatur der Organischen Chemie.、
出版社：New York : Berlin ; Springer-Verlag, c1986.

Intermediate accounting : a flow approach

0
索取号：F230/E906
作者：Giese、 James W.、 1925-、Klammer、 Thomas P.、 1944-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1984.