FEEDBACK Smiley face

Your search returned 198 results. Subscribe to this search

|
161. Programming Languages and Systems [electronic resource] :28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /

by Caires, Luís [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

162. Cloud Computing – CLOUD 2019 [electronic resource] :12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /

by Da Silva, Dilma [editor.] | Wang, Qingyang [editor.] | Zhang, Liang-Jie [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

163. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /

by Vojnar, Tomáš [editor.] | Zhang, Lijun [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

164. Reuse in the Big Data Era [electronic resource] :18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings /

by Peng, Xin [editor.] | Ampatzoglou, Apostolos [editor.] | Bhowmik, Tanmay [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

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

166. Software Engineering and Formal Methods [electronic resource] :16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /

by Johnsen, Einar Broch [editor.] | Schaefer, Ina [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

167. Advanced Information Systems Engineering [electronic resource] :30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /

by Krogstie, John [editor.] | Reijers, Hajo 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

168. Formal Methods and Software Engineering [electronic resource] :20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /

by Sun, Jing [editor.] | Sun, Meng [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

169. Formal Methods [electronic resource] :22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /

by Havelund, Klaus [editor.] | Peleska, Jan [editor.] | Roscoe, Bill [editor.] | de Vink, Erik [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

170. Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] :4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /

by Feng, Xinyu [editor.] | Müller-Olm, Markus [editor.] | Yang, Zijiang [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

171. Programming Languages and Systems [electronic resource] :16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /

by Ryu, Sukyoung [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

172. NASA Formal Methods [electronic resource] :10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /

by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [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

173. Service-Oriented Computing – ICSOC 2017 Workshops [electronic resource] :ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /

by Braubach, Lars [editor.] | Murillo, Juan M [editor.] | Kaviani, Nima [editor.] | Lama, Manuel [editor.] | Burgueño, Loli [editor.] | Moha, Naouel [editor.] | Oriol, Marc [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

174. Verified Software. Theories, Tools, and Experiments [electronic resource] :10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /

by Piskac, Ruzica [editor.] | Rümmer, Philipp [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

175. Software Architecture [electronic resource] :12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /

by Cuesta, Carlos E [editor.] | Garlan, David [editor.] | Pérez, Jennifer [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

176. Symposium on Real-Time and Hybrid Systems [electronic resource] :Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /

by Jones, Cliff [editor.] | Wang, Ji [editor.] | Zhan, Naijun [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

177. Ad-hoc, Mobile, and Wireless Networks [electronic resource] :17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings /

by Montavont, Nicolas [editor.] | Papadopoulos, Georgios Z [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

178. Computer Performance Engineering [electronic resource] :15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /

by Bakhshi, Rena [editor.] | Ballarini, Paolo [editor.] | Barbot, Benoît [editor.] | Castel-Taleb, Hind [editor.] | Remke, Anne [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

179. Verification and Evaluation of Computer and Communication Systems [electronic resource] :12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /

by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [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

180. Virtual Reality and Augmented Reality [electronic resource] :15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings /

by Bourdot, Patrick [editor.] | Cobb, Sue [editor.] | Interrante, Victoria [editor.] | kato, Hirokazu [editor.] | Stricker, Didier [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