|
|
14361.
|
Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.
by Shukla, Sandeep K [editor.] | Talpin, Jean-Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14362.
|
Numerical Methods for Fluid Dynamics [electronic resource] : With Applications to Geophysics / by Dale R. Durran.
by Durran, Dale R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
14363.
|
Managed Grids and Cloud Systems in the Asia-Pacific Research Community [electronic resource] / edited by Simon C. Lin, Eric Yen.
by Lin, Simon C [editor.] | Yen, Eric [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
|
|
|
14364.
|
Extreme Low-Power Mixed Signal IC Design [electronic resource] : Subthreshold Source-Coupled Circuits / by Armin Tajalli, Yusuf Leblebici.
by Tajalli, Armin [author.] | Leblebici, Yusuf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
14365.
|
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] / by Gaurav Singh, Sandeep K. Shukla.
by Singh, Gaurav [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
14366.
|
Rheology of Complex Fluids [electronic resource] / edited by J. Murali Krishnan, Abhijit P. Deshpande, P. B. Sunil Kumar.
by Krishnan, J. Murali [editor.] | Deshpande, Abhijit P [editor.] | Kumar, P. B. Sunil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14367.
|
Handbook of Cloud Computing [electronic resource] / edited by Borko Furht, Armando Escalante.
by Furht, Borko [editor.] | Escalante, Armando [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14368.
|
Advanced Computing in Electron Microscopy [electronic resource] / by Earl J. Kirkland.
by Kirkland, Earl J [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
|
|
|
14369.
|
Temporal Information Systems in Medicine [electronic resource] / by Carlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar.
by Combi, Carlo [author.] | Keravnou-Papailiou, Elpida [author.] | Shahar, Yuval [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
|
|
|
14370.
|
Modeling Complex Systems [electronic resource] / by Nino Boccara.
by Boccara, Nino [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
14371.
|
ESD Design for Analog Circuits [electronic resource] / by Vladislav A. Vashchenko, Andrei Shibkov.
by Vashchenko, Vladislav A [author.] | Shibkov, Andrei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14372.
|
Biocompatible Polymeric Materials and Tourniquets for Wounds [electronic resource] / by Jan W. Gooch.
by Gooch, Jan W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14373.
|
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
|
|
|
14374.
|
The Power of Assertions in SystemVerilog [electronic resource] / by Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny.
by Cerny, Eduard [author.] | Dudani, Surrendra [author.] | Havlicek, John [author.] | Korchemny, Dmitry [author.] | SpringerLink (Online service). Edition: First.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14375.
|
Extreme Statistics in Nanoscale Memory Design [electronic resource] / edited by Amith Singhee, Rob A. Rutenbar.
by Singhee, Amith [editor.] | Rutenbar, Rob A [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14376.
|
Polymer Macro- and Micro-Gel Beads: Fundamentals and Applications [electronic resource] / by Amos Nussinovitch.
by Nussinovitch, Amos [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14377.
|
Patient-Specific Modeling of the Cardiovascular System [electronic resource] : Technology-Driven Personalized Medicine / edited by Roy C.P. Kerckhoffs.
by Kerckhoffs, Roy C.P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
14378.
|
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
|
|
|
14379.
|
Radioisotope Thin-Film Powered Microsystems [electronic resource] / by Rajesh Duggirala, Amit Lal, Shankar Radhakrishnan.
by Duggirala, Rajesh [author.] | Lal, Amit [author.] | Radhakrishnan, Shankar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
14380.
|
A Long View of Research and Practice in Operations Research and Management Science [electronic resource] : The Past and the Future / edited by ManMohan S. Sodhi, Christopher S. Tang.
by Sodhi, ManMohan S [editor.] | Tang, Christopher S [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
|
