Your search returned 10 results.

Results
	1.	Distributed Network Systems [electronic resource] : From Concepts to Implementations / by Weijia Jia, Wanlei Zhou. by Jia, Weijia Zhou, Wanlei SpringerLink (Online service) Series: Network Theory and Applications ; 15 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 .J53 2005. Place hold Add to cart (remove)
	2.	SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K Gupta, Aarti SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 G36 2007. Place hold Add to cart (remove)
	3.	Curves and Surfaces for Computer Graphics [electronic resource] / by David Salomon. by Salomon, David SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 .S2434 2005. Place hold Add to cart (remove)
	4.	Tutorials on Emerging Methodologies and Applications in Operations Research [electronic resource] : Presented at Informs 2004, Denver, CO / edited by H J. G. by G, H J SpringerLink (Online service) Series: International Series in Operations Research & Management Science ; 76 Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science + Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: T57.6.A1 I54 2005. Place hold Add to cart (remove)
	5.	Design of Embedded Control Systems [electronic resource] / by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn. by Adamski, Marian Andrzej Karatkevich, Andrei Wegrzyn, Marek SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer US, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ223.M53 D47 2005. Place hold Add to cart (remove)
	6.	Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction [electronic resource] / by Tom Carson, Donna L. Baker. by Carson, Tom Baker, Donna L SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 C37 2006. Place hold Add to cart (remove)
	7.	Computer-Aided Innovation (CAI) [electronic resource] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / edited by Gaetano Cascini. by Cascini, Gaetano SpringerLink (Online service) Series: The International Federation for Information Processing ; 277 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: T173.8 C37 2005. Place hold Add to cart (remove)
	8.	Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl. by Mintz, Mike Ekendahl, Robert SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 .M56 2006. Place hold Add to cart (remove)
	9.	Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by Mintz, Mike Ekendahl, Robert SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 M56 2007 . Place hold Add to cart (remove)
	10.	A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Eisner, Cindy Fisman, Dana SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 E42 2006. Place hold Add to cart (remove)

Powered by Koha