FEEDBACK Smiley face

Your search returned 122 results. Subscribe to this search

|
101. 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 /

by Beyer, Dirk [editor.] | Huisman, Marieke [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

102. Human Centered Computing [electronic resource] :Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /

by Zu, Qiaohong [editor.] | Hu, Bo [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

103. Measurement, Modelling and Evaluation of Computing Systems [electronic resource] :19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings /

by German, Reinhard [editor.] | Hielscher, Kai-Steffen [editor.] | Krieger, Udo R [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

104. Internet Science [electronic resource] :INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers /

by Diplaris, Sotiris [editor.] | Satsiou, Anna [editor.] | Følstad, Asbjørn [editor.] | Vafopoulos, Michail [editor.] | Vilarinho, Thomas [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

105. Bioinspired Optimization Methods and Their Applications [electronic resource] :8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /

by Korošec, Peter [editor.] | Melab, Nouredine [editor.] | Talbi, El-Ghazali [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

106. Designing for a Digital and Globalized World [electronic resource] :13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings /

by Chatterjee, Samir [editor.] | Dutta, Kaushik [editor.] | Sundarraj, Rangaraja P [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

107. Artificial Intelligence and Soft Computing [electronic resource] :17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I /

by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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

108. Artificial Intelligence and Soft Computing [electronic resource] :17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II /

by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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

109. Computational Science – ICCS 2018 [electronic resource] :18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I /

by Shi, Yong [editor.] | Fu, Haohuan [editor.] | Tian, Yingjie [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael Harold [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [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

110. Computational Science – ICCS 2018 [electronic resource] :18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /

by Shi, Yong [editor.] | Fu, Haohuan [editor.] | Tian, Yingjie [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael Harold [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [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

111. Edge Computing – EDGE 2018 [electronic resource] :Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /

by Liu, Shijun [editor.] | Tekinerdogan, Bedir [editor.] | Aoyama, Mikio [editor.] | Zhang, Liang-Jie [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

112. Supercomputing Frontiers [electronic resource] :4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

by Yokota, Rio [editor.] | Wu, Weigang [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

113. Services Computing – SCC 2018 [electronic resource] :15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /

by Ferreira, João Eduardo [editor.] | Spanoudakis, George [editor.] | Ma, Yutao [editor.] | Zhang, Liang-Jie [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

114. Parallel Processing and Applied Mathematics [electronic resource] :12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Deelman, Ewa [editor.] | Karczewski, Konrad [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

115. Advances in Computer Entertainment Technology [electronic resource] :14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings /

by Cheok, Adrian David [editor.] | Inami, Masahiko [editor.] | Romão, Teresa [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

116. Computational Science – ICCS 2018 [electronic resource] :18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III /

by Shi, Yong [editor.] | Fu, Haohuan [editor.] | Tian, Yingjie [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael Harold [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [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

117. Machine Learning, Optimization, and Big Data [electronic resource] :Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /

by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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

118. Dynamic Logic. New Trends and Applications [electronic resource] :First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /

by Madeira, Alexandre [editor.] | Benevides, Mário [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

119. Software Engineering and Formal Methods [electronic resource] :SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /

by Cerone, Antonio [editor.] | Roveri, Marco [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

120. Graphical Models for Security [electronic resource] :4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /

by Liu, Peng [editor.] | Mauw, Sjouke [editor.] | Stolen, Ketil [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