Results of search for 'ccl=su:"Mathematics " and se:Theoretical Computer Science and General Issues and su-to:Discrete mathematics' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	601.	Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Gupta, Gopal [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8901 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)
	602.	Fun with Algorithms [electronic resource] : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings / by Ferro, Alfredo [editor.] Luccio, Fabrizio [editor.] Widmayer, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8496 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)
	603.	Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by Wang, Jianxin [editor.] Yap, Chee [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9130 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)
	604.	Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / by Charlier, Émilie [editor.] Leroy, Julien [editor.] Rigo, Michel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10396 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)
	605.	Genetic Programming [electronic resource] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Machado, Penousal [editor.] Heywood, Malcolm I [editor.] McDermott, James [editor.] Castelli, Mauro [editor.] García-Sánchez, Pablo [editor.] Burelli, Paolo [editor.] Risi, Sebastian [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9025 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)
	606.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by van Hoeve, Willem-Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10848 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)
	607.	Algebraic and Algorithmic Aspects of Differential and Integral Operators [electronic resource] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers / by Barkatou, Moulay [editor.] Cluzeau, Thomas [editor.] Regensburger, Georg [editor.] Rosenkranz, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8372 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)
	608.	Combinatorial Geometry and Graph Theory [electronic resource] : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by Akiyama, Jin [editor.] Baskoro, Edy Tri [editor.] Kano, Mikio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3330 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)
	609.	Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / by Berghammer, Rudolf [editor.] Jaoua, Ali [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5827 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)
	610.	Computer Science – Theory and Applications [electronic resource] : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / by Fomin, Fedor V [editor.] Podolskii, Vladimir V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10846 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)
	611.	Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by Iliopoulos, Costas [editor.] Leong, Hon Wai [editor.] Sung, Wing-Kin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10979 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)
	612.	Parallel Problem Solving from Nature – PPSN XV [electronic resource] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / by Auger, Anne [editor.] Fonseca, Carlos M [editor.] Lourenço, Nuno [editor.] Machado, Penousal [editor.] Paquete, Luís [editor.] Whitley, Darrell [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11101 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)
	613.	Hybrid Metaheuristics [electronic resource] : 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings / by Blesa Aguilera, Maria J [editor.] Blum, Christian [editor.] Gambini Santos, Haroldo [editor.] Pinacho-Davidson, Pedro [editor.] Godoy del Campo, Julio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11299 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)
	614.	Algebraic Informatics [electronic resource] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by Ćirić, Miroslav [editor.] Droste, Manfred [editor.] Pin, Jean-Éric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11545 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)
	615.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / by Albert, Elvira [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7844 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)
	616.	Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / by Herik, H. Jaap van den [editor.] Ciancarini, Paolo [editor.] Donkers, H. (Jeroen) H.L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4630 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	617.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings / by Diaz, Josep [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4110 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)
	618.	Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings / by Bonato, Anthony [editor.] Chung, Fan R.K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4863 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	619.	Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by Han, Yo-Sub [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9705 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)
	620.	Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / by Hirsch, Edward [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Prilutskii, Michail [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7353 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 626 results.