搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书(共5501本)

	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings 0 索取号：作者：Serna、 Maria.、Shaltiel、 Ronen.、Jansen、 Klaus.、Rolim、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings 0 索取号：作者：Tempesti、 Gianluca.、Tyrrell、 Andy M.、Miller、 Julian F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Nanotribology and Nanomechanics I [electronic resource] : Measurement Techniques and Nanomechanics 0 索取号：作者：Bhushan、 Bharat.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers 0 索取号：作者：Ketter、 Wolfgang.、Poutr茅、 Han.、Sadeh、 Norman.、Shehory、 Onn.、Walsh、 William.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models 0 索取号：作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cryptographic Hardware and Embedded Systems, CHES 2010 [electronic resource] : 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings 0 索取号：作者：Mangard、 Stefan.、Standaert、 Fran莽ois-Xavier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Compiler Design [electronic resource] : Virtual Machines 0 索取号：作者：Wilhelm、 Reinhard.、Seidl、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 0 索取号：作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Integrated Greenhouse Systems for Mild Climates [electronic resource] : Climate Conditions, Design, Construction, Maintenance, Climate Control 0 索取号：作者：von Zabeltitz、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Entertainment for Education. Digital Techniques and Systems [electronic resource] : 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings 0 索取号：作者：Zhang、 Xiaopeng.、Zhong、 Shaochun.、Pan、 Zhigeng.、Wong、 Kevin.、Yun、 Ruwei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Advanced Techniques in Web Intelligence - I [electronic resource] 0 索取号：作者：Vel谩squez、 Juan D.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Towards Hardware-Intrinsic Security [electronic resource] : Foundations and Practice 0 索取号：作者：Sadeghi、 Ahmad-Reza.、Naccache、 David.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Digital Filters [electronic resource] : Basics and Design 0 索取号：作者：Schlichth盲rle、 Dietrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions 0 索取号：作者：Hazay、 Carmit.、Lindell、 Yehuda.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers 0 索取号：作者：Aloni、 Maria.、Bastiaanse、 Harald.、Jager、 Tikitu.、Schulz、 Katrin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings 0 索取号：作者：Serna、 Maria.、Shaltiel、 Ronen.、Jansen、 Klaus.、Rolim、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings 0 索取号：作者：Tempesti、 Gianluca.、Tyrrell、 Andy M.、Miller、 Julian F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Nanotribology and Nanomechanics I [electronic resource] : Measurement Techniques and Nanomechanics 0 索取号：作者：Bhushan、 Bharat.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers 0 索取号：作者：Ketter、 Wolfgang.、Poutr茅、 Han.、Sadeh、 Norman.、Shehory、 Onn.、Walsh、 William.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models 0 索取号：作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cryptographic Hardware and Embedded Systems, CHES 2010 [electronic resource] : 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings 0 索取号：作者：Mangard、 Stefan.、Standaert、 Fran莽ois-Xavier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Compiler Design [electronic resource] : Virtual Machines 0 索取号：作者：Wilhelm、 Reinhard.、Seidl、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 0 索取号：作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Integrated Greenhouse Systems for Mild Climates [electronic resource] : Climate Conditions, Design, Construction, Maintenance, Climate Control 0 索取号：作者：von Zabeltitz、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Entertainment for Education. Digital Techniques and Systems [electronic resource] : 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings 0 索取号：作者：Zhang、 Xiaopeng.、Zhong、 Shaochun.、Pan、 Zhigeng.、Wong、 Kevin.、Yun、 Ruwei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Advanced Techniques in Web Intelligence - I [electronic resource] 0 索取号：作者：Vel谩squez、 Juan D.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Towards Hardware-Intrinsic Security [electronic resource] : Foundations and Practice 0 索取号：作者：Sadeghi、 Ahmad-Reza.、Naccache、 David.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Digital Filters [electronic resource] : Basics and Design 0 索取号：作者：Schlichth盲rle、 Dietrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions 0 索取号：作者：Hazay、 Carmit.、Lindell、 Yehuda.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers 0 索取号：作者：Aloni、 Maria.、Bastiaanse、 Harald.、Jager、 Tikitu.、Schulz、 Katrin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.