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

Results
	1181.	Database Systems for Advanced Applications [electronic resource] : 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part I / by Jensen, Christian S [editor.] Lim, Ee-Peng [editor.] Yang, De-Nian [editor.] Lee, Wang-Chien [editor.] Tseng, Vincent S [editor.] Kalogeraki, Vana [editor.] Huang, Jen-Wei [editor.] Shen, Chih-Ya [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12681 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)
	1182.	Quality, Reliability, Security and Robustness in Heterogeneous Systems [electronic resource] : 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings / by Wu, Xi [editor.] Wu, Kaishun [editor.] Wang, Cong [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 381 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)
	1183.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	1184.	Algorithmic Decision Theory [electronic resource] : 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings / by Fotakis, Dimitris [editor.] Ríos Insua, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13023 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)
	1185.	Guide to Discrete Mathematics [electronic resource] : An Accessible Introduction to the History, Theory, Logic and Applications / by O'Regan, Gerard [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd 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)
	1186.	Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13030 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)
	1187.	Optimization, Learning Algorithms and Applications [electronic resource] : First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers / by Pereira, Ana I [editor.] Fernandes, Florbela P [editor.] Coelho, João P [editor.] Teixeira, João P [editor.] Pacheco, Maria F [editor.] Alves, Paulo [editor.] Lopes, Rui P [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1488 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)
	1188.	Progress in Cryptology – INDOCRYPT 2021 [electronic resource] : 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings / by Adhikari, Avishek [editor.] Küsters, Ralf [editor.] Preneel, Bart [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13143 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)
	1189.	Cryptology and Network Security [electronic resource] : 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / by Conti, Mauro [editor.] Stevens, Marc [editor.] Krenn, Stephan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13099 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)
	1190.	Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by De Angelis, Emanuele [editor.] Vanhoof, Wim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13290 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)
	1191.	Selected Areas in Cryptography [electronic resource] : 28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers / by AlTawy, Riham [editor.] Hülsing, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13203 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)
	1192.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 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)
	1193.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 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)
	1194.	Multilayer Networks: Analysis and Visualization [electronic resource] : Introduction to muxViz with R / by De Domenico, Manlio [author.] SpringerLink (Online service) 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)
	1195.	Advances in Cryptology – EUROCRYPT 2023 [electronic resource] : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I / by Hazay, Carmit [editor.] Stam, Martijn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14004 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1196.	Advances in Cryptology – EUROCRYPT 2023 [electronic resource] : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part V / by Hazay, Carmit [editor.] Stam, Martijn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14008 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1197.	Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part II / by Jin, Zhi [editor.] Jiang, Yuncheng [editor.] Buchmann, Robert Andrei [editor.] Bi, Yaxin [editor.] Ghiran, Ana-Maria [editor.] Ma, Wenjun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14118 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1198.	Advances in Databases and Information Systems [electronic resource] : 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023, Proceedings / by Abelló, Alberto [editor.] Vassiliadis, Panos [editor.] Romero, Oscar [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13985 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1199.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / by Petrucci, Laure [editor.] Sproston, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14138 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1200.	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / by Aloni, Maria [editor.] Bastiaanse, Harald [editor.] de Jager, Tikitu [editor.] Schulz, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6042 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 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.