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

Results
	541.	Artificial Life and Evolutionary Computation [electronic resource] : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers / by De Stefano, Claudio [editor.] Fontanella, Francesco [editor.] Vanneschi, Leonardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1780 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	542.	Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems [electronic resource] : 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings / by Schmorrow, Dylan D [editor.] Fidopiastis, Cali M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8534 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)
	543.	Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings / by Ren, Kui [editor.] Liu, Xue [editor.] Liang, Weifa [editor.] Xu, Ming [editor.] Jia, Xiaohua [editor.] XING, KAI [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7992 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	544.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10427 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)
	545.	Social Computing, Behavioral-Cultural Modeling, and Prediction [electronic resource] : 8th International Conference, SBP 2015, Washington, DC, USA, March 31-April 3, 2015. Proceedings / by Agarwal, Nitin [editor.] Xu, Kevin [editor.] Osgood, Nathaniel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9021 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)
	546.	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) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10816 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)
	547.	Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I / by Chen, Zhiyong [editor.] Mendes, Alexandre [editor.] Yan, Yamin [editor.] Chen, Shifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10984 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)
	548.	Information Security [electronic resource] : 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers / by Venter, Hein [editor.] Loock, Marianne [editor.] Coetzee, Marijke [editor.] Eloff, Mariki [editor.] Eloff, Jan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 973 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	549.	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) Series: Theoretical Computer Science and General Issues ; 11429 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	550.	Wireless Algorithms, Systems, and Applications [electronic resource] : 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings / by Biagioni, Edoardo S [editor.] Zheng, Yao [editor.] Cheng, Siyao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11604 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	551.	Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration [electronic resource] : 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by Zaphiris, Panayiotis [editor.] Ioannou, Andri [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11591 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	552.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	553.	High Performance Computing [electronic resource] : ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / by Weiland, Michèle [editor.] Juckeland, Guido [editor.] Alam, Sadaf [editor.] Jagode, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11887 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	554.	Intelligent Computing Systems [electronic resource] : Third International Symposium, ISICS 2020, Sharjah, United Arab Emirates, March 18–19, 2020, Proceedings / by Brito-Loeza, Carlos [editor.] Espinosa-Romero, Arturo [editor.] Martin-Gonzalez, Anabel [editor.] Safi, Asad [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1187 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	555.	Advances in Building Information Modeling [electronic resource] : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / by Ofluoglu, Salih [editor.] Ozener, Ozan Onder [editor.] Isikdag, Umit [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1188 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	556.	Formal Techniques for Safety-Critical Systems [electronic resource] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by Hasan, Osman [editor.] Mallet, Frédéric [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1165 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	557.	Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [electronic resource] / by Carreira, Paulo [editor.] Amaral, Vasco [editor.] Vangheluwe, Hans [editor.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	558.	Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : 5th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Revised Selected Papers, Part II / by Crimi, Alessandro [editor.] Bakas, Spyridon [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11993 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	559.	Intelligent Tutoring Systems [electronic resource] : 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings / by Kumar, Vivekanandan [editor.] Troussas, Christos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12149 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	560.	Cloud Computing and Services Science [electronic resource] : 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by Ferguson, Donald [editor.] Méndez Muñoz, Víctor [editor.] Pahl, Claus [editor.] Helfert, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1218 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 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 4964 results.