Results of search for 'ccl=Provider:Springer, and su-geo:Mathematics' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1061.	DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings / by Stefanovic, Darko [editor.] Turberfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7433 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)
	1062.	Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings / by Özbudak, Ferruh [editor.] Rodriguez-Henriquez, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7369 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)
	1063.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / by Owe, Olaf [editor.] Steffen, Martin [editor.] Telle, Jan Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6914 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)
	1064.	Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings / by Kwuida, Léonard [editor.] Sertkaya, Baris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5986 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)
	1065.	Theory of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / by Dodis, Yevgeniy [editor.] Nielsen, Jesper Buus [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9015 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)
	1066.	Logic, Language, Information, and Computation [electronic resource] / by Ong, Luke [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7456 Edition: 2nd 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)
	1067.	Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / by Abrial, Jean-Raymond [editor.] Glässer, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5115 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)
	1068.	Algorithmic Aspects of Cloud Computing [electronic resource] : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by Alistarh, Dan [editor.] Delis, Alex [editor.] Pallis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10739 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)
	1069.	Algorithms for Computational Biology [electronic resource] : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings / by Jansson, Jesper [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 10849 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)
	1070.	Theory and Applications of Satisfiability Testing – SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by Beyersdorff, Olaf [editor.] Wintersteiger, Christoph M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10929 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)
	1071.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / by Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] Stapleton, Gem [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9501 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)
	1072.	Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / by Esparza, Javier [editor.] Fraigniaud, Pierre [editor.] Husfeldt, Thore [editor.] Koutsoupias, Elias [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8572 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)
	1073.	SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / by Geffert, Viliam [editor.] Preneel, Bart [editor.] Rovan, Branislav [editor.] Štuller, Július [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8327 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)
	1074.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings / by Cotta, Carlos [editor.] Cowling, Peter I [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5482 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)
	1075.	Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers / by Even, Guy [editor.] Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7355 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)
	1076.	Research in Computational Molecular Biology [electronic resource] : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings / by Miyano, Satoru [editor.] Mesirov, Jill [editor.] Kasif, Simon [editor.] Istrail, Sorin [editor.] Pevzner, Pavel [editor.] Waterman, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 3500 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)
	1077.	Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings / by Ganzha, V.G [editor.] Mayr, E.W [editor.] Vorozhtsov, E.V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4770 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)
	1078.	Algorithms for Computational Biology [electronic resource] : Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings / by Botón-Fernández, María [editor.] Martín-Vide, Carlos [editor.] Santander-Jiménez, Sergio [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9702 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)
	1079.	Cryptography and Security: From Theory to Applications [electronic resource] : Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / by Naccache, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6805 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)
	1080.	Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by Cook, Matthew [editor.] Neary, Turlough [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9664 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2583 results.