Results of search for 'ccl=su:{Engineering} and su-to:Software Engineering and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1841.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 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)
	1842.	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiß, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7686 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)
	1843.	Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8050 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)
	1844.	The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / by Kaschek, Roland [editor.] Delcambre, Lois M.L [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6520 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)
	1845.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / by Giachino, Elena [editor.] Hähnle, Reiner [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7866 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)
	1846.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	1847.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / by Koutny, Maciej [editor.] Haddad, Serge [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 8910 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)
	1848.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / by Katz, Shmuel [editor.] Ossher, Harold [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5560 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)
	1849.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / by Kuich, Werner [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7020 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)
	1850.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 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)
	1851.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by Damiani, Ernesto [editor.] Spanoudakis, George [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1172 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)
	1852.	High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by Jordan, Vladimir [editor.] Filimonov, Nikolay [editor.] Tarasov, Ilya [editor.] Faerman, Vladimir [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1304 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)
	1853.	ICTERI 2021 Workshops [electronic resource] : ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28–October 2, 2021, Proceedings / by Ignatenko, Oleksii [editor.] Kharchenko, Vyacheslav [editor.] Kobets, Vitaliy [editor.] Kravtsov, Hennadiy [editor.] Tarasich, Yulia [editor.] Ermolayev, Vadim [editor.] Esteban, David [editor.] Yakovyna, Vitaliy [editor.] Spivakovsky, Aleksander [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1635 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)
	1854.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14216 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)
	1855.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14215 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)
	1856.	Security and Safety Interplay of Intelligent Software Systems [electronic resource] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by Hamid, Brahim [editor.] Gallina, Barbara [editor.] Shabtai, Asaf [editor.] Elovici, Yuval [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11552 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)
	1857.	Conceptual Modeling [electronic resource] : 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings / by Laender, Alberto H. F [editor.] Pernici, Barbara [editor.] Lim, Ee-Peng [editor.] de Oliveira, José Palazzo M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11788 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)
	1858.	High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 12th International Conference, HPCST 2022, Barnaul, Russia, May 20–21, 2022, Revised Selected Papers / by Jordan, Vladimir [editor.] Tarasov, Ilya [editor.] Shurina, Ella [editor.] Filimonov, Nikolay [editor.] Faerman, Vladimir [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1733 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)
	1859.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Bernardino, Jorge [editor.] Masciari, Elio [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1718 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)
	1860.	Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Sales, Tiago Prince [editor.] Araújo, João [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14319 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.