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

Results
	1321.	Mathematical Software -- ICMS 2014 [electronic resource] : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / by Hong, Hoon [editor.] Yap, Chee [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8592 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)
	1322.	Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / by Czumaj, Artur [editor.] Mehlhorn, Kurt [editor.] Pitts, Andrew [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7392 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)
	1323.	Computer Performance Engineering [electronic resource] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / by Fiems, Dieter [editor.] Paolieri, Marco [editor.] Platis, Agapios N [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9951 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)
	1324.	Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by Sabin, Malcolm [editor.] Martin, Ralph [editor.] Bez, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3604 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)
	1325.	Complexity of Constraints [electronic resource] : An Overview of Current Research Themes / by Creignou, Nadia [editor.] Kolaitis, Phokion G [editor.] Vollmer, Heribert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5250 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)
	1326.	Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / by Márquez, Alberto [editor.] Ramos, Pedro [editor.] Urrutia, Jorge [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7579 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)
	1327.	Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / by van Hee, Kees [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5062 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)
	1328.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / by Filliatre, Jean-Christophe [editor.] Paulin-Mohring, Christine [editor.] Werner, Benjamin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3839 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)
	1329.	Information Processing in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings / by Lones, Michael A [editor.] Smith, Stephen L [editor.] Teichmann, Sarah [editor.] Naef, Felix [editor.] Oliver, Jonathan [editor.] Trefzer, Martin Albrecht [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7223 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)
	1330.	Topics in Cryptology -- CT-RSA 2011 [electronic resource] : The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011, Proceedings / by Kiayias, Aggelos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6558 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)
	1331.	Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / by Treinen, Ralf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5595 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)
	1332.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings / by Al-Begain, Khalid [editor.] Balsamo, Simonetta [editor.] Fiems, Dieter [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6751 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)
	1333.	Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I / by Aceto, Luca [editor.] Henzinger, Monika [editor.] Sgall, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6755 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)
	1334.	Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings / by Gudmundsson, Joachim [editor.] Mestre, Julián [editor.] Viglas, Taso [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7434 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)
	1335.	Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings / by Giancarlo, Raffaele [editor.] Hannenhalli, Sridhar [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4645 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)
	1336.	Computer Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / by Beltrán, Marta [editor.] Knottenbelt, William [editor.] Bradley, Jeremy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9272 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)
	1337.	Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by Väänänen, Jouko [editor.] Hirvonen, Åsa [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9803 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)
	1338.	Graph-Based Representation and Reasoning [electronic resource] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / by Hernandez, Nathalie [editor.] Jäschke, Robert [editor.] Croitoru, Madalina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8577 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)
	1339.	Algorithms and Computation [electronic resource] : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings / by Deng, Xiaotie [editor.] Du, Dingzhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3827 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)
	1340.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5407 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2392 results.