Results of search for 'ccl=su:{Computer science and engineering}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1201.	Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / by Bosse, Tibor [editor.] Geller, Armando [editor.] Jonker, Catholijn M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6532 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1202.	Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Schobbens, Pierre-Yves [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4409 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1203.	Future Data and Security Engineering [electronic resource] : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings / by Dang, Tran Khanh [editor.] Wagner, Roland [editor.] Küng, Josef [editor.] Thoai, Nam [editor.] Takizawa, Makoto [editor.] Neuhold, Erich J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10646 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)
	1204.	Advances in Artificial Intelligence [electronic resource] : 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings / by Bagheri, Ebrahim [editor.] Cheung, Jackie C.K [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10832 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)
	1205.	Model Checking Software [electronic resource] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by Biondi, Fabrizio [editor.] Given-Wilson, Thomas [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11636 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)
	1206.	Distributed Computing for Emerging Smart Networks [electronic resource] : First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers / by Jemili, Imen [editor.] Mosbah, Mohamed [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1130 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)
	1207.	Bio-inspired Computing: Theories and Applications [electronic resource] : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II / by Pan, Linqiang [editor.] Liang, Jing [editor.] Qu, Boyang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1160 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)
	1208.	Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by Sekerinski, Emil [editor.] Moreira, Nelma [editor.] Oliveira, José N [editor.] Ratiu, Daniel [editor.] Guidotti, Riccardo [editor.] Farrell, Marie [editor.] Luckcuck, Matt [editor.] Marmsoler, Diego [editor.] Campos, José [editor.] Astarte, Troy [editor.] Gonnord, Laure [editor.] Cerone, Antonio [editor.] Couto, Luis [editor.] Dongol, Brijesh [editor.] Kutrib, Martin [editor.] Monteiro, Pedro [editor.] Delmas, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12232 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)
	1209.	Recent Advances in Data Science [electronic resource] : Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers / by Han, Henry [editor.] Wei, Tie [editor.] Liu, Wenbin [editor.] Han, Fei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1099 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)
	1210.	Wireless Sensor Networks [electronic resource] : 14th China Conference, CWSN 2020, Dunhuang, China, September 18–21, 2020, Revised Selected Papers / by Hao, Zhanjun [editor.] Dang, Xiaochao [editor.] Chen, Honghong [editor.] Li, Fenfang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1321 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)
	1211.	SOFSEM 2021: Theory and Practice of Computer Science [electronic resource] : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by Bureš, Tomáš [editor.] Dondi, Riccardo [editor.] Gamper, Johann [editor.] Guerrini, Giovanna [editor.] Jurdziński, Tomasz [editor.] Pahl, Claus [editor.] Sikora, Florian [editor.] Wong, Prudence W.H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12607 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)
	1212.	NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by Dutle, Aaron [editor.] Moscato, Mariano M [editor.] Titolo, Laura [editor.] Muñoz, César A [editor.] Perez, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12673 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)
	1213.	Provable and Practical Security [electronic resource] : 15th International Conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021, Proceedings / by Huang, Qiong [editor.] Yu, Yu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13059 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)
	1214.	Artificial Intelligence for Communications and Networks [electronic resource] : Third EAI International Conference, AICON 2021, Xining, China, October 23–24, 2021, Proceedings, Part I / by Wang, Xianbin [editor.] Wong, Kai-Kit [editor.] Chen, Shanji [editor.] Liu, Mingqian [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 396 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)
	1215.	Theory and Practice of Natural Computing [electronic resource] : 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by Aranha, Claus [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13082 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)
	1216.	Theory of Cryptography [electronic resource] : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part I / by Nissim, Kobbi [editor.] Waters, Brent [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13042 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)
	1217.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by Johnen, Colette [editor.] Schiller, Elad Michael [editor.] Schmid, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13046 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)
	1218.	Formal Methods [electronic resource] : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by Huisman, Marieke [editor.] Păsăreanu, Corina [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13047 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)
	1219.	Introduction to Discrete Event Systems [electronic resource] / by Cassandras, Christos G [author.] Lafortune, Stéphane [author.] SpringerLink (Online service) Edition: 3rd 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)
	1220.	WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings / by Mutzel, Petra [editor.] Rahman, Md. Saidur [editor.] Slamin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13174 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.