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

Results
	501.	Generic and Indexed Programming [electronic resource] / by Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7470 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)
	502.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Flanagan, Cormac [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7214 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)
	503.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4144 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)
	504.	Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / by Gramlich, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3717 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)
	505.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / by Miculan, Marino [editor.] Scagnetto, Ivan [editor.] Honsell, Furio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4941 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)
	506.	Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10189 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)
	507.	Evolvable Systems: From Biology to Hardware [electronic resource] : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings / by Hornby, Gregory S [editor.] Sekanina, Lukas [editor.] Haddow, Pauline C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5216 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)
	508.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	509.	Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / by Chen, Peter P [editor.] Wong, Leah Y [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4512 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)
	510.	Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings / by Kowalczyk, Ryszard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5796 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)
	511.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] Dash, Shubhransu Sekhar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8298 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	512.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7857 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)
	513.	Transactions on Computational Collective Intelligence VI [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 7190 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)
	514.	Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / by Godo, Lluis [editor.] Pugliese, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5785 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)
	515.	Graph Transformation [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / by Ehrig, Hartmut [editor.] Engels, Gregor [editor.] Kreowski, Hans-Jörg [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7562 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)
	516.	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Furbach, Ulrich [editor.] Shankar, Natarajan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4130 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)
	517.	Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / by Gupta, Aarti [editor.] Malik, Sharad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5123 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)
	518.	Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by Gurfinkel, Arie [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9593 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)
	519.	Computer and Information Sciences - ISCIS 2006 [electronic resource] : 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / by Levi, Albert [editor.] Savas, Erkay [editor.] Yenigün, Hüsnü [editor.] Balcisoy, Selim [editor.] Saygin, Yücel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4263 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)
	520.	Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / by Blazy, Sandrine [editor.] Paulin-Mohring, Christine [editor.] Pichardie, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7998 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 831 results.