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

Results
	1.	Modern computer algebra by Gathen, Joachim von zur Gerhard, Jurgen Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©2013 Availability: Items available for loan: IIITD (1)Call number: REF 512.002 JOA-M. Place hold Add to cart (remove)
	2.	Analyzing evolutionary algorithms : the computer science perspective by Jansen, Thomas Series: Natural computing series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2013 Availability: Items available for loan: IIITD (1)Call number: REF 006.3 JAN-A. Place hold Add to cart (remove)
	3.	Data structures, algorithms, and software principles in C by Standish, Thomas A Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts. : Addison-Wesley, ©1995 Availability: Items available for loan: IIITD (1)Call number: 005.133 STA-D. Place hold Add to cart (remove)
	4.	Data structures and algorithms using Python by Necaise, Rance D Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Wiley, ©2011 Availability: Items available for loan: IIITD (1)Call number: 005.73 NEC-D. Place hold Add to cart (remove)
	5.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	6.	Decision procedures : an algorithmic point of view by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science an EATCS Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 519.542 KRO-D. Add to cart (remove)
	7.	Algorithms – ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / by Bodlaender, Hans L [editor.] Italiano, Giuseppe F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8125 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)
	8.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 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)
	9.	Transactions on Computational Science X [electronic resource] : Special Issue on Security in Computing, Part I / by Gavrilova, Marina L [editor.] Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 6340 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)
	10.	Computer Algebra in Scientific Computing [electronic resource] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by Boulier, François [editor.] England, Matthew [editor.] Sadykov, Timur M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12865 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Optimization and Learning [electronic resource] : 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings / by Dorronsoro, Bernabé [editor.] Amodeo, Lionel [editor.] Pavone, Mario [editor.] Ruiz, Patricia [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1443 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Parallel Processing and Applied Mathematics [electronic resource] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4967 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)
	13.	Advances in Neural Networks – ISNN 2019 [electronic resource] : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I / by Lu, Huchuan [editor.] Tang, Huajin [editor.] Wang, Zhanshan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11554 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Models, Mindsets, Meta: The What, the How, and the Why Not? [electronic resource] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by Margaria, Tiziana [editor.] Graf, Susanne [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11200 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Mavronicolas, Marios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13898 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Experimental Algorithms [electronic resource] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / by Bampis, Evripidis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9125 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)
	17.	Algorithms - ESA 2014 [electronic resource] : 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings / by Schulz, Andreas S [editor.] Wagner, Dorothea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8737 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)
	18.	Internet of Vehicles. Technologies and Services for Smart Cities [electronic resource] : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings / by Peng, Sheng-Lung [editor.] Lee, Guan-Ling [editor.] Klette, Reinhard [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10689 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)
	19.	Computing and Software Science [electronic resource] : State of the Art and Perspectives / by Steffen, Bernhard [editor.] Woeginger, Gerhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10000 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Analysis of Experimental Algorithms [electronic resource] : Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / by Kotsireas, Ilias [editor.] Pardalos, Panos [editor.] Parsopoulos, Konstantinos E [editor.] Souravlias, Dimitris [editor.] Tsokas, Arsenis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11544 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 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 748 results.