搜索包含 pro*c 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 pro*c 的图书(共20808本)

	Research and Development in Intelligent Systems XXVII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence 0 索取号：作者：Bramer、 Max.、Petridis、 Miltos.、Hopgood、 Adrian.、SpringerLink (Online service)、出版社：London : Springer London, 2011.		Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability 0 索取号：作者：Dowek、 Gilles.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach 0 索取号：作者：Cheng、 Daizhan.、Qi、 Hongsheng.、Li、 Zhiqiang.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.		Manufacturing Process Design and Costing [electronic resource] : An Integrated Approach 0 索取号：作者：Grewal、 Simmy.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Introduction to the Theory of Programming Languages [electronic resource] 0 索取号：作者：Dowek、 Gilles.、L茅vy、 Jean-Jacques.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.		Control of Integral Processes with Dead Time [electronic resource] 0 索取号：作者：Visioli、 Antonio.、Zhong、 Qingchang.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.
	New World Situation: New Directions in Concurrent Engineering [electronic resource] : Proceedings of the 17th ISPE International Conference on Concurrent Engineering 0 索取号：作者：Pokojski、 Jerzy.、Fukuda、 Shuichi.、Salwi艅ski、 J贸zef.、SpringerLink (Online service)、出版社：London : Springer London, 2010.		Rigorous Software Development [electronic resource] : An Introduction to Program Verification 0 索取号：作者：Almeida、 Jos茅 Bacelar.、Frade、 Maria Jo茫o.、Pinto、 Jorge Sousa.、Melo de Sousa、 Sim茫o.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.
	Advanced Modeling and Optimization of Manufacturing Processes [electronic resource] : International Research and Development 0 索取号：作者：Rao、 R. Venkata.、SpringerLink (Online service)、出版社：London : Springer London, 2011.		An Introduction to Continuous-Time Stochastic Processes [electronic resource] : Theory, Models, and Applications to Finance, Biology, and Medicine 0 索取号：作者：Capasso、 Vincenzo.、Bakstein、 David.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston : Imprint: Birkh盲user, 2012.
	Duration and Bandwidth Limiting [electronic resource] : Prolate Functions, Sampling, and Applications 0 索取号：作者：Hogan、 Jeffrey A.、Lakey、 Joseph D.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2012.		Green's Functions and Infinite Products [electronic resource] : Bridging the Divide 0 索取号：作者：Melnikov、 Yuri A.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.
	Selected Unsolved Problems in Coding Theory [electronic resource] 0 索取号：作者：Joyner、 David.、Kim、 Jon-Lark.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.		Probability with Statistical Applications [electronic resource] 0 索取号：作者：Schinazi、 Rinaldo B.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2012.
	Optimal Control Problems for Partial Differential Equations on Reticulated Domains [electronic resource] : Approximation and Asymptotic Analysis 0 索取号：作者：Kogut、 Peter I.、Leugering、 G眉nter R.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.		An Introduction to Nonlinear Functional Analysis and Elliptic Problems [electronic resource] 0 索取号：作者：Ambrosetti、 Antonio.、Arcoya、 David.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.

	Research and Development in Intelligent Systems XXVII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence 0 索取号：作者：Bramer、 Max.、Petridis、 Miltos.、Hopgood、 Adrian.、SpringerLink (Online service)、出版社：London : Springer London, 2011.		Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability 0 索取号：作者：Dowek、 Gilles.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach 0 索取号：作者：Cheng、 Daizhan.、Qi、 Hongsheng.、Li、 Zhiqiang.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.		Manufacturing Process Design and Costing [electronic resource] : An Integrated Approach 0 索取号：作者：Grewal、 Simmy.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Introduction to the Theory of Programming Languages [electronic resource] 0 索取号：作者：Dowek、 Gilles.、L茅vy、 Jean-Jacques.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.		Control of Integral Processes with Dead Time [electronic resource] 0 索取号：作者：Visioli、 Antonio.、Zhong、 Qingchang.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.
	New World Situation: New Directions in Concurrent Engineering [electronic resource] : Proceedings of the 17th ISPE International Conference on Concurrent Engineering 0 索取号：作者：Pokojski、 Jerzy.、Fukuda、 Shuichi.、Salwi艅ski、 J贸zef.、SpringerLink (Online service)、出版社：London : Springer London, 2010.		Rigorous Software Development [electronic resource] : An Introduction to Program Verification 0 索取号：作者：Almeida、 Jos茅 Bacelar.、Frade、 Maria Jo茫o.、Pinto、 Jorge Sousa.、Melo de Sousa、 Sim茫o.、SpringerLink (Online service)、出版社：London : Springer London : Imprint: Springer, 2011.
	Advanced Modeling and Optimization of Manufacturing Processes [electronic resource] : International Research and Development 0 索取号：作者：Rao、 R. Venkata.、SpringerLink (Online service)、出版社：London : Springer London, 2011.		An Introduction to Continuous-Time Stochastic Processes [electronic resource] : Theory, Models, and Applications to Finance, Biology, and Medicine 0 索取号：作者：Capasso、 Vincenzo.、Bakstein、 David.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston : Imprint: Birkh盲user, 2012.
	Duration and Bandwidth Limiting [electronic resource] : Prolate Functions, Sampling, and Applications 0 索取号：作者：Hogan、 Jeffrey A.、Lakey、 Joseph D.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2012.		Green's Functions and Infinite Products [electronic resource] : Bridging the Divide 0 索取号：作者：Melnikov、 Yuri A.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.
	Selected Unsolved Problems in Coding Theory [electronic resource] 0 索取号：作者：Joyner、 David.、Kim、 Jon-Lark.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.		Probability with Statistical Applications [electronic resource] 0 索取号：作者：Schinazi、 Rinaldo B.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2012.
	Optimal Control Problems for Partial Differential Equations on Reticulated Domains [electronic resource] : Approximation and Asymptotic Analysis 0 索取号：作者：Kogut、 Peter I.、Leugering、 G眉nter R.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.		An Introduction to Nonlinear Functional Analysis and Elliptic Problems [electronic resource] 0 索取号：作者：Ambrosetti、 Antonio.、Arcoya、 David.、SpringerLink (Online service)、出版社：Boston : Birkh盲user Boston, 2011.