Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science and su-to:Computer Science Logic and Foundations of Programming and su-to:Computer Communication Networks' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by Pelc, Andrzej [editor.] Schwarzmann, Alexander A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9212 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)
	42.	Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / by Avgeriou, Paris [editor.] Zdun, Uwe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8627 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)
	43.	System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / by Amyot, Daniel [editor.] Fonseca i Casas, Pau [editor.] Mussbacher, Gunter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8769 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)
	44.	Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by Piterman, Nir [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9434 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)
	45.	Hybrid Systems Biology [electronic resource] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / by Maler, Oded [editor.] Halász, Ádám [editor.] Dang, Thao [editor.] Piazza, Carla [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7699 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)
	46.	Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Bloem, Roderick [editor.] Arbel, Eli [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10028 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)
	47.	Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings / by Fahrenberg, Uli [editor.] Jipsen, Peter [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12062 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)
	48.	Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / by Reussner, Ralf H [editor.] Mayer, Johannes [editor.] Stafford, Judith A [editor.] Overhage, Sven [editor.] Becker, Steffen [editor.] Schroeder, Patrick J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3712 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)
	49.	System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by Grabowski, Jens [editor.] Herbold, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9959 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)
	50.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9946 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)
	51.	Security and Trust Management [electronic resource] : 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings / by Katsikas, Sokratis K [editor.] Alcaraz, Cristina [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11091 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)
	52.	Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / by Focardi, Riccardo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2946 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)
	53.	ECOOP 2006 - Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / by Thomas, Dave [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4067 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)
	54.	Programming Multi-Agent Systems [electronic resource] : Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Ricci, Alessandro [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4908 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)
	55.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / by Esparza, Javier [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6015 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)
	56.	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)
	57.	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)
	58.	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)
	59.	Case-Based Reasoning Research and Development [electronic resource] : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / by Watson, Ian [editor.] Weber, Rosina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12311 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)
	60.	Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings / by Cai, Zhipeng [editor.] Zelikovsky, Alexander [editor.] Bourgeois, Anu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8591 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 390 results.