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

Results
	41.	Networked Systems [electronic resource] : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by Abdulla, Parosh Aziz [editor.] Delporte-Gallet, Carole [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9944 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)
	42.	Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / by Barros, Alistair [editor.] Gal, Avigdor [editor.] Kindler, Ekkart [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7481 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)
	43.	Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings / by Gorbenko, Anatoliy [editor.] Romanovsky, Alexander [editor.] Kharchenko, Vyacheslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8166 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)
	44.	Coordination, Organizations, Institutions, and Norms in Agent Systems XI [electronic resource] : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / by Dignum, Virginia [editor.] Noriega, Pablo [editor.] Sensoy, Murat [editor.] Sichman, Jaime Simão [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9628 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)
	45.	Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by Koornneef, Floor [editor.] van Gulijk, Coen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9337 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.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / by Fränzle, Martin [editor.] Markey, Nicolas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9884 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.	Computer Safety, Reliability, and Security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / by Tonetta, Stefano [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10488 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	PRIMA 2017: Principles and Practice of Multi-Agent Systems [electronic resource] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / by An, Bo [editor.] Bazzan, Ana [editor.] Leite, João [editor.] Villata, Serena [editor.] van der Torre, Leendert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10621 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	AI*IA 2017 Advances in Artificial Intelligence [electronic resource] : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / by Esposito, Floriana [editor.] Basili, Roberto [editor.] Ferilli, Stefano [editor.] Lisi, Francesca A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10640 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / by Michael, Loizos [editor.] Kakas, Antonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10021 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.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / by Kienzle, Jörg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7167 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)
	52.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Hübner, Jomi [editor.] Leite, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6822 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)
	53.	CONCUR 2012- Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / by Koutny, Maciej [editor.] Ulidowski, Irek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7454 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)
	54.	Business Process Management [electronic resource] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings / by Rinderle-Ma, Stefanie [editor.] Toumani, Farouk [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6896 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)
	55.	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812 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.	PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by Baldoni, Matteo [editor.] Chopra, Amit K [editor.] Son, Tran Cao [editor.] Hirayama, Katsutoshi [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9862 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)
	57.	Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / by Antoniou, Grigoris [editor.] Boley, Harold [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3323 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)
	58.	Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / by Alferes, Jose Julio [editor.] Bertossi, Leopoldo [editor.] Governatori, Guido [editor.] Fodor, Paul [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9718 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)
	59.	Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / by Berger, Christian [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9361 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)
	60.	Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / by Bogomolov, Sergiy [editor.] Martel, Matthieu [editor.] Prabhakar, Pavithra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10152 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 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 139 results.