Central Library

Your search returned 224 results. Subscribe to this search

Unhighlight Highlight
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario.

by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Improving Disaster Resilience and Mitigation - IT Means and Tools [electronic resource] / edited by Horia-Nicolai Teodorescu, Alan Kirschenbaum, Svetlana Cojocaru, Claude Bruderlein.

by Teodorescu, Horia-Nicolai [editor.] | Kirschenbaum, Alan [editor.] | Cojocaru, Svetlana [editor.] | Bruderlein, Claude [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Operations Research and Enterprise Systems [electronic resource] : Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / edited by Eric Pinson, Fernando Valente, Bego�na Vitoriano.

by Pinson, Eric [editor.] | Valente, Fernando [editor.] | Vitoriano, Bego�na [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Precision Assembly Technologies and Systems [electronic resource] : 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers / edited by Svetan Ratchev.

by Ratchev, Svetan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available