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

Results
	761.	Blockchain and Trustworthy Systems [electronic resource] : First International Conference, BlockSys 2019, Guangzhou, China, December 7–8, 2019, Proceedings / by Zheng, Zibin [editor.] Dai, Hong-Ning [editor.] Tang, Mingdong [editor.] Chen, Xiangping [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1156 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)
	762.	Advances in Building Information Modeling [electronic resource] : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / by Ofluoglu, Salih [editor.] Ozener, Ozan Onder [editor.] Isikdag, Umit [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1188 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)
	763.	Guide to Software Systems Development [electronic resource] : Connecting Novel Theory and Current Practice / by Rosen, Clive [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: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	764.	Simulation Science [electronic resource] : Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers / by Gunkelmann, Nina [editor.] Baum, Marcus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1199 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)
	765.	Unsupervised Learning in Space and Time [electronic resource] : A Modern Approach for Computer Vision using Graph-based Techniques and Deep Neural Networks / by Leordeanu, Marius [author.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition 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)
	766.	Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by Goubault-Larrecq, Jean [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12077 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)
	767.	Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / by Gabbrielli, Maurizio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12042 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)
	768.	Building Decision Support Systems [electronic resource] : using MiniZinc / by Wallace, Mark [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: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	769.	Formal Techniques for Safety-Critical Systems [electronic resource] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by Hasan, Osman [editor.] Mallet, Frédéric [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1165 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)
	770.	The Design of Rijndael [electronic resource] : The Advanced Encryption Standard (AES) / by Daemen, Joan [author.] Rijmen, Vincent [author.] SpringerLink (Online service) Series: Information Security and Cryptography Edition: 2nd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	771.	The Semantic Web [electronic resource] : 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings / by Harth, Andreas [editor.] Kirrane, Sabrina [editor.] Ngonga Ngomo, Axel-Cyrille [editor.] Paulheim, Heiko [editor.] Rula, Anisa [editor.] Gentile, Anna Lisa [editor.] Haase, Peter [editor.] Cochez, Michael [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12123 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)
	772.	Combinatorial Algorithms [electronic resource] : 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings / by Gąsieniec, Leszek [editor.] Klasing, Ralf [editor.] Radzik, Tomasz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12126 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)
	773.	Inductive Logic Programming [electronic resource] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / by Kazakov, Dimitar [editor.] Erten, Can [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11770 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)
	774.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by Gotsman, Alexey [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12136 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)
	775.	Trust, Privacy and Security in Digital Business [electronic resource] : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by Gritzalis, Stefanos [editor.] Weippl, Edgar R [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12395 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)
	776.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12747 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)
	777.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 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)
	778.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 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)
	779.	Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Niu, Ben [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13344 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)
	780.	Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings / by Braun, Tanya [editor.] Cristea, Diana [editor.] Jäschke, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13403 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

Places

Topics

Titles

Your search returned 8322 results.