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

Results
	1961.	SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings / by Nielsen, Mogens [editor.] Kucera, Antonin [editor.] Bro Miltersen, Peter [editor.] Palamidessi, Catuscia [editor.] Tuma, Petr [editor.] Valencia, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5404 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)
	1962.	Public Key Infrastructures, Services and Applications [electronic resource] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers / by Camenisch, Jan [editor.] Lambrinoudakis, Costas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6711 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)
	1963.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / by Giese, Holger [editor.] Karsai, Gabor [editor.] Lee, Edward A [editor.] Rumpe, Bernhard [editor.] Schätz, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6100 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)
	1964.	Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings / by Vallecillo, Antonio [editor.] Tolvanen, Juha-Pekka [editor.] Kindler, Ekkart [editor.] Störrle, Harald [editor.] Kolovos, Dimitris [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7349 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)
	1965.	Transactions on Computational Science VIII [electronic resource] / by Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 6260 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)
	1966.	Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / by Sakallah, Karem A [editor.] Simon, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6695 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)
	1967.	Mobility Aware Technologies and Applications [electronic resource] : First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings / by Karmouch, Ahmed [editor.] Korba, Larry [editor.] Madeira, Edmundo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3284 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)
	1968.	Distributed Computing [electronic resource] : 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings / by Kuhn, Fabian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8784 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)
	1969.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / by Davies, Jim [editor.] Silva, Leila [editor.] Simao, Adenilso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6527 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)
	1970.	Analysis of Images, Social Networks and Texts [electronic resource] : 6th International Conference, AIST 2017, Moscow, Russia, July 27–29, 2017, Revised Selected Papers / by van der Aalst, Wil M.P [editor.] Ignatov, Dmitry I [editor.] Khachay, Michael [editor.] Kuznetsov, Sergei O [editor.] Lempitsky, Victor [editor.] Lomazova, Irina A [editor.] Loukachevitch, Natalia [editor.] Napoli, Amedeo [editor.] Panchenko, Alexander [editor.] Pardalos, Panos M [editor.] Savchenko, Andrey V [editor.] Wasserman, Stanley [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10716 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1971.	Cellular Automata [electronic resource] : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings / by Mauri, Giancarlo [editor.] El Yacoubi, Samira [editor.] Dennunzio, Alberto [editor.] Nishinari, Katsuhiro [editor.] Manzoni, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11115 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1972.	Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / by Chattopadhyay, Anupam [editor.] Rebeiro, Chester [editor.] Yarom, Yuval [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11348 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1973.	Coordination Models and Languages [electronic resource] : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Damiani, Ferruccio [editor.] Dardha, Ornela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12717 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1974.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Peters, Kirstin [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12719 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1975.	Applied Cryptography and Network Security [electronic resource] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part II / by Sako, Kazue [editor.] Tippenhauer, Nils Ole [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12727 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1976.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12742 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1977.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12743 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1978.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12735 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1979.	Computer Science – Theory and Applications [electronic resource] : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by Santhanam, Rahul [editor.] Musatov, Daniil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12730 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1980.	Functional Imaging and Modeling of the Heart [electronic resource] : 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings / by Ennis, Daniel B [editor.] Perotti, Luigi E [editor.] Wang, Vicky Y [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12738 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 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.