Your search returned 134 results.

Results
21.	Image from Amazon.com	Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis. by Kastensmidt, Fernanda Lima [author.] Carro, Luigi [author.] Reis, Ricardo [author.] SpringerLink (Online service) Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
22.	Image from Amazon.com	A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. by DasGupta, Pallab [author.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
23.	Image from Amazon.com	Computational Intelligence in Fault Diagnosis [electronic resource] / edited by Vasile Palade, Lakhmi Jain, Cosmin Danut Bocaniala. by Palade, Vasile [editor.] Jain, Lakhmi [editor.] Bocaniala, Cosmin Danut [editor.] SpringerLink (Online service) Series: Advanced Information and Knowledge ProcessingPublisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
24.	Image from Amazon.com	Computer Simulation Studies in Condensed-Matter Physics XVIII [electronic resource] : Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 / edited by David P. Landau, Steven P. Lewis, Heinz-Bernd Schüttler. by Landau, David P [editor.] Lewis, Steven P [editor.] Schüttler, Heinz-Bernd [editor.] SpringerLink (Online service) Series: Springer Proceedings in Physics ; 105Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
25.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4144Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
26.	Image from Amazon.com	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine. by Vounckx, Johan [editor.] Azemard, Nadine [editor.] Maurine, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4148Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
27.	Image from Amazon.com	Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan. by Jesshope, Chris [editor.] Egan, Colin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4186Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
28.	Image from Amazon.com	Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] : 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings / edited by Louis Goubin, Mitsuru Matsui. by Goubin, Louis [editor.] Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4249Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
29.	Image from Amazon.com	High Performance Embedded Architectures and Compilers [electronic resource] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen De Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer. by Bosschere, Koen De [editor.] Kaeli, David [editor.] Stenström, Per [editor.] Whalley, David [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4367Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
30.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing [electronic resource] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4376Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
31.	Image from Amazon.com	Transactions on High-Performance Embedded Architectures and Compilers I [electronic resource] / edited by Per Stenström. by Stenström, Per [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4050Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
32.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner [editor.] Hermanns, Holger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4590Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
33.	Image from Amazon.com	Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho. by Choi, Lynn [editor.] Paek, Yunheung [editor.] Cho, Sangyeun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4697Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
34.	Image from Amazon.com	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings / edited by Nadine Azémard, Lars Svensson. by Azémard, Nadine [editor.] Svensson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4644Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
35.	Image from Amazon.com	Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus [editor.] Brandt, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4732Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
36.	Image from Amazon.com	Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Kang, Lishan [editor.] Liu, Yong [editor.] Zeng, Sanyou [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4684Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
37.	Image from Amazon.com	Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal [editor.] Verbauwhede, Ingrid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4727Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
38.	Image from Amazon.com	Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea [editor.] Brasileiro, Francisco [editor.] Rajsbaum, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4746Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
39.	Image from Amazon.com	Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. by Lim, Sung Kyu [author.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
40.	Image from Amazon.com	High-Level Synthesis [electronic resource] : From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec. by Coussy, Philippe [editor.] Morawiec, Adam [editor.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)