E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Types for Proofs and Programs	Thorsten AltenkirchConor McBride	Springer	_	2007
Types for Proofs and Programs	Herman GeuversFreek Wiedijk	Springer	_	2003
Types for Proofs and Programs	Stefano BerardiFerruccio DamianiUgo de�Liguoro	Springer	_	2009
Types for Proofs and Programs	Thorsten AltenkirchBernhard ReusWolfgang Naraschewski	Springer	_	1999
Types for Proofs and Programs	Henk BarendregtTobias Nipkow	Springer	_	1994
Types in Compilation	Xavier LeroyAtsushi Ohori	Springer	_	1998
Types in Compilation	Robert Harper	Springer	_	2001
Ubicomp 2001: Ubiquitous Computing	Gregory D. AbowdBarry BrumittSteven Shafer	Springer	_	2001
UbiComp 2002: Ubiquitous Computing	Gaetano BorrielloLars Erik Holmquist	Springer	_	2002
UbiComp 2003: Ubiquitous Computing	Anind K. DeyAlbrecht SchmidtJoseph F. McCarthy	Springer	_	2003
UbiComp 2004: Ubiquitous Computing	Nigel DaviesElizabeth D. MynattItiro Siio	Springer	_	2004
UbiComp 2005: Ubiquitous Computing	Michael BeiglStephen IntilleJun RekimotoHideyuki Tokuda	Springer	_	2005
UbiComp 2006: Ubiquitous Computing	Paul DourishAdrian Friday	Springer	_	2006
UbiComp 2007: Ubiquitous Computing	John KrummGregory D. AbowdAruna SeneviratneThomas Strang	Springer	_	2007
Ubiquitous Computing and Ambient Intelligence	Jos� BravoDiego L�pez-de-Ipi�aFrancisco Moya	Springer	9783642353772	2012
Ubiquitous Computing Systems	Hee Yong YounMinkoo KimHiroyuki Morikawa	Springer	_	2006
Ubiquitous Computing Systems	Hitomi MurakamiHideyuki NakashimaHideyuki TokudaMichiaki Yasumura	Springer	_	2005
Ubiquitous Computing Systems	Haruhisa IchikawaWe-Duke ChoIchiro SatohHee Yong Youn	Springer	_	2007
Ubiquitous Convergence Technology	Frank StajanoHyoung Joong KimJong-Suk ChaeSeong-Dong Kim	Springer	_	2007
Ubiquitous Intelligence and Computing	Zhiwen YuRamiro LiscanoGuanling ChenDaqing ZhangXingshe Zhou	Springer	_	2010
Ubiquitous Intelligence and Computing	Jianhua MaHai JinLaurence T. YangJeffrey J.-P. Tsai	Springer	_	2006
Ubiquitous Intelligence and Computing	Frode Eika SandnesYan ZhangChunming RongLaurence T. YangJianhua Ma	Springer	_	2008
Ubiquitous Intelligence and Computing	Ching-Hsien HsuLaurence T. YangJianhua MaChunsheng Zhu	Springer	_	2011
Ubiquitous Intelligence and Computing	Jadwiga IndulskaJianhua MaLaurence T. YangTheo UngererJiannong Cao	Springer	_	2007
Ubiquitous Intelligence and Computing	Daqing ZhangMarius PortmannAh-Hwee TanJadwiga Indulska	Springer	_	2009