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

Results
	5741.	Integrated Formal Methods [electronic resource] : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings / by Herber, Paula [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14300 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)
	5742.	Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7141 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)
	5743.	Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings / by Prescott, Tony T [editor.] Lepora, Nathan F [editor.] Mura, Anna [editor.] Verschure, Paul F.M.J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7375 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)
	5744.	Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II / by Alexander, Michael [editor.] D'Ambra, Pasqua [editor.] Belloum, Adam [editor.] Bosilca, George [editor.] Cannataro, Mario [editor.] Danelutto, Marco [editor.] Di Martino, Beniamino [editor.] Gerndt, Michael [editor.] Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] Scott, Stephen L [editor.] Traff, Jesper Larsson [editor.] Vallee, Geoffroy [editor.] Weidendorfer, Josef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7156 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)
	5745.	Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings / by Morgenstern, Leora [editor.] Stefaneas, Petros [editor.] Lévy, Francois [editor.] Wyner, Adam [editor.] Paschke, Adrian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8035 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5746.	Rule-Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings / by Palmirani, Monica [editor.] Sottara, Davide [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7018 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5747.	NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / by Brat, Guillaume [editor.] Rungta, Neha [editor.] Venet, Arnaud [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7871 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5748.	NETWORKING 2012 [electronic resource] : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I / by Bestak, Robert [editor.] Kencl, Lukas [editor.] Li, Li Erran [editor.] Widmer, Joerg [editor.] Yin, Hao [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7289 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)
	5749.	Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / by Van Gorp, Pieter [editor.] Ritter, Tom [editor.] Rose, Louis M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7949 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5750.	Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012, Proceedings / by Sadre, Ramin [editor.] Novotny, Jiri [editor.] Celeda, Pavel [editor.] Waldburger, Martin [editor.] Stiller, Burkhard [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7279 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)
	5751.	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Gnesi, Stefania [editor.] Latella, Diego [editor.] Treharne, Helen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7321 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)
	5752.	Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Cortellessa, Vittorio [editor.] Varró, Dániel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7793 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5753.	Computational Science and Its Applications -- ICCSA 2013 [electronic resource] : 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III / by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Carlini, Maurizio [editor.] Torre, Carmelo [editor.] Nguyen, Hong-Quang [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7973 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5754.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / by Berry, Daniel M [editor.] Franch, Xavier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6606 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5755.	Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings / by Strang, Thomas [editor.] Festag, Andreas [editor.] Vinel, Alexey [editor.] Mehmood, Rashid [editor.] Rico Garcia, Cristina [editor.] Röckl, Matthias [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6596 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5756.	Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis [electronic resource] : 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings / by Cardoso, M. Jorge [editor.] Arbel, Tal [editor.] Lee, Su-Lin [editor.] Cheplygina, Veronika [editor.] Balocco, Simone [editor.] Mateus, Diana [editor.] Zahnd, Guillaume [editor.] Maier-Hein, Lena [editor.] Demirci, Stefanie [editor.] Granger, Eric [editor.] Duong, Luc [editor.] Carbonneau, Marc-André [editor.] Albarqouni, Shadi [editor.] Carneiro, Gustavo [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10552 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)
	5757.	Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / by Beyer, Dirk [editor.] Boreale, Michele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7892 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5758.	Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / by Fischbach, Kai [editor.] Krieger, Udo R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8376 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)
	5759.	Business Process Management: Blockchain and Robotic Process Automation Forum [electronic resource] : BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6–10, 2021, Proceedings / by González Enríquez, José [editor.] Debois, Søren [editor.] Fettke, Peter [editor.] Plebani, Pierluigi [editor.] van de Weerd, Inge [editor.] Weber, Ingo [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 428 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)
	5760.	Enterprise Design, Operations, and Computing. EDOC 2022 Workshops [electronic resource] : IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4–7, 2022, Revised Selected Papers / by Sales, Tiago Prince [editor.] Proper, Henderik A [editor.] Guizzardi, Giancarlo [editor.] Montali, Marco [editor.] Maggi, Fabrizio Maria [editor.] Fonseca, Claudenir M [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 466 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)