搜索包含 FAST (Program) 的图书 - 暨南大学图书馆

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

	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 0 索取号：作者：Puebla、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday 0 索取号：作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers 0 索取号：作者：Nyberg、 Kaisa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings 0 索取号：作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program 0 索取号：作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers 0 索取号：作者：Robshaw、 Matthew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fast Motions in Biomechanics and Robotics [electronic resource] : Optimization and Feedback Control 0 索取号：作者：Diehl、 Moritz.、Mombaur、 Katja.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings 0 索取号：作者：Uustalu、 Tarmo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fast Simulation of Electro-Thermal MEMS [electronic resource] : Efficient Dynamic Compact Models 0 索取号：作者：Bechtold、 Tamara.、Rudnyi、 Evgenii B.、Korvink、 Jan G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 0 索取号：作者：Hill、 Patricia M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、Ryan、 Peter Y. A.、Schneider、 Steve.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers 0 索取号：作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes [electronic resource] : A Parametrized Approach for Fast Systems 0 索取号：作者：Alamir、 Mazen.、SpringerLink (Online service)、出版社：London : Springer London, 2006.
	Noise-Induced Phenomena in Slow-Fast Dynamical Systems [electronic resource] : A Sample-Paths Approach 0 索取号：作者：Berglund、 Nils.、Gentz、 Barbara.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		Fast Track to MDX [electronic resource] 0 索取号：作者：Whitehorn、 Mark.、Zare、 Robert.、Pasumansky、 Mosha.、SpringerLink (Online service)、出版社：London : Springer London, 2006.

	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 0 索取号：作者：Puebla、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday 0 索取号：作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers 0 索取号：作者：Nyberg、 Kaisa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings 0 索取号：作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program 0 索取号：作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers 0 索取号：作者：Robshaw、 Matthew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fast Motions in Biomechanics and Robotics [electronic resource] : Optimization and Feedback Control 0 索取号：作者：Diehl、 Moritz.、Mombaur、 Katja.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings 0 索取号：作者：Uustalu、 Tarmo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fast Simulation of Electro-Thermal MEMS [electronic resource] : Efficient Dynamic Compact Models 0 索取号：作者：Bechtold、 Tamara.、Rudnyi、 Evgenii B.、Korvink、 Jan G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 0 索取号：作者：Hill、 Patricia M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、Ryan、 Peter Y. A.、Schneider、 Steve.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers 0 索取号：作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes [electronic resource] : A Parametrized Approach for Fast Systems 0 索取号：作者：Alamir、 Mazen.、SpringerLink (Online service)、出版社：London : Springer London, 2006.
	Noise-Induced Phenomena in Slow-Fast Dynamical Systems [electronic resource] : A Sample-Paths Approach 0 索取号：作者：Berglund、 Nils.、Gentz、 Barbara.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		Fast Track to MDX [electronic resource] 0 索取号：作者：Whitehorn、 Mark.、Zare、 Robert.、Pasumansky、 Mosha.、SpringerLink (Online service)、出版社：London : Springer London, 2006.