Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3561.	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)
	3562.	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)
	3563.	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)
	3564.	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)
	3565.	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)
	3566.	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)
	3567.	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)
	3568.	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)
	3569.	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)
	3570.	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)
	3571.	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)
	3572.	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)
	3573.	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)
	3574.	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)
	3575.	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)
	3576.	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)
	3577.	Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Stankova, Elena [editor.] Torre, Carmelo M [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] Ryu, Yeonseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10960 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)
	3578.	Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Stankova, Elena [editor.] Torre, Carmelo M [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] Ryu, Yeonseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10963 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)
	3579.	Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I / by Liu, Honghai [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Jiang, Li [editor.] Gu, Guoying [editor.] Wu, Xinyu [editor.] Ren, Weihong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13455 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)
	3580.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / by Park, Ji Su [editor.] Takizawa, Hiroyuki [editor.] Shen, Hong [editor.] Park, James J [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 1112 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)