|
|
Formal Verification of Simulink/Stateflow Diagrams [electronic resource] : A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao.
by Zhan, Naijun [author.] | Wang, Shuling [author.] | Zhao, Hengjun [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
User Acceptance of Mobile Notifications [electronic resource] / by Tilo Westermann.
by Westermann, Tilo [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Processing Medical Thermal Images [electronic resource] : Using Matlab® / by Robert Koprowski.
by Koprowski, Robert [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
Power Amplifiers for the S-, C-, X- and Ku-bands [electronic resource] : An EDA Perspective / by Mladen Božanić, Saurabh Sinha.
by Božanić, Mladen [author.] | Sinha, Saurabh [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Supply Chain Configuration [electronic resource] : Concepts, Solutions, and Applications / by Charu Chandra, Janis Grabis.
by Chandra, Charu [author.] | Grabis, Janis [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects [electronic resource] / by Nuno Lourenço, Ricardo Martins, Nuno Horta.
by Lourenço, Nuno [author.] | Martins, Ricardo [author.] | Horta, Nuno [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Smart Cities Atlas [electronic resource] : Western and Eastern Intelligent Communities / edited by Eleonora Riva Sanseverino, Raffaella Riva Sanseverino, Valentina Vaccaro.
by Riva Sanseverino, Eleonora [editor.] | Riva Sanseverino, Raffaella [editor.] | Vaccaro, Valentina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Opportunistic Spectrum Utilization in Vehicular Communication Networks [electronic resource] / by Nan Cheng, Xuemin (Sherman) Shen.
by Cheng, Nan [author.] | Shen, Xuemin (Sherman) [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Predicting User Performance and Errors [electronic resource] : Automated Usability Evaluation Through Computational Introspection of Model-Based User Interfaces / by Marc Halbrügge.
by Halbrügge, Marc [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
Earthquake Engineering for Nuclear Facilities [electronic resource] / edited by Masanori Hamada, Michiya Kuno.
by Hamada, Masanori [editor.] | Kuno, Michiya [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Twin Support Vector Machines [electronic resource] : Models, Extensions and Applications / by Jayadeva, Reshma Khemchandani, Suresh Chandra.
by Jayadeva [author.] | Khemchandani, Reshma [author.] | Chandra, Suresh [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
On-chip High-Voltage Generator Design [electronic resource] : Design Methodology for Charge Pumps / by Toru Tanzawa.
by Tanzawa, Toru [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Heat and Mass Transfer [electronic resource] / by Rajendra Karwa.
by Karwa, Rajendra [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Fundamentals of Modern Unsteady Aerodynamics [electronic resource] / by Ülgen Gülçat.
by Gülçat, Ülgen [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Applied Computing & Information Technology [electronic resource] / edited by Roger Lee.
by Lee, Roger [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Neural Correlates of Quality During Perception of Audiovisual Stimuli [electronic resource] / by Sebastian Arndt.
by Arndt, Sebastian [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Advanced Biometrics [electronic resource] / by David Zhang, Guangming Lu, Lei Zhang.
by Zhang, David [author.] | Lu, Guangming [author.] | Zhang, Lei [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
Advances in Human Aspects of Transportation [electronic resource] : Proceedings of the AHFE 2017 International Conference on Human Factors in Transportation, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA / edited by Neville A Stanton.
by Stanton, Neville A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
Application of Geometric Algebra to Electromagnetic Scattering [electronic resource] : The Clifford-Cauchy-Dirac Technique / by Andrew Seagar.
by Seagar, Andrew [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance [electronic resource] / by Xiaoming Chen.
by Chen, Xiaoming [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|