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

Results
	1121.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] van der Torre, Leon [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8143 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)
	1122.	Comparative Genomics [electronic resource] : RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings / by Bourque, Guillaume [editor.] El' Mabrouk, Nadja [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4205 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)
	1123.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / by Sericola, Bruno [editor.] Miklós, Telek [editor.] Horváth, Gábor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8499 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)
	1124.	Mathematical Software – ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by Greuel, Gert-Martin [editor.] Koch, Thorsten [editor.] Paule, Peter [editor.] Sommese, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9725 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)
	1125.	Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Gaspers, Serge [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10491 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)
	1126.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by Pelc, Andrzej [editor.] Schwarzmann, Alexander A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9212 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)
	1127.	Natural Language Processing and Chinese Computing [electronic resource] : 7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26–30, 2018, Proceedings, Part II / by Zhang, Min [editor.] Ng, Vincent [editor.] Zhao, Dongyan [editor.] Li, Sujian [editor.] Zan, Hongying [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11109 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)
	1128.	Cybersecurity and Secure Information Systems [electronic resource] : Challenges and Solutions in Smart Environments / by Hassanien, Aboul Ella [editor.] Elhoseny, Mohamed [editor.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1129.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers / by Kojima, Kazuhiro [editor.] Sakamoto, Maki [editor.] Mineshima, Koji [editor.] Satoh, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11717 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1130.	Discovery Science [electronic resource] : 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by Kralj Novak, Petra [editor.] Šmuc, Tomislav [editor.] Džeroski, Sašo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11828 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1131.	Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by Chen, Yu-Fang [editor.] Cheng, Chih-Hong [editor.] Esparza, Javier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11781 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1132.	Mathematical Optimization Theory and Operations Research [electronic resource] : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers / by Bykadorov, Igor [editor.] Strusevich, Vitaly [editor.] Tchemisova, Tatiana [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1090 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1133.	The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / by Alvim, Mário S [editor.] Chatzikokolakis, Kostas [editor.] Olarte, Carlos [editor.] Valencia, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11760 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1134.	Distributed Applications and Interoperable Systems [electronic resource] : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by Remke, Anne [editor.] Schiavoni, Valerio [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12135 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1135.	Models and Algorithms of Time-Dependent Scheduling [electronic resource] / by Gawiejnowicz, Stanisław [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series Edition: 2nd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1136.	A Practical Guide to Hybrid Natural Language Processing [electronic resource] : Combining Neural Models and Knowledge Graphs for NLP / by Gomez-Perez, Jose Manuel [author.] Denaux, Ronald [author.] Garcia-Silva, Andres [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1137.	Computer Science – Theory and Applications [electronic resource] : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings / by Fernau, Henning [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12159 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1138.	Beyond the Horizon of Computability [electronic resource] : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / by Anselmo, Marcella [editor.] Della Vedova, Gianluca [editor.] Manea, Florin [editor.] Pauly, Arno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12098 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1139.	Parallel Computational Technologies [electronic resource] : 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1263 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1140.	Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / by Camara, Javier [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12226 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 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.