FEEDBACK Smiley face

Your search returned 92 results. Subscribe to this search

|
81. 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

82. eScience on Distributed Computing Infrastructure [electronic resource] :Achievements of PLGrid Plus Domain-Specific Services and Tools /

by Bubak, Marian [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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, 2014.Online access: Click here to access online Availability: No items available

83. System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] :9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /

by Grabowski, Jens [editor.] | Herbold, Steffen [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, 2016.Online access: Click here to access online Availability: No items available

84. Developing Enterprise Chatbots [electronic resource] :Learning Linguistic Structures /

by Galitsky, Boris [author.] | 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, 2019Online access: Click here to access online Availability: No items available

85. Search-Based Software Engineering [electronic resource] :10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /

by Colanzi, Thelma Elita [editor.] | McMinn, Phil [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

86. 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

87. Computational Methods in Systems Biology [electronic resource] :16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /

by Češka, Milan [editor.] | Šafránek, David [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

88. Formal Methods: Foundations and Applications [electronic resource] :21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /

by Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [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

89. Computer Algebra in Scientific Computing [electronic resource] :20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [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

90. Large-Scale Scientific Computing [electronic resource] :11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /

by Lirkov, Ivan [editor.] | Margenov, Svetozar [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

91. 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

92. Computational Science and Its Applications – ICCSA 2018 [electronic resource] :18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V /

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Stankova, Elena [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [editor.] | Ryu, Yeonseung [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