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
	461.	Formal Techniques for Networked and Distributed Systems - FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / by Derrick, John [editor.] Vain, Jüri [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4574 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)
	462.	Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by Börger, Egon [editor.] Butler, Michael [editor.] Bowen, Jonathan P [editor.] Boca, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5238 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	463.	Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / by Namjoshi, Kedar [editor.] Yoneda, Tomohiro [editor.] Higashino, Teruo [editor.] Okamura, Yoshio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4762 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)
	464.	Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / by Dobnikar, Andrej [editor.] Lotric, Uroš [editor.] Šter, Branko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6593 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)
	465.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / by Barthe, Gilles [editor.] Pardo, Alberto [editor.] Schneider, Gerardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7041 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)
	466.	Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / by Blume, Matthias [editor.] Kobayashi, Naoki [editor.] Vidal-Oriola, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6009 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)
	467.	Formal Techniques for Safety-Critical Systems [electronic resource] : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by Artho, Cyrille [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1008 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)
	468.	KI 2020: Advances in Artificial Intelligence [electronic resource] : 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings / by Schmid, Ute [editor.] Klügl, Franziska [editor.] Wolter, Diedrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12325 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)
	469.	Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by Rosenfeld, Ariel [editor.] Talmon, Nimrod [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12802 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)
	470.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / by Bernardinello, Luca [editor.] Petrucci, Laure [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13288 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)
	471.	Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings / by Bressan, Stéphane [editor.] Ceri, Stefano [editor.] Hunt, Ela [editor.] Ives, Zachary G [editor.] Bellahsène, Zohra [editor.] Rys, Michael [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3671 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	472.	Computational Methods in Systems Biology [electronic resource] : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by Mendes, Pedro [editor.] Dada, Joseph O [editor.] Smallbone, Kieran [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8859 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)
	473.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	474.	Algorithmic Aspects of Cloud Computing [electronic resource] : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by Brandic, Ivona [editor.] Genez, Thiago A. L [editor.] Pietri, Ilia [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12041 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)
	475.	Search-Based Software Engineering [electronic resource] : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by Aleti, Aldeida [editor.] Panichella, Annibale [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12420 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)
	476.	Programming Languages and Systems [electronic resource] : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings / by Oliveira, Bruno C. d. S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12470 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)
	477.	Chinese Lexical Semantics [electronic resource] : 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers / by Liu, Meichun [editor.] Kit, Chunyu [editor.] Su, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12278 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)
	478.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9700 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)
	479.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / by Bugliesi, Michele [editor.] Preneel, Bart [editor.] Sassone, Vladimiro [editor.] Wegener, Ingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4052 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	480.	Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Chechik, Marsha [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5503 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.