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
	161.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	162.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / by Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9268 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)
	163.	Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Gavrilova, Marina L [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Torre, Carmelo [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9156 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)
	164.	Unifying Theories of Programming [electronic resource] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by Ribeiro, Pedro [editor.] Sampaio, Augusto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11885 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)
	165.	High Performance Computing in Science and Engineering [electronic resource] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / by Kozubek, Tomáš [editor.] Blaheta, Radim [editor.] Šístek, Jakub [editor.] Rozložník, Miroslav [editor.] Čermák, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9611 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)
	166.	High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Dongarra, Jack [editor.] Hernández, Vincente [editor.] Palma, José M.L.M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3402 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)
	167.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Zarges, Christine [editor.] Verel, Sébastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12692 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)
	168.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings / by Müller, Matthias S [editor.] Chapman, Barbara [editor.] de Supinski, Bronis R [editor.] Malony, Allen D [editor.] Voss, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4315 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)
	169.	Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10982 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)
	170.	Enjoying Natural Computing [electronic resource] : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / by Graciani, Carmen [editor.] Riscos-Núñez, Agustín [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11270 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)
	171.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11427 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)
	172.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by Aceto, Luca [editor.] Damgaard, Ivan [editor.] Goldberg, Leslie Ann [editor.] Halldorsson, Magnus M [editor.] Ingolfsdottir, Anna [editor.] Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5126 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)
	173.	Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by Wu, Zhaohui [editor.] Guo, Minyi [editor.] Chen, Chun [editor.] Bu, Jiajun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3605 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)
	174.	Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / by Bolduc, Claude [editor.] Desharnais, Jules [editor.] Ktari, Bechir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6120 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)
	175.	Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / by Beckmann, Arnold [editor.] Dimitracopoulos, Costas [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5028 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)
	176.	Computational Science and Its Applications - ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV / by Taniar, David [editor.] Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Pardede, Eric [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6019 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)
	177.	Euro-Par 2009, Parallel Processing - Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops / by Lin, Hai-Xiang [editor.] Alexander, Michael [editor.] Forsell, Martti [editor.] Knüpfer, Andreas [editor.] Prodan, Radu [editor.] Sousa, Leonel [editor.] Streit, Achim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6043 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)
	178.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4431 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)
	179.	Wireless Algorithms, Systems, and Applications [electronic resource] : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings / by Cheng, Yu [editor.] Eun, Do Young [editor.] Qin, Zhiguang [editor.] Song, Min [editor.] Xing, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6843 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)
	180.	Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I / by Alexander, Michael [editor.] D'Ambra, Pasqua [editor.] Belloum, Adam [editor.] Bosilca, George [editor.] Cannataro, Mario [editor.] Danelutto, Marco [editor.] Di Martino, Beniamino [editor.] Gerndt, Michael [editor.] Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] Scott, Stephen L [editor.] Traff, Jesper Larsson [editor.] Vallee, Geoffroy [editor.] Weidendorfer, Josef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7155 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)