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

Results
	5841.	Programming-Based Formal Languages and Automata Theory [electronic resource] : Design, Implement, Validate, and Prove / by Morazán, Marco T [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5842.	Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by César, Eduardo [editor.] Alexander, Michael [editor.] Streit, Achim [editor.] Traff, Jesper Larsson [editor.] Cérin, Christophe [editor.] Knüpfer, Andreas [editor.] Kranzlmüller, Dieter [editor.] Jha, Shantenu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5415 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)
	5843.	Web Information Systems Engineering – WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / by Wang, Jianyong [editor.] Cellary, Wojciech [editor.] Wang, Dingding [editor.] Wang, Hua [editor.] Chen, Shu-Ching [editor.] Li, Tao [editor.] Zhang, Yanchun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9418 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5844.	Distributed Computing in Sensor Systems [electronic resource] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings / by Krishnamachari, Bhaskar [editor.] Suri, Subhash [editor.] Heinzelman, Wendi [editor.] Mitra, Urbashi [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5516 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)
	5845.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / by Altmann, Jörn [editor.] Silaghi, Gheorghe Cosmin [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9512 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)
	5846.	Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / by Fantechi, Alessandro [editor.] Pelliccione, Patrizio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9274 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5847.	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)
	5848.	Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings / by Münch, Jürgen [editor.] Abrahamsson, Pekka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4589 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)
	5849.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers / by Obermaisser, Roman [editor.] Nah, Yunmook [editor.] Puschner, Peter [editor.] Rammig, Franz J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4761 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)
	5850.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / by Altmann, Jörn [editor.] Vanmechelen, Kurt [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8914 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)
	5851.	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)
	5852.	Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings / by Teixeira, Renata [editor.] Moon, Sue B [editor.] Uhlig, Steve [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5448 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)
	5853.	On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Gaaloul, Walid [editor.] Papazoglou, Mike [editor.] Paschke, Adrian [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10573 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5854.	Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by Kuhrmann, Marco [editor.] Schneider, Kurt [editor.] Pfahl, Dietmar [editor.] Amasaki, Sousuke [editor.] Ciolkowski, Marcus [editor.] Hebig, Regina [editor.] Tell, Paolo [editor.] Klünder, Jil [editor.] Küpper, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11271 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)
	5855.	Applied Computing to Support Industry: Innovation and Technology [electronic resource] : First International Conference, ACRIT 2019, Ramadi, Iraq, September 15–16, 2019, Revised Selected Papers / by Khalaf, Mohammed I [editor.] Al-Jumeily, Dhiya [editor.] Lisitsa, Alexei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1174 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)
	5856.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [electronic resource] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by Demazeau, Yves [editor.] Holvoet, Tom [editor.] Corchado, Juan M [editor.] Costantini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12092 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)
	5857.	Bias and Social Aspects in Search and Recommendation [electronic resource] : First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, Proceedings / by Boratto, Ludovico [editor.] Faralli, Stefano [editor.] Marras, Mirko [editor.] Stilo, Giovanni [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1245 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)
	5858.	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)
	5859.	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)
	5860.	Artificial Intelligence and Security [electronic resource] : 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II / by Sun, Xingming [editor.] Wang, Jinwei [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1253 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7031 results.