Your search returned 12 results. Subscribe to this search

|
1. Cyber-Physical Systems of Systems [electronic resource] :Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy / edited by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.

by Bondavalli, Andrea [editor.] | Bouchenak, Sara [editor.] | Kopetz, Hermann [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, 2016Online access: Click here to access online Availability: No items available

2. Policy-Oriented Technology Assessment Across Europe: Expanding Capacities [electronic resource] /edited by Lars Klüver, Rasmus Øjvind Nielsen, Marie Louise Jørgensen.

by Klüver, Lars [editor.] | Nielsen, Rasmus Øjvind [editor.] | Jørgensen, Marie Louise [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Palgrave Macmillan UK : Imprint: Palgrave Macmillan, 2016Online access: Click here to access online Availability: No items available

3. Fundamental Approaches to Software Engineering [electronic resource] :21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr.

by Russo, Alessandra [editor.] | Schürr, Andy [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, 2018Online access: Click here to access online Availability: No items available

4. Machine Learning for Cyber Physical Systems [electronic resource] :Selected papers from the International Conference ML4CPS 2018 / edited by Jürgen Beyerer, Christian Kühnert, Oliver Niggemann.

by Beyerer, Jürgen [editor.] | Kühnert, Christian [editor.] | Niggemann, Oliver [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 Vieweg, 2019Online access: Click here to access online Availability: No items available

5. Programming Languages and Systems [electronic resource] :27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed.

by Ahmed, Amal [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, 2018Online access: Click here to access online Availability: No items available

6. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman.

by Beyer, Dirk [editor.] | Huisman, Marieke [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, 2018Online access: Click here to access online Availability: No items available

7. Energy Efficient Servers [electronic resource] :Blueprints for Data Center Optimization / by Corey Gough, Ian Steiner, Winston Saunders.

by Gough, Corey [author.] | Steiner, Ian [author.] | Saunders, Winston [author.] | SpringerLink (Online service).

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

8. Heterogeneity, High Performance Computing, Self-Organization and the Cloud [electronic resource] /edited by Theo Lynn, John P. Morrison, David Kenny.

by Lynn, Theo [editor.] | Morrison, John P [editor.] | Kenny, David [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: Palgrave Macmillan, 2018Online access: Click here to access online Availability: No items available

9. Rethinking the Internet of Things [electronic resource] :A Scalable Approach to Connecting Everything / by Francis daCosta.

by daCosta, Francis [author.] | SpringerLink (Online service).

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

10. Supercomputing Frontiers [electronic resource] :4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / edited by Rio Yokota, Weigang Wu.

by Yokota, Rio [editor.] | Wu, Weigang [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, 2018Online access: Click here to access online Availability: No items available

11. Communicating, Networking: Interacting [electronic resource] :The International Year of Global Understanding - IYGU / edited by Margaret E. Robertson.

by Robertson, Margaret E [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, 2016Online access: Click here to access online Availability: No items available

12. Anti-fragile ICT Systems [electronic resource] /by Kjell Jørgen Hole.

by Hole, Kjell Jørgen [author.] | SpringerLink (Online service).

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

State House Library, Nigeria
State House Nigeria
Abuja, Federal Capital Territory, Nigeria.
Contact number: +2348055064818, +2348098381871
Library URL: https://library.statehouse.gov.ng

© State House Library, Nigeria. All rights reserved.