FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

|
1. Optical Network Design and Modeling [electronic resource] :11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings /

by Tomkos, Ioannis [editor.] | Neri, Fabio [editor.] | Solé Pareta, Josep [editor.] | Masip Bruin, Xavier [editor.] | Sánchez Lopez, Sergi [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, 2007.Online access: Click here to access online Availability: No items available

2. Architecting Dependable Systems VI [electronic resource] /

by Lemos, Rogério de [editor.] | Fabre, Jean-Charles [editor.] | Gacek, Cristina [editor.] | Gadducci, Fabio [editor.] | Beek, Maurice ter [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, 2009.Online access: Click here to access online Availability: No items available

3. Economics of Grids, Clouds, Systems, and Services [electronic resource] :7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings /

by Altmann, Jörn [editor.] | Rana, Omer F [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, 2010.Online access: Click here to access online Availability: No items available

4. Selected Topics in Performance Evaluation and Benchmarking [electronic resource] :4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers /

by Nambiar, Raghunath [editor.] | Poess, Meikel [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, 2013.Online access: Click here to access online Availability: No items available

5. Runtime Verification [electronic resource] :18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /

by Colombo, Christian [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.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. Interactive Theorem Proving [electronic resource] :9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /

by Avigad, Jeremy [editor.] | Mahboubi, Assia [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in