|
|
101.
|
SystemVerilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear, Greg Tumbush.
by Spear, Chris [author.] | Tumbush, Greg [author.] | SpringerLink (Online service). Edition: 3rd ed. 2012.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
102.
|
Computer Arithmetic [electronic resource] : Algorithms and Hardware Implementations / by Mircea Vlăduţiu.
by Vlăduţiu, Mircea [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
103.
|
Onboard Computers, Onboard Software and Satellite Operations [electronic resource] : An Introduction / by Jens Eickhoff.
by Eickhoff, Jens [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
104.
|
In-Memory Data Management [electronic resource] : Technology and Applications / by Hasso Plattner, Alexander Zeier.
by Plattner, Hasso [author.] | Zeier, Alexander [author.] | SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
105.
|
Fault Analysis in Cryptography [electronic resource] / edited by Marc Joye, Michael Tunstall.
by Joye, Marc [editor.] | Tunstall, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
106.
|
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia.
by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
107.
|
Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
by Furia, Carlo A [author.] | Mandrioli, Dino [author.] | Morzenti, Angelo [author.] | Rossi, Matteo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
108.
|
VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers / edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy.
by Mir, Salvador [editor.] | Tsui, Chi-Ying [editor.] | Reis, Ricardo [editor.] | Choy, Oliver C. S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
109.
|
Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco.
by Wagner, Ilya [author.] | Bertacco, Valeria [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
110.
|
In-Memory Data Management [electronic resource] : An Inflection Point for Enterprise Applications / by Hasso Plattner, Alexander Zeier.
by Plattner, Hasso [author.] | Zeier, Alexander [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
111.
|
Advances in Power Electronics and Instrumentation Engineering [electronic resource] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath.
by Das, Vinu V [editor.] | Thankachan, Nessy [editor.] | Debnath, Narayan C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
112.
|
Perspectives on Soviet and Russian Computing [electronic resource] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov.
by Impagliazzo, John [editor.] | Proydakov, Eduard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
113.
|
Quantifying and Exploring the Gap Between FPGAs and ASICs [electronic resource] : Measuring and Exploring / by Ian Kuon, Jonathan Rose.
by Kuon, Ian [author.] | Rose, Jonathan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
114.
|
Coupled Data Communication Techniques for High-Performance and Low-Power Computing [electronic resource] / edited by Ron Ho, Robert Drost.
by Ho, Ron [editor.] | Drost, Robert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
115.
|
Hardware Based Packet Classification for High Speed Internet Routers [electronic resource] / by Chad R. Meiners, Alex X. Liu, Eric Torng.
by Meiners, Chad R [author.] | Liu, Alex X [author.] | Torng, Eric [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
116.
|
Origins and Foundations of Computing [electronic resource] : In Cooperation with Heinz Nixdorf MuseumsForum / by Friedrich L. Bauer.
by Bauer, Friedrich L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
117.
|
Quantum Communication and Quantum Networking [electronic resource] : First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers / edited by Alexander Sergienko, Saverio Pascazio, Paolo Villoresi.
by Sergienko, Alexander [editor.] | Pascazio, Saverio [editor.] | Villoresi, Paolo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
118.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers / edited by José Monteiro, René Leuken.
by Monteiro, José [editor.] | Leuken, René [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
119.
|
Towards Hardware-Intrinsic Security [electronic resource] : Foundations and Practice / edited by Ahmad-Reza Sadeghi, David Naccache.
by Sadeghi, Ahmad-Reza [editor.] | Naccache, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
120.
|
Power Electronics and Instrumentation Engineering [electronic resource] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan.
by Das, Vinu V [editor.] | Stephen, Janahanlal [editor.] | Thankachan, Nessy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
