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
	621.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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)
	622.	Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / by Calvo, Hiram [editor.] Martínez-Villaseñor, Lourdes [editor.] Ponce, Hiram [editor.] Zatarain Cabada, Ramón [editor.] Montes Rivera, Martín [editor.] Mezura-Montes, Efrén [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14502 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	623.	Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Börger, Egon [author.] Gervasi, Vincenzo [author.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	624.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3483 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)
	625.	SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / by Wiedermann, Jirí [editor.] Tel, Gerard [editor.] Pokorný, Jaroslav [editor.] Bieliková, Mária [editor.] Štuller, Július [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3831 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)
	626.	Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / by Koutny, Maciej [editor.] Bergenthum, Robin [editor.] Ciardo, Gianfranco [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 14150 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	627.	Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers / by Yavorskiy, Rostislav [editor.] Cavalli, Ana Rosa [editor.] Kalenkova, Anna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1559 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	628.	Computer and Communication Engineering [electronic resource] : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by Botto-Tobar, Miguel [editor.] Barzola-Monteses, Julio [editor.] Santos-Baquerizo, Eduardo [editor.] Espinoza-Andaluz, Mayken [editor.] Yánez-Pazmiño, Wendy [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 959 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)
	629.	Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I / by Nowaczyk, Sławomir [editor.] Biecek, Przemysław [editor.] Chung, Neo Christopher [editor.] Vallati, Mauro [editor.] Skruch, Paweł [editor.] Jaworek-Korjakowska, Joanna [editor.] Parkinson, Simon [editor.] Nikitas, Alexandros [editor.] Atzmüller, Martin [editor.] Kliegr, Tomáš [editor.] Schmid, Ute [editor.] Bobek, Szymon [editor.] Lavrac, Nada [editor.] Peeters, Marieke [editor.] van Dierendonck, Roland [editor.] Robben, Saskia [editor.] Mercier-Laurent, Eunika [editor.] Kayakutlu, Gülgün [editor.] Owoc, Mieczyslaw Lech [editor.] Mason, Karl [editor.] Wahid, Abdul [editor.] Bruno, Pierangela [editor.] Calimeri, Francesco [editor.] Cauteruccio, Francesco [editor.] Terracina, Giorgio [editor.] Wolter, Diedrich [editor.] Leidner, Jochen L [editor.] Kohlhase, Michael [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1947 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	630.	Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II / by Nowaczyk, Sławomir [editor.] Biecek, Przemysław [editor.] Chung, Neo Christopher [editor.] Vallati, Mauro [editor.] Skruch, Paweł [editor.] Jaworek-Korjakowska, Joanna [editor.] Parkinson, Simon [editor.] Nikitas, Alexandros [editor.] Atzmüller, Martin [editor.] Kliegr, Tomáš [editor.] Schmid, Ute [editor.] Bobek, Szymon [editor.] Lavrac, Nada [editor.] Peeters, Marieke [editor.] van Dierendonck, Roland [editor.] Robben, Saskia [editor.] Mercier-Laurent, Eunika [editor.] Kayakutlu, Gülgün [editor.] Owoc, Mieczyslaw Lech [editor.] Mason, Karl [editor.] Wahid, Abdul [editor.] Bruno, Pierangela [editor.] Calimeri, Francesco [editor.] Cauteruccio, Francesco [editor.] Terracina, Giorgio [editor.] Wolter, Diedrich [editor.] Leidner, Jochen L [editor.] Kohlhase, Michael [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1948 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	631.	Infrared Small Target Detection [electronic resource] : Theory, Methods, and Algorithms. / by Zhu, Hu [author.] Pan, Yushan [author.] Deng, Lizhen [author.] Xu, Guoxia [author.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	632.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / by Ando, Noriako [editor.] Balakirsky, Stephen [editor.] Hemker, Thomas [editor.] Reggiani, Monica [editor.] von Stryk, Oskar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6472 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)
	633.	The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / by d'Amato, Claudia [editor.] Fernandez, Miriam [editor.] Tamma, Valentina [editor.] Lecue, Freddy [editor.] Cudré-Mauroux, Philippe [editor.] Sequeda, Juan [editor.] Lange, Christoph [editor.] Heflin, Jeff [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10587 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)
	634.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14570 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	635.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14571 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	636.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14572 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	637.	Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	638.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	639.	Unifying Petri Nets [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Juhas, Gabriel [editor.] Padberg, Julia [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2128 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	640.	Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / by Wiedijk, Freek [editor.] Maler, Oded [editor.] Pnueli, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2623 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)