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:Computer engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings / by Gaudin, Emmanuel [editor.] Najm, Élie [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4745 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)
	42.	Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by Rosenfeld, Ariel [editor.] Talmon, Nimrod [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12802 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)
	43.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 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)
	44.	Algorithmic Aspects of Cloud Computing [electronic resource] : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by Brandic, Ivona [editor.] Genez, Thiago A. L [editor.] Pietri, Ilia [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12041 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)
	45.	Computational Science – ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by Groen, Derek [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 ; 13350 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)
	46.	Applied Computer Sciences in Engineering [electronic resource] : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by Figueroa-García, Juan Carlos [editor.] Garay-Rairán, Fabián Steven [editor.] Hernández-Pérez, Germán Jairo [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1274 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)
	47.	Parallel Processing and Applied Mathematics [electronic resource] : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Deelman, Ewa [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10778 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)
	48.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	49.	High Performance Computing – HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings / by Bader, David A [editor.] Parashar, Manish [editor.] Sridhar, V [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3769 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)
	50.	Membrane Computing [electronic resource] : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by Freund, Rudolf [editor.] Ishdorj, Tseren-Onolt [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12687 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)
	51.	Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I / by Roll, Ido [editor.] McNamara, Danielle [editor.] Sosnovsky, Sergey [editor.] Luckin, Rose [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12748 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)
	52.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13372 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)
	53.	Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings / by Liew, Kim-Meow [editor.] Shen, Hong [editor.] See, Simon [editor.] Cai, Wentong [editor.] Fan, Pingzhi [editor.] Horiguchi, Susumu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3320 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)
	54.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12735 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)
	55.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 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)
	56.	Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by O'Reilly, Una-May [editor.] Devroey, Xavier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12914 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)
	57.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Fantechi, Alessandro [editor.] Lecomte, Thierry [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10598 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)
	58.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	59.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 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)
	60.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 151 results.