FEEDBACK Smiley face

Your search returned 359 results. Subscribe to this search

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

342. Principles of Security and Trust [electronic resource] :7th International Conference, POST 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 Bauer, Lujo [editor.] | Küsters, Ralf [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

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

344. Image and Video Technology [electronic resource] :8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers /

by Paul, Manoranjan [editor.] | Hitoshi, Carlos [editor.] | Huang, Qingming [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

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

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

347. Web and Wireless Geographical Information Systems [electronic resource] :16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings /

by R. Luaces, Miguel [editor.] | Karimipour, Farid [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

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

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

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

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

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

353. High Performance Computing [electronic resource] :33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /

by Yokota, Rio [editor.] | Weiland, Michèle [editor.] | Keyes, David [editor.] | Trinitis, Carsten [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

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

355. Performance Evaluation and Benchmarking for the Analytics Era [electronic resource] :9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers /

by Nambiar, Raghunath [editor.] | Poess, Meikel [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

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

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

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

359. Social Computing and Social Media. User Experience and Behavior [electronic resource] :10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /

by Meiselwitz, Gabriele [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