搜索包含 computer.programming 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 computer.programming 的图书(共3762本)

	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings 0 索取号：作者：脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 0 索取号：作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings 0 索取号：作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings 0 索取号：作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	ECOOP 2012-Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings 0 索取号：作者：Noble、 James.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Scientific Workflows [electronic resource] : Programming, Optimization, and Synthesis with ASKALON and AWDL 0 索取号：作者：Qin、 Jun.、Fahringer、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Science-Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings 0 索取号：作者：Hirsch、 Edward A.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、Prilutskii、 Michail.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Information Processing in Computer-Assisted Interventions [electronic resource] : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings 0 索取号：作者：Abolmaesumi、 Purang.、Joskowicz、 Leo.、Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer and Information Science 2012 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 13th International Conference, XP 2012, Malm枚, Sweden, May 21-25, 2012. Proceedings 0 索取号：作者：Wohlin、 Claes.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		A Primer on Scientific Programming with Python [electronic resource] 0 索取号：作者：Langtangen、 Hans Petter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Computer Science and Information Engineering [electronic resource] : Volume 2 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer- Aided Design in Power Engineering [electronic resource] : Application of Software Tools 0 索取号：作者：Stojkovic、 Zlatan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Computer Science, Engineering & Applications [electronic resource] : Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1 0 索取号：作者：Wyld、 David C.、Zizka、 Jan.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Advances in Computer Science and Information Engineering [electronic resource] : Volume 1 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings 0 索取号：作者：脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 0 索取号：作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings 0 索取号：作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings 0 索取号：作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	ECOOP 2012-Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings 0 索取号：作者：Noble、 James.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Scientific Workflows [electronic resource] : Programming, Optimization, and Synthesis with ASKALON and AWDL 0 索取号：作者：Qin、 Jun.、Fahringer、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Science-Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings 0 索取号：作者：Hirsch、 Edward A.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、Prilutskii、 Michail.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Information Processing in Computer-Assisted Interventions [electronic resource] : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings 0 索取号：作者：Abolmaesumi、 Purang.、Joskowicz、 Leo.、Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer and Information Science 2012 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 13th International Conference, XP 2012, Malm枚, Sweden, May 21-25, 2012. Proceedings 0 索取号：作者：Wohlin、 Claes.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		A Primer on Scientific Programming with Python [electronic resource] 0 索取号：作者：Langtangen、 Hans Petter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Computer Science and Information Engineering [electronic resource] : Volume 2 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer- Aided Design in Power Engineering [electronic resource] : Application of Software Tools 0 索取号：作者：Stojkovic、 Zlatan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Computer Science, Engineering & Applications [electronic resource] : Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1 0 索取号：作者：Wyld、 David C.、Zizka、 Jan.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Advances in Computer Science and Information Engineering [electronic resource] : Volume 1 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.