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

Results
	441.	Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by Grigoriev, Dima [editor.] Harrison, John [editor.] Hirsch, Edward A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3967 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)
	442.	Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / by Albers, Susanne [editor.] Marchetti-Spaccamela, Alberto [editor.] Matias, Yossi [editor.] Nikoletseas, Sotiris [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5556 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)
	443.	Computer Science - Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings / by Hirsch, Edward A [editor.] Razborov, Alexander A [editor.] Semenov, Alexei [editor.] Slissenko, Anatol [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5010 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)
	444.	Principles and Practice of Constraint Programming [electronic resource] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Beck, J. Christopher [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10416 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)
	445.	Advances in Cryptology – ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / by Cheon, Jung Hee [editor.] Takagi, Tsuyoshi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10031 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)
	446.	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / by Fisher, Michael [editor.] Sadri, Fariba [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5405 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)
	447.	OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / by Eigenmann, Rudi [editor.] de Supinski, Bronis R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5004 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)
	448.	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / by Berghofer, Stefan [editor.] Nipkow, Tobias [editor.] Urban, Christian [editor.] Wenzel, Makarius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5674 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)
	449.	Data Analytics for Renewable Energy Integration [electronic resource] : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers / by Woon, Wei Lee [editor.] Aung, Zeyar [editor.] Madnick, Stuart [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9518 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)
	450.	Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings / by Ogihara, Mitsunori [editor.] Tarui, Jun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6648 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	451.	Parallel Processing and Applied Mathematics [electronic resource] : 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Meyer, Norbert [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3911 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)
	452.	Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers / by Kawano, Yasuhito [editor.] Mosca, Michele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5106 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)
	453.	Advances in Cryptology – ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II / by Iwata, Tetsu [editor.] Cheon, Jung Hee [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9453 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	454.	Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / by Dinneen, Michael J [editor.] Khoussainov, Bakhadyr [editor.] Nies, Prof. Andre [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7160 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)
	455.	High Performance Computing for Computational Science -- VECPAR 2010 [electronic resource] : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers / by Palma, José M. Laginha M [editor.] Daydé, Michel [editor.] Marques, Osni [editor.] Lopes, Joao Correia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6449 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	456.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by Wittevrongel, Sabine [editor.] Phung-Duc, Tuan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9845 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)
	457.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7841 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)
	458.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings / by Kanazawa, Makoto [editor.] Kracht, Marcus [editor.] Seki, Hiroyuki [editor.] Kornai, András [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6878 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	459.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Fitzgerald, John [editor.] Gnesi, Stefania [editor.] Khurshid, Sarfraz [editor.] Leuschel, Michael [editor.] Reeves, Steve [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7316 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)
	460.	Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by Beckmann, Arnold [editor.] Mitrana, Victor [editor.] Soskova, Mariya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9136 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 673 results.