|
|
2361.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2362.
|
New World Situation: New Directions in Concurrent Engineering [electronic resource] : Proceedings of the 17th ISPE International Conference on Concurrent Engineering / edited by Jerzy Pokojski, Shuichi Fukuda, Józef Salwiński.
by Pokojski, Jerzy | Fukuda, Shuichi | Salwiński, Józef | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
2363.
|
X-Ray Computed Tomography in Biomedical Engineering [electronic resource] / by Robert Cierniak.
by Cierniak, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2364.
|
Networked Control Systems [electronic resource] / edited by Alberto Bemporad, Maurice Heemels, Mikael Johansson.
by Bemporad, Alberto | Heemels, Maurice | Johansson, Mikael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
2365.
|
Service Parts Management [electronic resource] : Demand Forecasting and Inventory Control / edited by Nezih Altay, Lewis A. Litteral.
by Altay, Nezih | Litteral, Lewis A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2366.
|
Stabilization of Navier–Stokes Flows [electronic resource] / by Viorel Barbu.
by Barbu, Viorel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2367.
|
Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio.
by Cafaro, Massimo | Aloisio, Giovanni | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2368.
|
Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence [electronic resource] / by W.H. Tang, Q.H. Wu.
by Tang, W.H | Wu, Q.H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2369.
|
Dynamic Management of Sustainable Development [electronic resource] : Methods for Large Technical Systems / by Zigurds Krishans, Anna Mutule, Yuri Merkuryev, Irina Oleinikova.
by Krishans, Zigurds | Mutule, Anna | Merkuryev, Yuri | Oleinikova, Irina | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2370.
|
Tandem Cold Metal Rolling Mill Control [electronic resource] : Using Practical Advanced Methods / by John Pittner, Marwan A. Simaan.
by Pittner, John | Simaan, Marwan A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2371.
|
Control of Integral Processes with Dead Time [electronic resource] / by Antonio Visioli, Qingchang Zhong.
by Visioli, Antonio | Zhong, Qingchang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2372.
|
Innovations in Power Systems Reliability [electronic resource] / edited by George Anders, Alfredo Vaccaro.
by Anders, George | Vaccaro, Alfredo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2373.
|
Manufacturing Process Design and Costing [electronic resource] : An Integrated Approach / by Simmy Grewal.
by Grewal, Simmy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2374.
|
Methodologies and Techniques for Advanced Maintenance [electronic resource] / by Lorenzo Fedele.
by Fedele, Lorenzo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2375.
|
Applied Nonparametric Statistics in Reliability [electronic resource] / by M. Luz Gámiz, K. B. Kulasekera, Nikolaos Limnios, Bo Henry Lindqvist.
by Gámiz, M. Luz | Kulasekera, K. B | Limnios, Nikolaos | Lindqvist, Bo Henry | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2376.
|
Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / edited by Chris Dale, Tom Anderson.
by Dale, Chris | Anderson, Tom | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2377.
|
Hydrogen Fuel Cells for Road Vehicles [electronic resource] / by Pasquale Corbo, Fortunato Migliardini, Ottorino Veneri.
by Corbo, Pasquale | Migliardini, Fortunato | Veneri, Ottorino | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2378.
|
Introduction to Discrete Event Simulation and Agent-based Modeling [electronic resource] : Voting Systems, Health Care, Military, and Manufacturing / by Theodore T. Allen.
by Allen, Theodore T | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2379.
|
Transmission Grid Security [electronic resource] : A PSA Approach / by Liisa Haarla, Mikko Koskinen, Ritva Hirvonen, Pierre-Etienne Labeau.
by Haarla, Liisa | Koskinen, Mikko | Hirvonen, Ritva | Labeau, Pierre-Etienne | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2380.
|
Membrane Reactors for Hydrogen Production Processes [electronic resource] / edited by Marcello De Falco, Luigi Marrelli, Gaetano Iaquaniello.
by De Falco, Marcello | Marrelli, Luigi | Iaquaniello, Gaetano | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
