Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Theoretical Computer Science and General Issues and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	781.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / by Fitzgerald, John S [editor.] Haxthausen, Anne E [editor.] Yenigun, Husnu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5160 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)
	782.	Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Parisi-Presicce, Francesco [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9151 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)
	783.	Computational Logistics [electronic resource] : 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings / by González-Ramírez, Rosa G [editor.] Schulte, Frederik [editor.] Voß, Stefan [editor.] Ceroni Díaz, Jose A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8760 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)
	784.	SOFSEM 2018: Theory and Practice of Computer Science [electronic resource] : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / by Tjoa, A Min [editor.] Bellatreche, Ladjel [editor.] Biffl, Stefan [editor.] van Leeuwen, Jan [editor.] Wiedermann, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10706 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Edizioni della Normale, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	785.	Computational Science and Its Applications – ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] Karaca, Yeliz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12252 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	786.	Computational Science and Its Applications – ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] Karaca, Yeliz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12254 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	787.	Computational Science and Its Applications – ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] Karaca, Yeliz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12253 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	788.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngson [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3481 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)
	789.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	790.	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)
	791.	Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / by Guerraoui, Rachid [editor.] Romano, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8913 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)
	792.	Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by Nigam, Vivek [editor.] Ban Kirigin, Tajana [editor.] Talcott, Carolyn [editor.] Guttman, Joshua [editor.] Kuznetsov, Stepan [editor.] Thau Loo, Boon [editor.] Okada, Mitsuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12300 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	793.	Facing the Multicore-Challenge [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6310 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)
	794.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Soós, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5161 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)
	795.	Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / by Erdem, Esra [editor.] Lee, Joohyung [editor.] Lierler, Yuliya [editor.] Pearce, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7265 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)
	796.	Facing the Multicore-Challenge II [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7174 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)
	797.	Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / by Zsók, Viktória [editor.] Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7241 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)
	798.	Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / by Iida, Shusaku [editor.] Meseguer, José [editor.] Ogata, Kazuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8373 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)
	799.	Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / by Müller-Hannemann, Matthias [editor.] Schirra, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5971 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)
	800.	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4700 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 882 results.