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

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

	Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Rosenblum、 David S.、Taentzer、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gupta、 Rajiv.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Spectral Theory of Non-Commutative Harmonic Oscillators: An Introduction [electronic resource] 0 索取号：作者：Parmeggiani、 Alberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Quantum Information, Computation and Cryptography [electronic resource] : An Introductory Survey of Theory, Technology and Experiments 0 索取号：作者：Benatti、 Fabio.、Fannes、 Mark.、Floreanini、 Roberto.、Petritis、 Dimitri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers 0 索取号：作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Musical Performance [electronic resource] : A Comprehensive Approach: Theory, Analytical Tools, and Case Studies 0 索取号：作者：Mazzola、 Guerino.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers 0 索取号：作者：Monteiro、 Jos茅.、Leuken、 Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings 0 索取号：作者：Micciancio、 Daniele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：England、 David.、Palanque、 Philippe.、Vanderdonckt、 Jean.、Wild、 Peter J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Transformative Concepts for Drug Design: Target Wrapping [electronic resource] 0 索取号：作者：Fernandez、 Ariel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts [electronic resource] : Second IFIP WG 13.6 Conference, HWID 2009, Pune, India, October 7-8, 2009, Revised Selected Papers 0 索取号：作者：Katre、 Dinesh.、Orngreen、 Rikke.、Yammiyavar、 Pradeep.、Clemmensen、 Torkil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Analysis and Design of Nonlinear Control Systems [electronic resource] 0 索取号：作者：Cheng、 Daizhan.、Hu、 Xiaoming.、Shen、 Tielong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Elliptic Differential Equations [electronic resource] : Theory and Numerical Treatment 0 索取号：作者：Hackbusch、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory ofElasticity [electronic resource] 0 索取号：作者：Maceri、 Aldo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

	Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Rosenblum、 David S.、Taentzer、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gupta、 Rajiv.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Spectral Theory of Non-Commutative Harmonic Oscillators: An Introduction [electronic resource] 0 索取号：作者：Parmeggiani、 Alberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Quantum Information, Computation and Cryptography [electronic resource] : An Introductory Survey of Theory, Technology and Experiments 0 索取号：作者：Benatti、 Fabio.、Fannes、 Mark.、Floreanini、 Roberto.、Petritis、 Dimitri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers 0 索取号：作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Musical Performance [electronic resource] : A Comprehensive Approach: Theory, Analytical Tools, and Case Studies 0 索取号：作者：Mazzola、 Guerino.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers 0 索取号：作者：Monteiro、 Jos茅.、Leuken、 Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings 0 索取号：作者：Micciancio、 Daniele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：England、 David.、Palanque、 Philippe.、Vanderdonckt、 Jean.、Wild、 Peter J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Transformative Concepts for Drug Design: Target Wrapping [electronic resource] 0 索取号：作者：Fernandez、 Ariel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts [electronic resource] : Second IFIP WG 13.6 Conference, HWID 2009, Pune, India, October 7-8, 2009, Revised Selected Papers 0 索取号：作者：Katre、 Dinesh.、Orngreen、 Rikke.、Yammiyavar、 Pradeep.、Clemmensen、 Torkil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Analysis and Design of Nonlinear Control Systems [electronic resource] 0 索取号：作者：Cheng、 Daizhan.、Hu、 Xiaoming.、Shen、 Tielong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Elliptic Differential Equations [electronic resource] : Theory and Numerical Treatment 0 索取号：作者：Hackbusch、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory ofElasticity [electronic resource] 0 索取号：作者：Maceri、 Aldo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.