Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	6321.	Combinatorial Image Analysis [electronic resource] : 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings / by Reulke, Ralf [editor.] Eckardt, Ulrich [editor.] Flach, Boris [editor.] Knauer, Uwe [editor.] Polthier, Konrad [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4040 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)
	6322.	Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings / by Schmitt, Jens B [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7201 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6323.	Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / by Murakami, Yohei [editor.] Lin, Donghui [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9442 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6324.	Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings / by Cox, Philip T [editor.] Plimmer, Beryl [editor.] Rodgers, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7352 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6325.	On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4803 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6326.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6327.	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)
	6328.	Information Security [electronic resource] : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings / by Samarati, Pierangela [editor.] Yung, Moti [editor.] Martinelli, Fabio [editor.] Ardagna, Claudio Agostino [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5735 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6329.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Butler, Michael [editor.] Raschke, Alexander [editor.] Hoang, Thai Son [editor.] Reichl, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10817 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)
	6330.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers / by Vetulani, Zygmunt [editor.] Mariani, Joseph [editor.] Kubis, Marek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10930 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)
	6331.	Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / by Deka, Bhabesh [editor.] Maji, Pradipta [editor.] Mitra, Sushmita [editor.] Bhattacharyya, Dhruba Kumar [editor.] Bora, Prabin Kumar [editor.] Pal, Sankar Kumar [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11941 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)
	6332.	Multimedia Technology and Enhanced Learning [electronic resource] : Second EAI International Conference, ICMTEL 2020, Leicester, UK, April 10-11, 2020, Proceedings, Part II / by Zhang, Yu-Dong [editor.] Wang, Shui-Hua [editor.] Liu, Shuai [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 327 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)
	6333.	Science and Technologies for Smart Cities [electronic resource] : 5th EAI International Summit, SmartCity360, Braga, Portugal, December 4-6, 2019, Proceedings / by Santos, Henrique [editor.] Pereira, Gabriela Viale [editor.] Budde, Matthias [editor.] Lopes, Sérgio F [editor.] Nikolic, Predrag [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 323 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)
	6334.	Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings / by Zhou, Jianying [editor.] Conti, Mauro [editor.] Ahmed, Chuadhry Mujeeb [editor.] Au, Man Ho [editor.] Batina, Lejla [editor.] Li, Zhou [editor.] Lin, Jingqiang [editor.] Losiouk, Eleonora [editor.] Luo, Bo [editor.] Majumdar, Suryadipta [editor.] Meng, Weizhi [editor.] Ochoa, Martín [editor.] Picek, Stjepan [editor.] Portokalidis, Georgios [editor.] Wang, Cong [editor.] Zhang, Kehuan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12418 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)
	6335.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings / by Torsello, Andrea [editor.] Rossi, Luca [editor.] Pelillo, Marcello [editor.] Biggio, Battista [editor.] Robles-Kelly, Antonio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12644 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)
	6336.	New Trends in Information and Communications Technology Applications [electronic resource] : 5th International Conference, NTICT 2021, Baghdad, Iraq, November 17–18, 2021, Proceedings / by Al-Bakry, Abbas M [editor.] Al-Mamory, Safaa O [editor.] Sahib, Mouayad A [editor.] George, Loay E [editor.] Aldhaibani, Jaafar A [editor.] Hasan, Haitham S [editor.] Oreku, George S [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1511 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)
	6337.	Security and Privacy in Social Networks and Big Data [electronic resource] : 8th International Symposium, SocialSec 2022, Xi'an, China, October 16–18, 2022, Proceedings / by Chen, Xiaofeng [editor.] Huang, Xinyi [editor.] Kutyłowski, Mirosław [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1663 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6338.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13703 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6339.	The Future of Heritage Science and Technologies: ICT and Digital Heritage [electronic resource] : Third International Conference, Florence Heri-Tech 2022, Florence, Italy, May 16–18, 2022, Proceedings / by Furferi, Rocco [editor.] Governi, Lapo [editor.] Volpe, Yary [editor.] Seymour, Kate [editor.] Pelagotti, Anna [editor.] Gherardini, Francesco [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1645 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)
	6340.	Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Lima, Lucas [editor.] Molnár, Vince [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13768 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)