Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings / by Gottlob, Georg [editor.] Inclezan, Daniela [editor.] Maratea, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13416 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings / by Chiusano, Silvia [editor.] Cerquitelli, Tania [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13389 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	123.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Bogomolov, Sergiy [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13465 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	124.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Advanced Lectures on Machine Learning [electronic resource] : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / by Mendelson, Shahar [editor.] Smola, Alexander J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2600 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	126.	Discrete and Computational Geometry and Graphs [electronic resource] : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers / by Akiyama, Jin [editor.] Ito, Hiro [editor.] Sakai, Toshinori [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8845 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)
	127.	Security Protocols XXIII [electronic resource] : 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers / by Christianson, Bruce [editor.] Švenda, Petr [editor.] Matyas, Vashek [editor.] Malcolm, James [editor.] Stajano, Frank [editor.] Anderson, Jonathan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9379 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)
	128.	Security and Trust Management [electronic resource] : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings / by Foresti, Sara [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9331 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)
	129.	Topics in Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by Hajiaghayi, Mohammed Taghi [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9541 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)
	130.	Foundations of Information and Knowledge Systems [electronic resource] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / by Gyssens, Marc [editor.] Simari, Guillermo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9616 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)
	131.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 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)
	132.	Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Parisi-Presicce, Francesco [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9151 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)
	133.	Security Standardisation Research [electronic resource] : First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings / by Chen, Liqun [editor.] Mitchell, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8893 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)
	134.	Algorithms, Probability, Networks, and Games [electronic resource] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by Zaroliagis, Christos [editor.] Pantziou, Grammati [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9295 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)
	135.	Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I / by Descoteaux, Maxime [editor.] Maier-Hein, Lena [editor.] Franz, Alfred [editor.] Jannin, Pierre [editor.] Collins, D. Louis [editor.] Duchesne, Simon [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10433 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)
	136.	Experimental Algorithms [electronic resource] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / by Bampis, Evripidis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9125 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)
	137.	Discrete Geometry for Computer Imagery [electronic resource] : 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings / by Normand, Nicolas [editor.] Guédon, Jeanpierre [editor.] Autrusseau, Florent [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9647 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)
	138.	Genetic Programming [electronic resource] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / by Heywood, Malcolm I [editor.] McDermott, James [editor.] Castelli, Mauro [editor.] Costa, Ernesto [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9594 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)
	139.	Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Hildebrandt, Thomas [editor.] Ravara, António [editor.] van der Werf, Jan Martijn [editor.] Weidlich, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9421 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)
	140.	Availability, Reliability, and Security in Information Systems [electronic resource] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine Learning for Health Data Science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, Proceedings / by Buccafurri, Francesco [editor.] Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9817 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 6986 results.