Results of search for 'ccl=su:{Discrete mathematics.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings / by Fleischer, Rudolf [editor.] Xu, Jinhui [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5034 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by Khan, Md. Aquil [editor.] Manuel, Amaldev [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11600 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / by Chatzigeorgiou, Alexander [editor.] Dondi, Riccardo [editor.] Herodotou, Herodotos [editor.] Kapoutsis, Christos [editor.] Manolopoulos, Yannis [editor.] Papadopoulos, George A [editor.] Sikora, Florian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12011 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)
	5.	Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7993 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)
	7.	Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by Alves, Ronnie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11228 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)
	8.	Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by Frati, Fabrizio [editor.] Ma, Kwan-Liu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10692 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)
	9.	Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers / by Li, Minming [editor.] Sun, Xiaoming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13461 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)
	10.	Petri Nets [electronic resource] : Theoretical Models and Analysis Methods for Concurrent Systems / by Liu, Guanjun [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by Leucker, Martin [editor.] Rueda, Camilo [editor.] Valencia, Frank D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9399 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)
	12.	Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / by Maletti, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9270 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)
	13.	Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by Proietti, Maurizio [editor.] Seki, Hirohisa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8981 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)
	14.	Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by Kahl, Wolfram [editor.] Winter, Michael [editor.] Oliveira, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9348 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)
	15.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by Ciardo, Gianfranco [editor.] Darondeau, Philippe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3536 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)
	16.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / by Beck, J. Christopher [editor.] Smith, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3990 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)
	17.	Parallel Problem Solving from Nature – PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by Bäck, Thomas [editor.] Preuss, Mike [editor.] Deutz, André [editor.] Wang, Hao [editor.] Doerr, Carola [editor.] Emmerich, Michael [editor.] Trautmann, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12270 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)
	18.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / by Kleijn, Jetty [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4546 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)
	19.	SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings / by Bielikova, Maria [editor.] Friedrich, Gerhard [editor.] Gottlob, Georg [editor.] Katzenbeisser, Stefan [editor.] Turán, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7147 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)
	20.	Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 177 results.