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

Results
	21.	Computer Security. ESORICS 2022 International Workshops [electronic resource] : CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26–30, 2022, Revised Selected Papers / by Katsikas, Sokratis [editor.] Cuppens, Frédéric [editor.] Kalloniatis, Christos [editor.] Mylopoulos, John [editor.] Pallas, Frank [editor.] Pohle, Jörg [editor.] Sasse, M. Angela [editor.] Abie, Habtamu [editor.] Ranise, Silvio [editor.] Verderame, Luca [editor.] Cambiaso, Enrico [editor.] Maestre Vidal, Jorge [editor.] Sotelo Monge, Marco Antonio [editor.] Albanese, Massimiliano [editor.] Katt, Basel [editor.] Pirbhulal, Sandeep [editor.] Shukla, Ankur [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13785 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 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)
	23.	Informatics Education - The Bridge between Using and Understanding Computers [electronic resource] : International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006, Proceedings / by Mittermeir, Roland [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4226 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Higher-Level Hardware Synthesis [electronic resource] / by Sharp, Richard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2963 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings / by Julisch, Klaus [editor.] Kruegel, Christopher [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3548 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Digital Watermarking [electronic resource] : 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings / by Barni, Mauro [editor.] Cox, Ingemar [editor.] Kalker, Ton [editor.] Kim, Hyoung Joong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3710 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Computer Security - ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / by Gritzalis, Dimitris [editor.] Preneel, Bart [editor.] Theoharidou, Marianthi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6345 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)
	28.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / by D'Ambra, Pasqua [editor.] Guarracino, Mario [editor.] Talia, Domenico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6271 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)
	29.	Service Assurance with Partial and Intermittent Resources [electronic resource] : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings / by Dini, Petre [editor.] Lorenz, Pascal [editor.] Neuman De Souza, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3126 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	Law and the Semantic Web [electronic resource] : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications / by Benjamins, V. Richard [editor.] Casanovas, Pompeu [editor.] Breuker, Joost [editor.] Gangemi, Aldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3369 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Information Technologies and Mathematical Modelling. Queueing Theory and Applications [electronic resource] : 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers / by Dudin, Alexander [editor.] Nazarov, Anatoly [editor.] Moiseev, Alexander [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1109 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)
	32.	Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / by Goel, Ashok K [editor.] Jamnik, Mateja [editor.] Narayanan, N Hari [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6170 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)
	33.	Artificial Intelligence Research [electronic resource] : 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4–8, 2023, Proceedings / by Pillay, Anban [editor.] Jembere, Edgar [editor.] J. Gerber, Aurona [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1976 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)
	34.	KI 2022: Advances in Artificial Intelligence [electronic resource] : 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings / by Bergmann, Ralph [editor.] Malburg, Lukas [editor.] Rodermund, Stephanie C [editor.] Timm, Ingo J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13404 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)
	35.	Computer Security. ESORICS 2021 International Workshops [electronic resource] : CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4–8, 2021, Revised Selected Papers / by Katsikas, Sokratis [editor.] Lambrinoudakis, Costas [editor.] Cuppens, Nora [editor.] Mylopoulos, John [editor.] Kalloniatis, Christos [editor.] Meng, Weizhi [editor.] Furnell, Steven [editor.] Pallas, Frank [editor.] Pohle, Jörg [editor.] Sasse, M. Angela [editor.] Abie, Habtamu [editor.] Ranise, Silvio [editor.] Verderame, Luca [editor.] Cambiaso, Enrico [editor.] Maestre Vidal, Jorge [editor.] Sotelo Monge, Marco Antonio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13106 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)
	36.	Smart Card Programming and Security [electronic resource] : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings / by Attali, Isabelle [editor.] Jensen, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2140 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	E-Commerce and Web Technologies [electronic resource] : Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings / by Bauknecht, Kurt [editor.] Tjoa, A Min [editor.] Quirchmayr, Gerald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2455 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	38.	Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / by Rao, Sathya [editor.] Sletta, Kaare I [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1938 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	Recent Advances in Intrusion Detection [electronic resource] : 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings / by Lee, Wenke [editor.] Me, Ludovic [editor.] Wespi, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2212 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Recent Advances in Intrusion Detection [electronic resource] : Third International Workshop, RAID 2000 Toulouse, France, October 2-4, 2000 Proceedings / by Debar, Herve [editor.] Me, Ludovic [editor.] Wu, S. Felix [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1907 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 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

Your search returned 43 results.