E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Computational Topology in Image Context	Massimo FerriPatrizio FrosiniClaudia LandiAndrea CerriBarbara Di Fabio	Springer	9783642302381	2012
Computational Visual Media	Shi-Min HuRalph R. Martin	Springer	9783642342639	2012
Computer Aided Design Modelling, Systems Engineering, CAD-Systems	Jose Encarnacao	Springer	_	1980
Computer Aided Learning and Instruction in Science and Engineering	Arantza D�az de Ilarraza S�nchezIsabel Fern�ndez de Castro	Springer	_	1996
Computer Aided Systems Theory - EUROCAST 2003	Roberto Moreno-D�azFranz Pichler	Springer	_	2003
Computer Aided Systems Theory - EUROCAST 2009	Roberto Moreno-D�azFranz PichlerAlexis Quesada-Arencibia	Springer	_	2009
Computer Aided Systems Theory - EUROCAST�99	Peter KopacekRoberto Moreno-D�azFranz Pichler	Springer	_	2000
Computer Aided Systems Theory � EUROCAST 2011	Roberto Moreno-D�azFranz PichlerAlexis Quesada-Arencibia	Springer	9783642275791	2012
Computer Aided Systems Theory � EUROCAST 2005	Roberto Moreno D�azFranz PichlerAlexis Quesada Arencibia	Springer	_	2005
Computer Aided Systems Theory � EUROCAST 2007	Roberto Moreno D�azFranz PichlerAlexis Quesada Arencibia	Springer	_	2007
Computer Aided Systems Theory � EUROCAST 2011	Roberto Moreno-D�azFranz PichlerAlexis Quesada-Arencibia	Springer	_	2012
Computer Aided Systems Theory � CAST '94	George J. KlirTuncer I. �ren	Springer	_	1996
Computer Aided Systems Theory � EUROCAST '89	F. PichlerR. Moreno-Diaz	Springer	_	1990
Computer Aided Systems Theory � EUROCAST '91	Franz PichlerRoberto Moreno D�az	Springer	_	1992
Computer Aided Systems Theory � EUROCAST '93	Franz PichlerRoberto Moreno D�az	Springer	_	1994
Computer Aided Systems Theory � EUROCAST '95	Franz PichlerRoberto Moreno D�azRudolf Albrecht	Springer	_	1996
Computer Aided Systems Theory � EUROCAST 2001	Roberto Moreno-D�azBruno BuchbergerJos� Luis Freire	Springer	_	2001
Computer Aided Systems Theory � EUROCAST'97	Franz PichlerRoberto Moreno-D�az	Springer	_	1997
Computer Aided Verification	Ganesh GopalakrishnanShaz Qadeer	Springer	_	2011
Computer Aided Verification	Warren A. Hunt Jr.Fabio Somenzi	Springer	_	2003
Computer Aided Verification	Kousha EtessamiSriram K. Rajamani	Springer	_	2005
Computer Aided Verification	Kim G. LarsenArne Skou	Springer	9783540467632	1992
Computer Aided Verification	Nicolas HalbwachsDoron Peled	Springer	_	1999
Computer Aided Verification	Aarti GuptaSharad Malik	Springer	_	2008
Computer Aided Verification	David L. Dill	Springer	_	1994