Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3961.	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)
	3962.	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)
	3963.	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)
	3964.	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)
	3965.	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)
	3966.	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)
	3967.	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)
	3968.	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)
	3969.	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)
	3970.	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)
	3971.	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)
	3972.	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)
	3973.	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)
	3974.	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)
	3975.	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)
	3976.	Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8332 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)
	3977.	High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers / by Labarta, Jesus [editor.] Joe, Kazuki [editor.] Sato, Toshinori [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4759 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)
	3978.	Transactions on Computational Systems Biology II [electronic resource] / by Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 3680 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)
	3979.	Bioinformatics Research and Applications [electronic resource] : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings / by Mandoiu, Ion [editor.] Sunderraman, Rajshekhar [editor.] Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4983 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)
	3980.	Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence [electronic resource] : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 2011 / by Dowe, David L [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7070 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.