搜索包含 theory:criticism 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 theory:criticism 的图书(共6173本)

	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Sagiv、 Mooly.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Bodik、 Rastislav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Cerioli、 Maura.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Sassone、 Vladimiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		CONCUR 2005-Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings 0 索取号：作者：Abadi、 Mart铆n.、Alfaro、 Luca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings 0 索取号：作者：Auer、 Peter.、Meir、 Ron.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, L眉beck, Germany, August 17-20, 2005. Proceedings 0 索取号：作者：Li艣kiewicz、 Maciej.、Reischuk、 R眉diger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Trusting Agents for Trusting Electronic Societies [electronic resource] : Theory and Applications in HCI and E-Commerce 0 索取号：作者：Falcone、 Rino.、Barber、 Suzanne.、Sabater-Mir、 Jordi.、Singh、 Munindar P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Computer Aided Systems Theory-EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 鈥౱, 2005, Revised Selected Papers 0 索取号：作者：Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Advances in Evolutionary Algorithms [electronic resource] : Theory, Design and Practice 0 索取号：作者：Ahn、 Chang Wook.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings 0 索取号：作者：Jain、 Sanjay.、Simon、 Hans Ulrich.、Tomita、 Etsuji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings 0 索取号：作者：Felice、 Clelia.、Restivo、 Antonio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings 0 索取号：作者：Bacchus、 Fahiem.、Walsh、 Toby.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Topics in Hyposonic Flow Theory [electronic resource] 0 索取号：作者：Zeytounian、 Radyadour.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Control of Redundant Robot Manipulators [electronic resource] : Theory and Experiments 0 索取号：作者：Patel、 R. V.、Shadpey、 F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Sagiv、 Mooly.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Bodik、 Rastislav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Cerioli、 Maura.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Sassone、 Vladimiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings 0 索取号：作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		CONCUR 2005-Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings 0 索取号：作者：Abadi、 Mart铆n.、Alfaro、 Luca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings 0 索取号：作者：Auer、 Peter.、Meir、 Ron.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, L眉beck, Germany, August 17-20, 2005. Proceedings 0 索取号：作者：Li艣kiewicz、 Maciej.、Reischuk、 R眉diger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Trusting Agents for Trusting Electronic Societies [electronic resource] : Theory and Applications in HCI and E-Commerce 0 索取号：作者：Falcone、 Rino.、Barber、 Suzanne.、Sabater-Mir、 Jordi.、Singh、 Munindar P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Computer Aided Systems Theory-EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 鈥౱, 2005, Revised Selected Papers 0 索取号：作者：Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Advances in Evolutionary Algorithms [electronic resource] : Theory, Design and Practice 0 索取号：作者：Ahn、 Chang Wook.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings 0 索取号：作者：Jain、 Sanjay.、Simon、 Hans Ulrich.、Tomita、 Etsuji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings 0 索取号：作者：Felice、 Clelia.、Restivo、 Antonio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings 0 索取号：作者：Bacchus、 Fahiem.、Walsh、 Toby.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Topics in Hyposonic Flow Theory [electronic resource] 0 索取号：作者：Zeytounian、 Radyadour.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Control of Redundant Robot Manipulators [electronic resource] : Theory and Experiments 0 索取号：作者：Patel、 R. V.、Shadpey、 F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.