搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

	Barriers and Biases in Computer-Mediated Knowledge Communication [electronic resource] : And How They May Be Overcome 0 索取号：作者：Bromme、 Rainer.、Hesse、 Friedrich W.、Spada、 Hans.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Humans-with-Media and the Reorganization of Mathematical Thinking [electronic resource] : Information and Communication Technologies, Modeling, Visualization and Experimentation 0 索取号：作者：Borba、 Marcelo C.、Villarreal、 M贸nica E.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	The Construction of New Mathematical Knowledge in Classroom Interaction [electronic resource] : An Epistemological Perspective 0 索取号：作者：Steinbring、 Heinz.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		History of Nordic Computing [electronic resource] : IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16鈥Ḭ 2003, Trondheim, Norway 0 索取号：作者：Bubenko、 Janis.、Impagliazzo、 John.、S酶lvberg、 Arne.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		High Performance Computational Science and Engineering [electronic resource] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Ng、 Michael K.、Doncescu、 Andrei.、Yang、 Laurence T.、Leng、 Tau.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Technology Enhanced Learning [electronic resource] : IFIP TC3 Technology Enhanced Learning Workshop (TeL鈥ഩ, World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Courtiat、 Jean-Pierre.、Davarakis、 Costas.、Villemur、 Thierry.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Information Technology and Educational Management in the Knowledge Society [electronic resource] : IFIP TC3 WG3.7, 6th International Working Conference on Information Technology in Educational Management (ITEM) July 11鈥ᵬ 2004, Las Palmas de Gran Canaria, Spain 0 索取号：作者：Tatnall、 Arthur.、Osorio、 Javier.、Visscher、 Adrie.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Broadband Satellite Comunication Systems and the Challenges of Mobility [electronic resource] : IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Gayraud、 Thierry.、Mazzella、 Michel.、Boavida、 Fernando.、Monteiro、 Edmundo.、Orvalho、 Jo茫o.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Computer Security in the 21st Century [electronic resource] 0 索取号：作者：Lee、 D. T.、Shieh、 S. P.、Tygar、 J. D.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Trusted Computing Platforms: Design and Applications [electronic resource] 0 索取号：作者：Smith、 Sean W.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Coding for Data and Computer Communications [electronic resource] 0 索取号：作者：Salomon、 David.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	The Next Wave in Computing, Optimization, and Decision Technologies [electronic resource] 0 索取号：作者：Golden、 Bruce.、Raghavan、 S.、Wasil、 Edward.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Online Storage Systems and Transportation Problems with Applications [electronic resource] : Optimization Models and Mathematical Solutions 0 索取号：作者：Kallrath、 Julia.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems [electronic resource] 0 索取号：作者：Peja艣、 Jerzy.、Piegat、 Andrzej.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Advances in Pervasive Computing and Networking [electronic resource] 0 索取号：作者：Szymanski、 Boleslaw K.、Yener、 B眉lent.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.

	Barriers and Biases in Computer-Mediated Knowledge Communication [electronic resource] : And How They May Be Overcome 0 索取号：作者：Bromme、 Rainer.、Hesse、 Friedrich W.、Spada、 Hans.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Humans-with-Media and the Reorganization of Mathematical Thinking [electronic resource] : Information and Communication Technologies, Modeling, Visualization and Experimentation 0 索取号：作者：Borba、 Marcelo C.、Villarreal、 M贸nica E.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	The Construction of New Mathematical Knowledge in Classroom Interaction [electronic resource] : An Epistemological Perspective 0 索取号：作者：Steinbring、 Heinz.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		History of Nordic Computing [electronic resource] : IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16鈥Ḭ 2003, Trondheim, Norway 0 索取号：作者：Bubenko、 Janis.、Impagliazzo、 John.、S酶lvberg、 Arne.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		High Performance Computational Science and Engineering [electronic resource] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Ng、 Michael K.、Doncescu、 Andrei.、Yang、 Laurence T.、Leng、 Tau.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Technology Enhanced Learning [electronic resource] : IFIP TC3 Technology Enhanced Learning Workshop (TeL鈥ഩ, World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Courtiat、 Jean-Pierre.、Davarakis、 Costas.、Villemur、 Thierry.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Information Technology and Educational Management in the Knowledge Society [electronic resource] : IFIP TC3 WG3.7, 6th International Working Conference on Information Technology in Educational Management (ITEM) July 11鈥ᵬ 2004, Las Palmas de Gran Canaria, Spain 0 索取号：作者：Tatnall、 Arthur.、Osorio、 Javier.、Visscher、 Adrie.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Broadband Satellite Comunication Systems and the Challenges of Mobility [electronic resource] : IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Gayraud、 Thierry.、Mazzella、 Michel.、Boavida、 Fernando.、Monteiro、 Edmundo.、Orvalho、 Jo茫o.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Computer Security in the 21st Century [electronic resource] 0 索取号：作者：Lee、 D. T.、Shieh、 S. P.、Tygar、 J. D.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Trusted Computing Platforms: Design and Applications [electronic resource] 0 索取号：作者：Smith、 Sean W.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Coding for Data and Computer Communications [electronic resource] 0 索取号：作者：Salomon、 David.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	The Next Wave in Computing, Optimization, and Decision Technologies [electronic resource] 0 索取号：作者：Golden、 Bruce.、Raghavan、 S.、Wasil、 Edward.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Online Storage Systems and Transportation Problems with Applications [electronic resource] : Optimization Models and Mathematical Solutions 0 索取号：作者：Kallrath、 Julia.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.
	Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems [electronic resource] 0 索取号：作者：Peja艣、 Jerzy.、Piegat、 Andrzej.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Advances in Pervasive Computing and Networking [electronic resource] 0 索取号：作者：Szymanski、 Boleslaw K.、Yener、 B眉lent.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.