搜索包含 Society for Computer Applications in Engineering 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Society for Computer Applications in Engineering 的图书(共9984本)

	Recent Trends in Network Security and Applications [electronic resource] : Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings 0 索取号：作者：Meghanathan、 Natarajan.、Boumerdassi、 Selma.、Chaki、 Nabendu.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Innovations in Multi-Agent Systems and Applications - 1 [electronic resource] 0 索取号：作者：Srinivasan、 Dipti.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings 0 索取号：作者：Perner、 Petra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	The Silver Market Phenomenon [electronic resource] : Marketing and Innovation in the Aging Society 0 索取号：作者：Kohlbacher、 Florian.、Herstatt、 Cornelius.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 0 索取号：作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biosystems Engineering I [electronic resource] : Creating Superior Biocatalysts 0 索取号：作者：Wittmann、 Christoph.、Krull、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings 0 索取号：作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 0 索取号：作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Successful Case-based Reasoning Applications - I [electronic resource] 0 索取号：作者：Montani、 Stefania.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part II 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Mechanics 3 [electronic resource] : Dynamics 0 索取号：作者：Gross、 Dietmar.、Hauger、 Werner.、Schr枚der、 J枚rg.、Wall、 Wolfgang.、Govindjee、 Sanjay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computational Intelligence in Power Engineering [electronic resource] 0 索取号：作者：Panigrahi、 Bijaya Ketan.、Abraham、 Ajith.、Das、 Swagatam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Recent Trends in Network Security and Applications [electronic resource] : Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings 0 索取号：作者：Meghanathan、 Natarajan.、Boumerdassi、 Selma.、Chaki、 Nabendu.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Innovations in Multi-Agent Systems and Applications - 1 [electronic resource] 0 索取号：作者：Srinivasan、 Dipti.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings 0 索取号：作者：Perner、 Petra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	The Silver Market Phenomenon [electronic resource] : Marketing and Innovation in the Aging Society 0 索取号：作者：Kohlbacher、 Florian.、Herstatt、 Cornelius.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 0 索取号：作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biosystems Engineering I [electronic resource] : Creating Superior Biocatalysts 0 索取号：作者：Wittmann、 Christoph.、Krull、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings 0 索取号：作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 0 索取号：作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Successful Case-based Reasoning Applications - I [electronic resource] 0 索取号：作者：Montani、 Stefania.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part II 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Mechanics 3 [electronic resource] : Dynamics 0 索取号：作者：Gross、 Dietmar.、Hauger、 Werner.、Schr枚der、 J枚rg.、Wall、 Wolfgang.、Govindjee、 Sanjay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computational Intelligence in Power Engineering [electronic resource] 0 索取号：作者：Panigrahi、 Bijaya Ketan.、Abraham、 Ajith.、Das、 Swagatam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.