Results of search for 'ccl=su:{Mathematics } and su-to:Computer science and su-to:Discrete mathematics' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	181.	Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / by Jürgensen, Helmut [editor.] Karhumäki, Juhani [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8614 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)
	182.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Woltran, Stefan [editor.] Gonzales, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8323 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)
	183.	Graph Transformation [electronic resource] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by Guerra, Esther [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11629 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)
	184.	Learning and Intelligent Optimization [electronic resource] : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by Kotsireas, Ilias S [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12096 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)
	185.	Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday / by Brodnik, Andrej [editor.] Lopez-Ortiz, Alejandro [editor.] Raman, Venkatesh [editor.] Viola, Alfredo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8066 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)
	186.	Theoretical Computer Science [electronic resource] : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings / by Baeten, Jos C.M [editor.] Ball, Tom [editor.] de Boer, Frank S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7604 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)
	187.	Progress in Cryptology - LATINCRYPT 2014 [electronic resource] : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / by Aranha, Diego F [editor.] Menezes, Alfred [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8895 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)
	188.	Selected Areas in Cryptography -- SAC 2014 [electronic resource] : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers / by Joux, Antoine [editor.] Youssef, Amr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8781 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)
	189.	Machine Learning and Knowledge Discovery in Databases. Research Track [electronic resource] : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II / by Oliver, Nuria [editor.] Pérez-Cruz, Fernando [editor.] Kramer, Stefan [editor.] Read, Jesse [editor.] Lozano, Jose A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12976 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)
	190.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	191.	DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by Phillips, Andrew [editor.] Yin, Peng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9211 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)
	192.	Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / by Groth, Jens [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9496 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)
	193.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by Gribaudo, Marco [editor.] Manini, Daniele [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9081 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)
	194.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Paquete, Luís [editor.] Zarges, Christine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12102 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)
	195.	Graph-Based Representation and Reasoning [electronic resource] : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / by Haemmerlé, Ollivier [editor.] Stapleton, Gem [editor.] Faron Zucker, Catherine [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9717 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)
	196.	WALCOM: Algorithms and Computation [electronic resource] : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017, Proceedings / by Poon, Sheung-Hung [editor.] Rahman, Md. Saidur [editor.] Yen, Hsu-Chun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10167 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)
	197.	Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / by Ganzha, V.G [editor.] Mayr, E.W [editor.] Vorozhtsov, E.V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4194 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)
	198.	Arto Salomaa: Mathematician, Computer Scientist, and Teacher [electronic resource] : A Thematic Biography / by Paakki, Jukka [author.] SpringerLink (Online service) 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)
	199.	Variable Neighborhood Search [electronic resource] : 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers / by Benmansour, Rachid [editor.] Sifaleras, Angelo [editor.] Mladenović, Nenad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12010 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)
	200.	Integer Programming and Combinatorial Optimization [electronic resource] : 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings / by Aardal, Karen [editor.] Sanità, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13265 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1282 results.