搜索包含 operating.systems 的图书 - 暨南大学图书馆

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

	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings 0 索取号：作者：Gorrieri、 Roberto.、Wehrheim、 Heike.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Information Systems Outsourcing [electronic resource] : Enduring Themes, New Perspectives and Global Challenges 0 索取号：作者：Hirschheim、 Rudy.、Heinzl、 Armin.、Dibbern、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Emergent Properties in Natural and Artificial Dynamical Systems [electronic resource] 0 索取号：作者：Aziz-Alaoui、 M.A.、Bertelle、 C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings 0 索取号：作者：Keller、 Alexander.、Martin-Flatin、 Jean-Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings 0 索取号：作者：Wade、 Vincent P.、Ashman、 Helen.、Smyth、 Barry.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Pulsed Power Systems [electronic resource] : Principles and Applications 0 索取号：作者：Bluhm、 Hansjoachim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advanced Information Systems Engineering [electronic resource] : 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedings 0 索取号：作者：Dubois、 Eric.、Pohl、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Flexible Query Answering Systems [electronic resource] : 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 Proceedings 0 索取号：作者：Larsen、 Henrik Legind.、Pasi、 Gabriella.、Ortiz-Arroyo、 Daniel.、Andreasen、 Troels.、Christiansen、 Henning.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings 0 索取号：作者：Kop、 Christian.、Fliedl、 G眉nther.、Mayr、 Heinrich C.、M茅tais、 Elisabeth.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Chaos and Stability in Planetary Systems [electronic resource] 0 索取号：作者：Dvorak、 Rudolf.、Freistetter、 Florian.、Kurths、 J眉rgen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Quantum Dynamics of Complex Molecular Systems [electronic resource] 0 索取号：作者：Micha、 David A.、Burghardt、 Irene.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Reduced Order Systems [electronic resource] 0 索取号：作者：Jalali、 Ali A.、Sims鈥젃raig S.、Famouri、 Parviz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Optimal Design of Complex Mechanical Systems [electronic resource] : With Applications to Vehicle Engineering 0 索取号：作者：Mastinu、 Giampiero.、Gobbi、 Massimiliano.、Miano、 Carlo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems 0 索取号：作者：Br盲unl、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Geographic Hypermedia [electronic resource] : Concepts and Systems 0 索取号：作者：Stefanakis、 Emmanuel.、Peterson、 Michael P.、Armenakis、 Costas.、Delis、 Vasilis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings 0 索取号：作者：Gorrieri、 Roberto.、Wehrheim、 Heike.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Information Systems Outsourcing [electronic resource] : Enduring Themes, New Perspectives and Global Challenges 0 索取号：作者：Hirschheim、 Rudy.、Heinzl、 Armin.、Dibbern、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Emergent Properties in Natural and Artificial Dynamical Systems [electronic resource] 0 索取号：作者：Aziz-Alaoui、 M.A.、Bertelle、 C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings 0 索取号：作者：Keller、 Alexander.、Martin-Flatin、 Jean-Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings 0 索取号：作者：Wade、 Vincent P.、Ashman、 Helen.、Smyth、 Barry.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Pulsed Power Systems [electronic resource] : Principles and Applications 0 索取号：作者：Bluhm、 Hansjoachim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advanced Information Systems Engineering [electronic resource] : 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedings 0 索取号：作者：Dubois、 Eric.、Pohl、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Flexible Query Answering Systems [electronic resource] : 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 Proceedings 0 索取号：作者：Larsen、 Henrik Legind.、Pasi、 Gabriella.、Ortiz-Arroyo、 Daniel.、Andreasen、 Troels.、Christiansen、 Henning.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings 0 索取号：作者：Kop、 Christian.、Fliedl、 G眉nther.、Mayr、 Heinrich C.、M茅tais、 Elisabeth.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Chaos and Stability in Planetary Systems [electronic resource] 0 索取号：作者：Dvorak、 Rudolf.、Freistetter、 Florian.、Kurths、 J眉rgen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Quantum Dynamics of Complex Molecular Systems [electronic resource] 0 索取号：作者：Micha、 David A.、Burghardt、 Irene.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Reduced Order Systems [electronic resource] 0 索取号：作者：Jalali、 Ali A.、Sims鈥젃raig S.、Famouri、 Parviz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Optimal Design of Complex Mechanical Systems [electronic resource] : With Applications to Vehicle Engineering 0 索取号：作者：Mastinu、 Giampiero.、Gobbi、 Massimiliano.、Miano、 Carlo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems 0 索取号：作者：Br盲unl、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Geographic Hypermedia [electronic resource] : Concepts and Systems 0 索取号：作者：Stefanakis、 Emmanuel.、Peterson、 Michael P.、Armenakis、 Costas.、Delis、 Vasilis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.