Results of search for 'ccl=su:{Computer science.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4341.	Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / by Edwards, Stephen H [editor.] Kulczycki, Gregory [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5791 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)
	4342.	Algorithms - ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings / by Azar, Yossi [editor.] Erlebach, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4168 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)
	4343.	Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7442 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)
	4344.	Advances in Information and Computer Security [electronic resource] : 6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings / by Iwata, Tetsu [editor.] Nishigaki, Masakatsu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7038 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)
	4345.	Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Bergel, Alexandre [editor.] Fabry, Johan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5634 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)
	4346.	Trust and Trustworthy Computing [electronic resource] : 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings / by Franz, Michael [editor.] Papadimitratos, Panos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9824 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)
	4347.	Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings / by De Nicola, Rocco [editor.] Julien, Christine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7890 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)
	4348.	Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9506 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)
	4349.	Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / by Butterfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5713 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)
	4350.	Advances in Cryptology - CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / by Shoup, Victor [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3621 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)
	4351.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012, Proceedings / by Hao, Jin-Kao [editor.] Middendorf, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7245 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)
	4352.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / by Destercke, Sébastien [editor.] Denoeux, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9161 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)
	4353.	Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / by MacCaull, Wendy [editor.] Winter, Michael [editor.] Düntsch, Ivo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3929 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)
	4354.	DNA Computing and Molecular Programming [electronic resource] : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings / by Brijder, Robert [editor.] Qian, Lulu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10467 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)
	4355.	Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings / by Nunez, Manuel [editor.] Baker, Paul [editor.] Merayo, Mercedes G [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5826 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)
	4356.	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / by Erlingsson, Úlfar [editor.] Wieringa, Roel [editor.] Zannone, Nicola [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6542 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)
	4357.	Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / by Ji, Donghong [editor.] Xiao, Guozheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7717 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)
	4358.	Public-Key Cryptography -- PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, Feburary 26 -- March 1, 2013, Proceedings / by Kurosawa, Kaoru [editor.] Hanaoka, Goichiro [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7778 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)
	4359.	Intelligent Data Engineering and Automated Learning -- IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings / by Yin, Hujun [editor.] Costa, Jose A.F [editor.] Barreto, Guilherme [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7435 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)
	4360.	Algorithms for Sensor Systems [electronic resource] : 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers / by Flocchini, Paola [editor.] Gao, Jie [editor.] Kranakis, Evangelos [editor.] Meyer auf der Heide, Friedhelm [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8243 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.