搜索包含 Giese 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.

	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.