FEEDBACK Smiley face

Your search returned 187 results. Subscribe to this search

|
121. Wired/Wireless Internet Communications [electronic resource] :14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /

by Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Papadimitriou, Panagiotis [editor.] | Koucheryavy, Yevgeni [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

122. Distributed Applications and Interoperable Systems [electronic resource] :16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /

by Jelasity, Márk [editor.] | Kalyvianaki, Evangelia [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

123. Interactive Theorem Proving [electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /

by Blanchette, Jasmin Christian [editor.] | Merz, Stephan [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

124. Analytical and Stochastic Modelling Techniques and Applications [electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /

by Wittevrongel, Sabine [editor.] | Phung-Duc, Tuan [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

125. Human-Centered and Error-Resilient Systems Development [electronic resource] :IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /

by Bogdan, Cristian [editor.] | Gulliksen, Jan [editor.] | Sauer, Stefan [editor.] | Forbrig, Peter [editor.] | Winckler, Marco [editor.] | Johnson, Chris [editor.] | Palanque, Philippe [editor.] | Bernhaupt, Regina [editor.] | Kis, Filip [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

126. OpenMP: Memory, Devices, and Tasks [electronic resource] :12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /

by Maruyama, Naoya [editor.] | de Supinski, Bronis R [editor.] | Wahib, Mohamed [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

127. Computer Performance Engineering [electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /

by Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [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

128. Foundational and Practical Aspects of Resource Analysis [electronic resource] :4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /

by van Eekelen, Marko [editor.] | Dal Lago, Ugo [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

129. Runtime Verification [electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /

by Falcone, Yliès [editor.] | Sánchez, César [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

130. Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things [electronic resource] :8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, 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: Cham : Springer International Publishing : Imprint: Springer, 2017.Online access: Click here to access online Availability: No items available

131. Engineering Trustworthy Software Systems [electronic resource] :Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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, 2017.Online access: Click here to access online Availability: No items available

132. Mastering Scale and Complexity in Software Reuse [electronic resource] :16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /

by Botterweck, Goetz [editor.] | Werner, Claudia [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, 2017.Online access: Click here to access online Availability: No items available

133. Mobile, Secure, and Programmable Networking [electronic resource] :4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers /

by Renault, Éric [editor.] | Boumerdassi, Selma [editor.] | Bouzefrane, Samia [editor.] | SpringerLink (Online service).

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

134. Open Source Systems [electronic resource] :15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /

by Bordeleau, Francis [editor.] | Sillitti, Alberto [editor.] | Meirelles, Paulo [editor.] | Lenarduzzi, Valentina [editor.] | SpringerLink (Online service).

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

135. Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] :First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers /

by Strous, Leon [editor.] | Cerf, Vinton G [editor.] | SpringerLink (Online service).

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

136. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /

by Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | Kordon, Fabrice [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

137. Transactions on Pattern Languages of Programming IV [electronic resource] /

by Noble, James [editor.] | Johnson, Ralph [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [editor.] | SpringerLink (Online service).

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

138. Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] :39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /

by Pérez, Jorge A [editor.] | Yoshida, Nobuko [editor.] | SpringerLink (Online service).

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

139. Computational Science and Its Applications – ICCSA 2019 [electronic resource] :19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I /

by Misra, Sanjay [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Stankova, Elena [editor.] | Korkhov, Vladimir [editor.] | Torre, Carmelo [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [editor.] | SpringerLink (Online service).

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

140. Computational Science and Its Applications – ICCSA 2019 [electronic resource] :19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /

by Misra, Sanjay [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Stankova, Elena [editor.] | Korkhov, Vladimir [editor.] | Torre, Carmelo [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [editor.] | SpringerLink (Online service).

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


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