Results of search for 'ccl=pb:Springer, and su-geo:Computer science and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Computer Safety, Reliability, and Security [electronic resource] : 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings / by Bondavalli, Andrea [editor.] Di Giandomenico, Felicita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8666 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)
	82.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / by Brandstädt, Andreas [editor.] Köhler, Ekkehard [editor.] Meer, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11159 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)
	83.	Digital Libraries for Open Knowledge [electronic resource] : 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings / by Méndez, Eva [editor.] Crestani, Fabio [editor.] Ribeiro, Cristina [editor.] David, Gabriel [editor.] Lopes, João Correia [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11057 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)
	84.	Computational Processing of the Portuguese Language [electronic resource] : 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings / by Villavicencio, Aline [editor.] Moreira, Viviane [editor.] Abad, Alberto [editor.] Caseli, Helena [editor.] Gamallo, Pablo [editor.] Ramisch, Carlos [editor.] Gonçalo Oliveira, Hugo [editor.] Paetzold, Gustavo Henrique [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11122 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)
	85.	Smart Blockchain [electronic resource] : First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11373 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)
	86.	Trusted Computing and Information Security [electronic resource] : 12th Chinese Conference, CTCIS 2018, Wuhan, China, October 18, 2018, Revised Selected Papers / by Zhang, Huanguo [editor.] Zhao, Bo [editor.] Yan, Fei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 960 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)
	87.	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)
	88.	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)
	89.	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)
	90.	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)
	91.	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)
	92.	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)
	93.	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)
	94.	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)
	95.	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)
	96.	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)
	97.	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)
	98.	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)
	99.	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)
	100.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7886 results.