Results of search for 'ccl=su:{Mathematics } and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	541.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers / by Kagström, Bo [editor.] Elmroth, Erik [editor.] Dongarra, Jack [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4699 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)
	542.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by Kreowski, Hans-Jörg [editor.] Montanari, Ugo [editor.] Orejas, Fernando [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3393 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)
	543.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3103 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)
	544.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3102 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)
	545.	Algorithm Engineering [electronic resource] : Selected Results and Surveys / by Kliemann, Lasse [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9220 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)
	546.	Multiobjective Optimization [electronic resource] : Interactive and Evolutionary Approaches / by Branke, Jürgen [editor.] Deb, Kalyanmoy [editor.] Miettinen, Kaisa [editor.] Slowiński, Roman [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5252 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)
	547.	Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation / by Lerner, Jürgen [editor.] Wagner, Dorothea [editor.] Zweig, Katharina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5515 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)
	548.	Ludics, Dialogue and Interaction [electronic resource] : PRELUDE Project — 2006-2009. Revised Selected Papers / by Lecomte, Alain [editor.] Tronçon, Samuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6505 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)
	549.	Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies. by SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5945 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	550.	Transactions on Computational Systems Biology XIII [electronic resource] / by Back, Ralph-Johan [editor.] Petre, Ion [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 6575 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)
	551.	Transactions on Computational Science I [electronic resource] / by Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 4750 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)
	552.	Transactions on Computational Systems Biology X [electronic resource] / by Priami, Corrado [editor.] Dressler, Falko [editor.] Akan, Ozgur B [editor.] Ngom, Alioune [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5410 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)
	553.	Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / by Karhumäki, Juhani [editor.] Maurer, Hermann [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3113 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)
	554.	Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / by van Breugel, Franck [editor.] Kashefi, Elham [editor.] Palamidessi, Catuscia [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8464 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)
	555.	OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4180 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)
	556.	Advances in Neural Networks - ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III / by Liu, Derong [editor.] Fei, Shumin [editor.] Hou, Zeng-Guang [editor.] Zhang, Huaguang [editor.] Sun, Changyin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4493 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)
	557.	Switching and Learning in Feedback Systems [electronic resource] : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by Murray-Smith, Roderick [editor.] Shorten, Robert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3355 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)
	558.	Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space [electronic resource] / by Ahn, Sung Joon [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3151 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)
	559.	Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Helmert, Malte [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4929 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)
	560.	Transactions on Computational Systems Biology XI [electronic resource] : Computational Models for Cell Processes / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5750 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 791 results.