Results of search for 'ccl=au:"SpringerLink (Online service)"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	9341.	Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by Morrison, Ron [editor.] Oquendo, Flavio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3527 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)
	9342.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / by Barthe, Gilles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5051 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)
	9343.	Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / by van den Herik, H. Jaap [editor.] Plaat, Aske [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7168 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)
	9344.	Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Hofmann, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6604 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)
	9345.	Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / by Peled, Doron A [editor.] Wooldridge, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5348 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)
	9346.	Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II / by De Paolis, Lucio Tommaso [editor.] Bourdot, Patrick [editor.] Mongelli, Antonio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10325 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)
	9347.	Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / by Abate, Alessandro [editor.] Boldo, Sylvie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10381 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)
	9348.	Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / by Bjørner, Nikolaj [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6803 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)
	9349.	Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings / by Rauch, Jan [editor.] Ras, Zbigniew W [editor.] Berka, Petr [editor.] Elomaa, Tapio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5722 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)
	9350.	Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / by Biryukov, Alex [editor.] Gong, Guang [editor.] Stinson, Douglas R [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6544 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)
	9351.	Practical Aspects of Knowledge Management [electronic resource] : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings / by Karagiannis, Dimitris [editor.] Reimer, Ulrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3336 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)
	9352.	Topics in Cryptology -- CT-RSA 2006 [electronic resource] : The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings / by Pointcheval, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3860 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)
	9353.	Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by Bonato, Anthony [editor.] Graham, Fan Chung [editor.] Prałat, Paweł [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10088 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)
	9354.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III / by Sunderam, V.S [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3516 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)
	9355.	Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / by Baek, Joon Sang [editor.] Bao, Feng [editor.] Chen, Kefei [editor.] Lai, Xuejia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5324 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)
	9356.	Pattern Recognition and Image Analysis [electronic resource] : 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings / by Vitria, Jordi [editor.] Sanches, Joao Miguel [editor.] Hernández, Mario [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6669 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)
	9357.	Advances in Cryptology – EUROCRYPT 2009 [electronic resource] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009, Proceedings / by Joux, Antoine [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5479 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)
	9358.	Natural Language Processing and Information Systems [electronic resource] : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings / by Frasincar, Flavius [editor.] Ittoo, Ashwin [editor.] Nguyen, Le Minh [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10260 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)
	9359.	Advancing Democracy, Government and Governance [electronic resource] : Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012, Proceedings / by Kö, Andrea [editor.] Leitner, Christine [editor.] Leitold, Herbert [editor.] Prosser, Alexander [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7452 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)
	9360.	Computational Geometry, Graphs and Applications [electronic resource] : International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers / by Akiyama, Jin [editor.] Bo, Jiang [editor.] Kano, Mikio [editor.] Tan, Xuehou [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7033 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 16792 results.