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

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

	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 0 索取号：作者：Berghofer、 Stefan.、Nipkow、 Tobias.、Urban、 Christian.、Wenzel、 Makarius.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	High-Order Modulation for Optical Fiber Transmission [electronic resource] 0 索取号：作者：Seimetz、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Time-Varying Sliding Modes for Second and Third Order Systems [electronic resource] 0 索取号：作者：Bartoszewicz、 Andrzej.、Nowacka-Leverton、 Aleksandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	The Mathematics of Preference, Choice and Order [electronic resource] : Essays in Honor of Peter C. Fishburn 0 索取号：作者：Brams、 Steven J.、Gehrlein、 William V.、Roberts、 Fred S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Model Order Reduction: Theory, Research Aspects and Applications [electronic resource] 0 索取号：作者：Schilders、 Wilhelmus H. A.、Vorst、 Henk A.、Rommes、 Joost.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Discrete-Time High Order Neural Control [electronic resource] : Trained with Kaiman Filtering 0 索取号：作者：Sanchez、 Edgar N.、Alan铆s、 Alma Y.、Loukianov、 Alexander G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking 0 索取号：作者：Esparza、 Javier.、Heljanko、 Keijo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	High Order Difference Methods for Time Dependent PDE [electronic resource] 0 索取号：作者：Gustafsson、 Bertil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings 0 索取号：作者：Schneider、 Klaus.、Brandt、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings 0 索取号：作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Ferro- and Antiferroelectricity [electronic resource] : Order/Disorder versus Displacive 0 索取号：作者：Dalal、 Naresh S.、Bussmann-Holder、 Annette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Mind, Matter and the Implicate Order [electronic resource] 0 索取号：作者：Pylkk盲nen、 Paavo T. I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Warehouse Management [electronic resource] : Automation and Organisation of Warehouse and Order Picking Systems 0 索取号：作者：Hompel、 Michael.、Schmidt、 Thorsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Reduced Order Systems [electronic resource] 0 索取号：作者：Jalali、 Ali A.、Sims鈥젃raig S.、Famouri、 Parviz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Partial Order in Environmental Sciences and Chemistry [electronic resource] 0 索取号：作者：Br眉ggemann、 Rainer.、Carlsen、 Lars.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 0 索取号：作者：Berghofer、 Stefan.、Nipkow、 Tobias.、Urban、 Christian.、Wenzel、 Makarius.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	High-Order Modulation for Optical Fiber Transmission [electronic resource] 0 索取号：作者：Seimetz、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Time-Varying Sliding Modes for Second and Third Order Systems [electronic resource] 0 索取号：作者：Bartoszewicz、 Andrzej.、Nowacka-Leverton、 Aleksandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	The Mathematics of Preference, Choice and Order [electronic resource] : Essays in Honor of Peter C. Fishburn 0 索取号：作者：Brams、 Steven J.、Gehrlein、 William V.、Roberts、 Fred S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Model Order Reduction: Theory, Research Aspects and Applications [electronic resource] 0 索取号：作者：Schilders、 Wilhelmus H. A.、Vorst、 Henk A.、Rommes、 Joost.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Discrete-Time High Order Neural Control [electronic resource] : Trained with Kaiman Filtering 0 索取号：作者：Sanchez、 Edgar N.、Alan铆s、 Alma Y.、Loukianov、 Alexander G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking 0 索取号：作者：Esparza、 Javier.、Heljanko、 Keijo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	High Order Difference Methods for Time Dependent PDE [electronic resource] 0 索取号：作者：Gustafsson、 Bertil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings 0 索取号：作者：Schneider、 Klaus.、Brandt、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings 0 索取号：作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Ferro- and Antiferroelectricity [electronic resource] : Order/Disorder versus Displacive 0 索取号：作者：Dalal、 Naresh S.、Bussmann-Holder、 Annette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Mind, Matter and the Implicate Order [electronic resource] 0 索取号：作者：Pylkk盲nen、 Paavo T. I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Warehouse Management [electronic resource] : Automation and Organisation of Warehouse and Order Picking Systems 0 索取号：作者：Hompel、 Michael.、Schmidt、 Thorsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Reduced Order Systems [electronic resource] 0 索取号：作者：Jalali、 Ali A.、Sims鈥젃raig S.、Famouri、 Parviz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Partial Order in Environmental Sciences and Chemistry [electronic resource] 0 索取号：作者：Br眉ggemann、 Rainer.、Carlsen、 Lars.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.