Results of search for 'ccl=su:{Systems}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	861.	Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / by Lal, Akash [editor.] Tonetta, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13800 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	862.	Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Mavronicolas, Marios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13898 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	863.	String Processing and Information Retrieval [electronic resource] : 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings / by Iliopoulos, Costas [editor.] Puglisi, Simon [editor.] Yilmaz, Emine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9309 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	864.	Serious Games Development and Applications [electronic resource] : 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings / by Ma, Minhua [editor.] Oliveira, Manuel Fradinho [editor.] Baalsrud Hauge, Jannicke [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8778 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	865.	Foundations of Information and Knowledge Systems [electronic resource] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / by Gyssens, Marc [editor.] Simari, Guillermo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9616 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	866.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	867.	Database Systems for Advanced Applications [electronic resource] : 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I / by Renz, Matthias [editor.] Shahabi, Cyrus [editor.] Zhou, Xiaofang [editor.] Cheema, Muhammad Aamir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9049 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	868.	Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I / by Descoteaux, Maxime [editor.] Maier-Hein, Lena [editor.] Franz, Alfred [editor.] Jannin, Pierre [editor.] Collins, D. Louis [editor.] Duchesne, Simon [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10433 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	869.	Human-Computer Interaction: Interaction Technologies [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part II / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9170 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	870.	Design, User Experience, and Usability: Users and Interactions [electronic resource] : 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / by Marcus, Aaron [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9187 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	871.	Innovative Security Solutions for Information Technology and Communications [electronic resource] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / by Bica, Ion [editor.] Reyhanitabar, Reza [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10006 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	872.	Advances in Information and Computer Security [electronic resource] : 11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings / by Ogawa, Kazuto [editor.] Yoshioka, Katsunari [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9836 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	873.	Scale Space and Variational Methods in Computer Vision [electronic resource] : 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings / by Aujol, Jean-François [editor.] Nikolova, Mila [editor.] Papadakis, Nicolas [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9087 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	874.	Algorithms - ESA 2014 [electronic resource] : 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings / by Schulz, Andreas S [editor.] Wagner, Dorothea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8737 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	875.	On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Gaaloul, Walid [editor.] Papazoglou, Mike [editor.] Paschke, Adrian [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10574 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	876.	Internet of Vehicles. Technologies and Services for Smart Cities [electronic resource] : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings / by Peng, Sheng-Lung [editor.] Lee, Guan-Ling [editor.] Klette, Reinhard [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10689 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	877.	Machines, Computations, and Universality [electronic resource] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by Durand-Lose, Jérôme [editor.] Verlan, Sergey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10881 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	878.	Web Services – ICWS 2018 [electronic resource] : 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by Jin, Hai [editor.] Wang, Qingyang [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10966 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	879.	Social Computing and Social Media. Technologies and Analytics [electronic resource] : 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by Meiselwitz, Gabriele [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10914 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	880.	Search-Based Software Engineering [electronic resource] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / by Colanzi, Thelma Elita [editor.] McMinn, Phil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11036 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 10966 results.