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

Results
	401.	VLSI Design and Test [electronic resource] : 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers / by Sengupta, Anirban [editor.] Dasgupta, Sudeb [editor.] Singh, Virendra [editor.] Sharma, Rohit [editor.] Kumar Vishvakarma, Santosh [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1066 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)
	402.	Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / by Giunchiglia, Enrico [editor.] Tacchella, Armando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2919 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	403.	Information Search, Integration, and Personalization [electronic resource] : 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers / by Kotzinos, Dimitris [editor.] Laurent, Dominique [editor.] Spyratos, Nicolas [editor.] Tanaka, Yuzuru [editor.] Taniguchi, Rin-ichiro [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1040 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)
	404.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9700 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)
	405.	Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by Lipták, Zsuzsanna [editor.] Smyth, William F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9538 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)
	406.	Metadata and Semantic Research [electronic resource] : 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Sartori, Fabio [editor.] Siatri, Rania [editor.] Zervas, Marios [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 846 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)
	407.	Artificial Intelligence Applications and Innovations [electronic resource] : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings / by MacIntyre, John [editor.] Maglogiannis, Ilias [editor.] Iliadis, Lazaros [editor.] Pimenidis, Elias [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 559 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)
	408.	Case-Based Reasoning Research and Development [electronic resource] : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / by Watson, Ian [editor.] Weber, Rosina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12311 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)
	409.	Diagrammatic Representation and Inference [electronic resource] : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / by Basu, Amrita [editor.] Stapleton, Gem [editor.] Linker, Sven [editor.] Legg, Catherine [editor.] Manalo, Emmanuel [editor.] Viana, Petrucio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12909 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	410.	Runtime Verification [electronic resource] : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by Deshmukh, Jyotirmoy [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12399 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)
	411.	Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by Ribeiro, Leila [editor.] Lecomte, Thierry [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10090 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)
	412.	Systems Modelling and Management [electronic resource] : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by Babur, Önder [editor.] Denil, Joachim [editor.] Vogel-Heuser, Birgit [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1262 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)
	413.	Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Christakis, Maria [editor.] Polikarpova, Nadia [editor.] Duggirala, Parasara Sridhar [editor.] Schrammel, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12549 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)
	414.	Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / by Mezzina, Claudio Antares [editor.] Podlaski, Krzysztof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13354 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	415.	Information Technology in Bio- and Medical Informatics [electronic resource] : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings / by Renda, M. Elena [editor.] Bursa, Miroslav [editor.] Holzinger, Andreas [editor.] Khuri, Sami [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9832 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)
	416.	Conceptual Modeling [electronic resource] : 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings / by Trujillo, Juan C [editor.] Davis, Karen C [editor.] Du, Xiaoyong [editor.] Li, Zhanhuai [editor.] Ling, Tok Wang [editor.] Li, Guoliang [editor.] Lee, Mong Li [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11157 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)
	417.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan L. G [editor.] Liu, Kecheng [editor.] Bernardino, Jorge [editor.] Salgado, Ana [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 976 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)
	418.	Advanced Information Systems Engineering [electronic resource] : 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / by Giorgini, Paolo [editor.] Weber, Barbara [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11483 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)
	419.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by Ben Hedia, Belgacem [editor.] Chen, Yu-Fang [editor.] Liu, Gaiyun [editor.] Yu, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12519 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)
	420.	Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12669 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 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

Topics

Titles

Your search returned 1899 results.