|
|
|
System-Level Validation [electronic resource] : High-Level Modeling and Directed Test Generation Techniques / by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.
by Chen, Mingsong [author.] | Qin, Xiaoke [author.] | Koo, Heon-Mo [author.] | Mishra, Prabhat [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Accelerated Lattice Boltzmann Model for Colloidal Suspensions [electronic resource] : Rheology and Interface Morphology / by Hassan Farhat, Joon Sang Lee, Sasidhar Kondaraju.
by Farhat, Hassan [author.] | Lee, Joon Sang [author.] | Kondaraju, Sasidhar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Coabsorbent and Thermal Recovery Compression Heat Pumping Technologies [electronic resource] / by Mihail-Dan Staicovici.
by Staicovici, Mihail-Dan [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Art and Illusionists [electronic resource] / by Nicholas Wade.
by Wade, Nicholas [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Performance Measurement with Fuzzy Data Envelopment Analysis [electronic resource] / edited by Ali Emrouznejad, Madjid Tavana.
by Emrouznejad, Ali [editor.] | Tavana, Madjid [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fr�anzle, Nicolas Markey.
by Fr�anzle, Martin [editor.] | Markey, Nicolas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong.
by Imamura, Kazayuki [editor.] | Usui, Shiro [editor.] | Shirao, Tomoaki [editor.] | Kasamatsu, Takuji [editor.] | Schwabe, Lars [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Flexible Adaptation in Cognitive Radios [electronic resource] / by Shujun Li, Miecyslaw Kokar.
by Li, Shujun [author.] | Kokar, Miecyslaw [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Determining Self-Preservation Capability in Pre-School Children [electronic resource] / by Anca Taciuc, Anne S. Dederichs.
by Taciuc, Anca [author.] | Dederichs, Anne S [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Motorbike Suspensions [electronic resource] : Modern design and optimisation / by Dario Croccolo, Massimiliano De Agostinis.
by Croccolo, Dario [author.] | Agostinis, Massimiliano De [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
The Helmholtz Equation Least Squares Method [electronic resource] : For Reconstructing and Predicting Acoustic Radiation / by Sean F. Wu.
by Wu, Sean F [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Cooperative Control of Multi-Agent Systems [electronic resource] : Optimal and Adaptive Design Approaches / by Frank L. Lewis, Hongwei Zhang, Kristian Hengster-Movric, Abhijit Das.
by Lewis, Frank L [author.] | Zhang, Hongwei [author.] | Hengster-Movric, Kristian [author.] | Das, Abhijit [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation [electronic resource] / by Oi Yee Kwong.
by Kwong, Oi Yee [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in ICT for Business, Industry and Public Sector [electronic resource] / edited by Maria Mach-Kr�ol, Celina M. Olszak, Tomasz Pe�ech-Pilichowski.
by Mach-Kr�ol, Maria [editor.] | M. Olszak, Celina [editor.] | Pe�ech-Pilichowski, Tomasz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Finite-Time Stability and Control [electronic resource] / by Francesco Amato, Roberto Ambrosino, Marco Ariola, Carlo Cosentino, Gianmaria De Tommasi.
by Amato, Francesco [author.] | Ambrosino, Roberto [author.] | Ariola, Marco [author.] | Cosentino, Carlo [author.] | De Tommasi, Gianmaria [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Behavior of Materials, Volume 1 [electronic resource] : Proceedings of the 2015 Annual Conference on Experimental and Applied Mechanics / edited by Bo Song, Leslie Lamberson, Daniel Casem, Jamie Kimberley.
by Song, Bo [editor.] | Lamberson, Leslie [editor.] | Casem, Daniel [editor.] | Kimberley, Jamie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Robust Intelligence and Trust in Autonomous Systems [electronic resource] / edited by Ranjeev Mittu, Donald Sofge, Alan Wagner, W.F. Lawless.
by Mittu, Ranjeev [editor.] | Sofge, Donald [editor.] | Wagner, Alan [editor.] | Lawless, W.F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Process-Aware Systems [electronic resource] : First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings / edited by Jian Cao, Lijie Wen, Xiao Liu.
by Cao, Jian [editor.] | Wen, Lijie [editor.] | Liu, Xiao [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
From Sounds to Music and Emotions [electronic resource] : 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers / edited by Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, S�lvi Ystad.
by Aramaki, Mitsuko [editor.] | Barthet, Mathieu [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, S�lvi [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes.
by Krishnaswamy, Smita [author.] | Markov, Igor L [author.] | Hayes, John P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
