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

Results
	3601.	Sustainable Development through Machine Learning, AI and IoT [electronic resource] : First International Conference, ICSD 2023, Delhi, India, July 15–16, 2023, Revised Selected Papers / by Whig, Pawan [editor.] Silva, Nuno [editor.] Elngar, Ahmed A [editor.] Aneja, Nagender [editor.] Sharma, Pavika [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1939 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)
	3602.	Service-Oriented Computing [electronic resource] : 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II / by Monti, Flavia [editor.] Rinderle-Ma, Stefanie [editor.] Ruiz Cortés, Antonio [editor.] Zheng, Zibin [editor.] Mecella, Massimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14420 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)
	3603.	ISTQB® Certified Tester Foundation Level [electronic resource] : A Self-Study Guide Syllabus v4.0 / by Stapp, Lucjan [author.] Roman, Adam [author.] Pilaeten, Michaël [author.] SpringerLink (Online service) 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)
	3604.	Ontology-Based Evolution of Domain-Oriented Languages [electronic resource] : Models, Methods and Tools for User Interface Design in General-Purpose Software Systems / by Babkin, Eduard [author.] Ulitin, Boris [author.] SpringerLink (Online service) 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)
	3605.	Virtual Reality and Mixed Reality [electronic resource] : 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 – December 1, 2023, Proceedings / by Zachmann, Gabriel [editor.] Walczak, Krzysztof [editor.] Niamut, Omar A [editor.] Johnsen, Kyle [editor.] Stuerzlinger, Wolfgang [editor.] Alcañiz-Raya, Mariano [editor.] Welch, Greg [editor.] Bourdot, Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14410 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)
	3606.	The Practice of Enterprise Modeling [electronic resource] : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings / by Almeida, João Paulo A [editor.] Kaczmarek-Heß, Monika [editor.] Koschmider, Agnes [editor.] Proper, Henderik A [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 497 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)
	3607.	Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by Yao, Xin [editor.] Burke, Edmund [editor.] Lozano, Jose A [editor.] Smith, Jim [editor.] Merelo-Guervós, Juan J [editor.] Bullinaria, John A [editor.] Rowe, Jonathan [editor.] Tino, Peter [editor.] Kabán, Ata [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3242 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)
	3608.	A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Kovalev, Mikhail [author.] Müller, Silvia M [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9000 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)
	3609.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers / by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5798 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)
	3610.	Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / by Carretero, Jesus [editor.] Garcia-Blas, Javier [editor.] Gergel, Victor [editor.] Voevodin, Vladimir [editor.] Meyerov, Iosif [editor.] Rico-Gallego, Juan A [editor.] Díaz-Martín, Juan C [editor.] Alonso, Pedro [editor.] Durillo, Juan [editor.] Garcia Sánchez, José Daniel [editor.] Lastovetsky, Alexey L [editor.] Marozzo, Fabrizio [editor.] Liu, Qin [editor.] Bhuiyan, Zakirul Alam [editor.] Fürlinger, Karl [editor.] Weidendorfer, Josef [editor.] Gracia, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10049 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)
	3611.	Collaboration and Technology [electronic resource] : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings / by Baloian, Nelson [editor.] Zorian, Yervant [editor.] Taslakian, Perouz [editor.] Shoukouryan, Samvel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9334 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)
	3612.	Algorithms, Probability, Networks, and Games [electronic resource] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by Zaroliagis, Christos [editor.] Pantziou, Grammati [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9295 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)
	3613.	Advances in Multimedia Information Processing -- PCM 2010, Part II [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010 Proceedings / by Qiu, Guoping [editor.] Lam, Kin Man [editor.] Kiya, Hitoshi [editor.] Xue, Xiang-Yang [editor.] Kuo, C.-C. Jay [editor.] Lew, Michael S [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6298 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)
	3614.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / by Di Chio, Cecilia [editor.] Brabazon, Anthony [editor.] Ebner, Marc [editor.] Farooq, Muddassar [editor.] Fink, Andreas [editor.] Grahl, Jörn [editor.] Greenfield, Gary [editor.] Machado, Penousal [editor.] O'Neill, Michael [editor.] Tarantino, Ernesto [editor.] Urquhart, Neil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6025 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)
	3615.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Jobstmann, Barbara [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9583 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3616.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings / by Koch, Andreas [editor.] Krishnamurthy, Ram [editor.] McAllister, John [editor.] Woods, Roger [editor.] El-Ghazawi, Tarek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6578 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)
	3617.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / by Ouaknine, Joel [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5813 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)
	3618.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 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)
	3619.	Coordination, Organizations, Institutions, and Norms in Agent Systems V [electronic resource] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / by Padget, Julian [editor.] Artikis, Alexander [editor.] Vasconcelos, Wamberto [editor.] Stathis, Kostas [editor.] Torres da Silva, Viviane [editor.] Matson, Eric T [editor.] Polleres, Axel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6069 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)
	3620.	Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by Iliopoulos, Costas [editor.] Leong, Hon Wai [editor.] Sung, Wing-Kin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10979 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)