Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Operating systems Computers and su-to:Operating Systems and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4111 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)
	42.	Information Security Applications [electronic resource] : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers / by Chae, Kijoon [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2908 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)
	43.	Formal Techniques for Networked and Distributed Systems - FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / by Derrick, John [editor.] Vain, Jüri [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4574 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)
	44.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / by Devismes, Stéphane [editor.] Mittal, Neeraj [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12514 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.	Applied Cryptography and Network Security [electronic resource] : 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings / by Ateniese, Giuseppe [editor.] Venturi, Daniele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13269 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.	Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings / by Rajsbaum, Sergio [editor.] Balliu, Alkida [editor.] Daymude, Joshua J [editor.] Olivetti, Dennis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13892 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)
	47.	Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by Parter, Merav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13298 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)
	48.	Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Navarro-Arribas, Guillermo [editor.] Cavalli, Ana [editor.] Leneutre, Jean [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6514 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)
	49.	Parallel Processing and Applied Mathematics [electronic resource] : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Deelman, Ewa [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12044 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)
	50.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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)
	51.	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / by Ramalingam, G [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5356 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)
	52.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3655 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)
	53.	Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3657 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.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 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)
	55.	Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Koutny, Maciej [editor.] Kristensen, Lars Michael [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs [electronic resource] : 12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22–25, 2022, Revised Selected Papers / by Ndayizigamiye, Patrick [editor.] Twinomurinzi, Hossana [editor.] Kalema, Billy [editor.] Bwalya, Kelvin [editor.] Bembe, Mncedisi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1774 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)
	57.	Blockchain Technology and Application [electronic resource] : Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers / by Xu, Ke [editor.] Zhu, Jianming [editor.] Song, Xianhua [editor.] Lu, Zeguang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1305 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Financial Cryptography and Data Security [electronic resource] : 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I / by Borisov, Nikita [editor.] Diaz, Claudia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12674 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	59.	Information Processing in Medical Imaging [electronic resource] : 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings / by Chung, Albert C. S [editor.] Gee, James C [editor.] Yushkevich, Paul A [editor.] Bao, Siqi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11492 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)
	60.	Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by Chandrasekaran, Sunita [editor.] Juckeland, Guido [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10732 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 399 results.