FEEDBACK Smiley face

Your search returned 198 results. Subscribe to this search

|
181. Static Analysis [electronic resource] :25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /

by Podelski, Andreas [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

182. Information Systems Security [electronic resource] :14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /

by Ganapathy, Vinod [editor.] | Jaeger, Trent [editor.] | Shyamasundar, R.K [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

183. Engineering Trustworthy Software Systems [electronic resource] :Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /

by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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

184. Privacy Technologies and Policy [electronic resource] :6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /

by Medina, Manel [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [editor.] | Schweighofer, Erich [editor.] | Tsouroulas, Nikolaos [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

185. 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 I /

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

186. Foundations of Software Science and Computation Structures [electronic resource] :21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /

by Baier, Christel [editor.] | Dal Lago, Ugo [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

187. Lectures on Runtime Verification [electronic resource] :Introductory and Advanced Topics /

by Bartocci, Ezio [editor.] | Falcone, Yliès [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

188. Communication Technologies for Vehicles [electronic resource] :13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /

by Moreno García-Loygorri, Juan [editor.] | Pérez-Yuste, Antonio [editor.] | Briso, César [editor.] | Berbineau, Marion [editor.] | Pirovano, Alain [editor.] | Mendizábal, Jaizki [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

189. Functional and Logic Programming [electronic resource] :14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /

by Gallagher, John P [editor.] | Sulzmann, 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

190. Autonomous Control for a Reliable Internet of Services [electronic resource] :Methods, Models, Approaches, Techniques, Algorithms, and Tools /

by Ganchev, Ivan [editor.] | van der Mei, R. D [editor.] | van den Berg, Hans [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

191. Modelling Foundations and Applications [electronic resource] :14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /

by Pierantonio, Alfonso [editor.] | Trujillo, Salvador [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

192. Euro-Par 2017: Parallel Processing Workshops [electronic resource] :Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /

by Heras, Dora B [editor.] | Bougé, Luc [editor.] | Mencagli, Gabriele [editor.] | Jeannot, Emmanuel [editor.] | Sakellariou, Rizos [editor.] | Badia, Rosa M [editor.] | Barbosa, Jorge G [editor.] | Ricci, Laura [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [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

193. Cloud Computing – CLOUD 2018 [electronic resource] :11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /

by Luo, Min [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

194. Big Data – BigData 2018 [electronic resource] :7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /

by Chin, Francis Y. L [editor.] | Chen, C. L. Philip [editor.] | Khan, Latifur [editor.] | Lee, Kisung [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

195. Services – SERVICES 2018 [electronic resource] :14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /

by Yang, Alvin [editor.] | Kantamneni, Siva [editor.] | Li, Ying [editor.] | Dico, Awel [editor.] | Chen, Xiangang [editor.] | Subramanyan, Rajesh [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

196. Perspectives of System Informatics [electronic resource] :11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /

by Petrenko, Alexander K [editor.] | Voronkov, Andrei [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

197. Theory and Practice of Model Transformation [electronic resource] :11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /

by Rensink, Arend [editor.] | Sánchez Cuadrado, Jesús [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

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