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

Results
	801.	Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / by Ferré, Sébastien [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5548 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)
	802.	Information Theoretic Security [electronic resource] : 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedings / by Shikata, Junji [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10681 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)
	803.	WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by Rahman, M. Sohel [editor.] Sung, Wing-Kin [editor.] Uehara, Ryuhei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10755 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)
	804.	Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / by Gutin, Gregory [editor.] Szeider, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8246 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	805.	Theory and Applications of Satisfiability Testing -- SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / by Cimatti, Alessandro [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7317 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)
	806.	Information Retrieval Technology [electronic resource] : 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012, Proceedings / by Hou, Yuexian [editor.] Nie, Jian-Yun [editor.] Sun, Le [editor.] Wang, Bo [editor.] Zhang, Peng [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7675 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)
	807.	Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008, Proceedings / by Wu, Tzong-Chen [editor.] Lei, Chin-Laung [editor.] Rijmen, Vincent [editor.] Lee, Der-Tsai [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5222 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)
	808.	Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings / by Calude, Cristian S [editor.] Calude, Elena [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3340 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)
	809.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers / by Bracciali, Andrea [editor.] Caravagna, Giulio [editor.] Gilbert, David [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 10477 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)
	810.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / by Middeldorp, Aart [editor.] van Oostrom, Vincent [editor.] van Raamsdonk, Femke [editor.] de Vrijer, Roel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3838 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)
	811.	Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 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)
	812.	KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by Hölldobler, Steffen [editor.] Peñaloza, Rafael [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9324 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	813.	Numerical Methods and Applications [electronic resource] : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / by Dimov, Ivan [editor.] Fidanova, Stefka [editor.] Lirkov, Ivan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8962 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)
	814.	Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings / by Zhang, Jun [editor.] He, Ji-Huan [editor.] Fu, Yuxi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3314 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)
	815.	Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / by Martín-Vide, Carlos [editor.] Mauri, Giancarlo [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2933 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	816.	DNA Computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers / by Chen, Junghuei [editor.] Reif, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2943 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	817.	Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by Hoos, Holger H [editor.] Mitchell, David G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3542 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)
	818.	Modeling and Using Context [electronic resource] : 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings / by Dey, Anind [editor.] Kokinov, Boicho [editor.] Leake, David [editor.] Turner, Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3554 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)
	819.	Data Mining and Bioinformatics [electronic resource] : First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers / by Dalkilic, Mehmet M [editor.] Kim, Sun [editor.] Yang, Jiong [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4316 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)
	820.	Hybrid Metaheuristics [electronic resource] : 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings / by Blum, Christian [editor.] Cotta, Carlos [editor.] Fernández Leiva, Antonio José [editor.] Gallardo Ruiz, José E [editor.] Roli, Andrea [editor.] Sampels, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5296 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1234 results.