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

Results
	521.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / by Enea, Constantin [editor.] Piskac, Ruzica [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11388 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)
	522.	Multi-Agent Systems [electronic resource] : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers / by Slavkovik, Marija [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11450 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)
	523.	Designing Thriving Systems [electronic resource] : Marrying Technical Rationality and Appreciative Systems / by Waguespack, Leslie J [author.] 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)
	524.	Evolutionary Learning: Advances in Theories and Algorithms [electronic resource] / by Zhou, Zhi-Hua [author.] Yu, Yang [author.] Qian, Chao [author.] 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)
	525.	Mobile, Secure, and Programmable Networking [electronic resource] : 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers / by Renault, Éric [editor.] Boumerdassi, Selma [editor.] Leghris, Cherkaoui [editor.] Bouzefrane, Samia [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 11557 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)
	526.	Models, Mindsets, Meta: The What, the How, and the Why Not? [electronic resource] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by Margaria, Tiziana [editor.] Graf, Susanne [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11200 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)
	527.	Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Janota, Mikoláš [editor.] Lynce, Inês [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11628 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)
	528.	Modeling Decisions for Artificial Intelligence [electronic resource] : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings / by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Pasi, Gabriella [editor.] Viviani, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11676 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)
	529.	Tests and Proofs [electronic resource] : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by Beyer, Dirk [editor.] Keller, Chantal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11823 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)
	530.	Provable Security [electronic resource] : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / by Steinfeld, Ron [editor.] Yuen, Tsz Hon [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11821 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)
	531.	Algorithmic Decision Theory [electronic resource] : 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings / by Pekeč, Saša [editor.] Venable, Kristen Brent [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11834 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)
	532.	Connectomics in NeuroImaging [electronic resource] : Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by Schirmer, Markus D [editor.] Venkataraman, Archana [editor.] Rekik, Islem [editor.] Kim, Minjeong [editor.] Chung, Ai Wern [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11848 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)
	533.	Simulation and Synthesis in Medical Imaging [electronic resource] : 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by Burgos, Ninon [editor.] Gooya, Ali [editor.] Svoboda, David [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11827 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)
	534.	Chinese Computational Linguistics [electronic resource] : 18th China National Conference, CCL 2019, Kunming, China, October 18–20, 2019, Proceedings / by Sun, Maosong [editor.] Huang, Xuanjing [editor.] Ji, Heng [editor.] Liu, Zhiyuan [editor.] Liu, Yang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11856 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)
	535.	Next Generation Computing Technologies on Computational Intelligence [electronic resource] : 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers / by Prateek, Manish [editor.] Sharma, Durgansh [editor.] Tiwari, Rajeev [editor.] Sharma, Rashmi [editor.] Kumar, Kamal [editor.] Kumar, Neeraj [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 922 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)
	536.	Graphical Models for Security [electronic resource] : 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / by Albanese, Massimiliano [editor.] Horne, Ross [editor.] Probst, Christian W [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11720 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)
	537.	Information Security Applications [electronic resource] : 20th International Conference, WISA 2019, Jeju Island, South Korea, August 21–24, 2019, Revised Selected Papers / by You, Ilsun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11897 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)
	538.	Intrusion Detection [electronic resource] : A Data Mining Approach / by Sengupta, Nandita [author.] Sil, Jaya [author.] SpringerLink (Online service) Series: Cognitive Intelligence and Robotics 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)
	539.	Information Security Theory and Practice [electronic resource] : 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11–12, 2019, Proceedings / by Laurent, Maryline [editor.] Giannetsos, Thanassis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12024 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)
	540.	Biomedical Engineering Systems and Technologies [electronic resource] : 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22–24, 2019, Revised Selected Papers / by Roque, Ana [editor.] Tomczyk, Arkadiusz [editor.] De Maria, Elisabetta [editor.] Putze, Felix [editor.] Moucek, Roman [editor.] Fred, Ana [editor.] Gamboa, Hugo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1211 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 8328 results.