Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Software Engineering and su-to:Software engineering and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	201.	Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 13220 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	202.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10475 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	203.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10476 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	204.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14074 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	205.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Hojjat, Hossein [editor.] Ábrahám, Erika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14155 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	206.	Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9632 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)
	207.	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings / by Davies, Jim [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4591 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)
	208.	SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings / by Bieliková, Maria [editor.] Charon-Bost [editor.] Sýkora, Ondrej [editor.] Vojtás, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3381 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)
	209.	Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / by Hespanha, Joao [editor.] Tiwari, Ashish [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3927 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)
	210.	Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / by Collet, Pierre [editor.] Tomassini, Marco [editor.] Ebner, Marc [editor.] Gustafson, Steven [editor.] Ekárt, Anikó [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3905 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)
	211.	Theoretical Aspects of Computing - ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jones [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4711 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)
	212.	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / by Jin, Hai [editor.] Gao, Guangrong [editor.] Xu, Zhiwei [editor.] Chen, Hao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3222 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)
	213.	Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Dimuro, Graçaliz Pereira [editor.] Antunes, Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10798 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)
	214.	Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Martins, Tiago [editor.] Rodríguez-Fernández, Nereida [editor.] Rebelo, Sérgio M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13221 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	215.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10477 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	216.	Programming Languages and Systems [electronic resource] : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10201 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	217.	Transactions on Computational Collective Intelligence III [electronic resource] / by Nguyen, Ngoc Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6560 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)
	218.	Finite Difference Methods,Theory and Applications [electronic resource] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / by Dimov, Ivan [editor.] Faragó, István [editor.] Vulkov, Lubin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9045 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)
	219.	Unifying Theories of Programming [electronic resource] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / by Bowen, Jonathan P [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10134 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)
	220.	Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / by Lilius, Johan [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6128 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 835 results.