Results of search for 'ccl=au:"SpringerLink (Online service)"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1241.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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)
	1242.	Empirical Studies on the Development of Executable Business Processes [electronic resource] / by Lübke, Daniel [editor.] Pautasso, Cesare [editor.] SpringerLink (Online service) 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)
	1243.	Data Science and Visual Computing [electronic resource] / by Earnshaw, Rae [author.] Dill, John [author.] Kasik, David [author.] SpringerLink (Online service) Series: SpringerBriefs in Advanced Information and Knowledge Processing 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)
	1244.	Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by Larsen, Kim Guldstrand [editor.] Willemse, Tim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11687 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)
	1245.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by André, Étienne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11750 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)
	1246.	Explainable, Transparent Autonomous Agents and Multi-Agent Systems [electronic resource] : First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by Calvaresi, Davide [editor.] Najjar, Amro [editor.] Schumacher, Michael [editor.] Främling, Kary [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11763 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)
	1247.	Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by Ölveczky, Peter Csaba [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11724 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)
	1248.	Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings / by Ohara, Kouzou [editor.] Bai, Quan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11669 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)
	1249.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / by Sau, Ignasi [editor.] Thilikos, Dimitrios M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11789 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)
	1250.	Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by Filiot, Emmanuel [editor.] Jungers, Raphaël [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11674 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)
	1251.	Software Engineering for Resilient Systems [electronic resource] : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / by Calinescu, Radu [editor.] Di Giandomenico, Felicita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11732 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)
	1252.	Emotional Design in Human-Robot Interaction [electronic resource] : Theory, Methods and Applications / by Ayanoğlu, Hande [editor.] Duarte, Emília [editor.] SpringerLink (Online service) Series: Human–Computer Interaction Series 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)
	1253.	The Art of High Performance Computing for Computational Science, Vol. 2 [electronic resource] : Advanced Techniques and Examples for Materials Science / by Geshi, Masaaki [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1254.	Cursive Script Text Recognition in Natural Scene Images [electronic resource] : Arabic Text Complexities / by Ahmed, Saad Bin [author.] Razzak, Muhammad Imran [author.] Yusof, Rubiyah [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1255.	Wearable Interaction [electronic resource] / by Motti, Vivian Genaro [author.] SpringerLink (Online service) Series: Human–Computer Interaction Series 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)
	1256.	Fundamentals of Software Startups [electronic resource] : Essential Engineering and Business Aspects / by Nguyen-Duc, Anh [editor.] Münch, Jürgen [editor.] Prikladnicki, Rafael [editor.] Wang, Xiaofeng [editor.] Abrahamsson, Pekka [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)
	1257.	Living with Computers [electronic resource] : The Digital World of Today and Tomorrow / by Cortada, James W [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Copernicus, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1258.	Intelligent Technologies and Applications [electronic resource] : Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers / by Bajwa, Imran Sarwar [editor.] Sibalija, Tatjana [editor.] Jawawi, Dayang Norhayati Abang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1198 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1259.	Human-Computer Interaction. Multimodal and Natural Interaction [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12182 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)
	1260.	Human-Computer Interaction. Human Values and Quality of Life [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12183 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

Item types

Series

Topics

Your search returned 16792 results.