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
	21.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / by Kleijn, Jetty [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4546 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)
	22.	Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / by Cuellar, Jorge [editor.] Lopez, Javier [editor.] Barthe, Gilles [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6710 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)
	23.	Communications and Multimedia Security [electronic resource] : 12th IFIP TC 6/TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21, 2011, Proceedings / by De Decker, Bart [editor.] Lapon, Jorn [editor.] Naessens, Vincent [editor.] Uhl, Andreas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7025 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)
	24.	Structural Information and Communication Complexity [electronic resource] : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by Censor-Hillel, Keren [editor.] Flammini, Michele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11639 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)
	25.	Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / by Bloem, Roderick [editor.] Lipp, Peter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8292 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Gaspers, Serge [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10491 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)
	27.	Parallel Computational Technologies [electronic resource] : 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1263 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)
	28.	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3923 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)
	29.	Secure Data Management [electronic resource] : Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings / by Jonker, Willem [editor.] Petkovic, Milan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3674 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)
	30.	Theory of Cryptography [electronic resource] : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings / by Halevi, Shai [editor.] Rabin, Tal [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3876 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)
	31.	Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings / by Takagi, Tsuyoshi [editor.] Wang, Guilin [editor.] Qin, Zhiguang [editor.] Jiang, Shaoquan [editor.] Yu, Yong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7496 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)
	32.	Blockchain Technology and Application [electronic resource] : Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11–13, 2019, Revised Selected Papers / by Si, Xueming [editor.] Jin, Hai [editor.] Sun, Yi [editor.] Zhu, Jianming [editor.] Zhu, Liehuang [editor.] Song, Xianhua [editor.] Lu, Zeguang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1176 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8430 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	Blockchain and Trustworthy Systems [electronic resource] : 4th International Conference, BlockSys 2022, Chengdu, China, August 4–5, 2022, Revised Selected Papers / by Svetinovic, Davor [editor.] Zhang, Yin [editor.] Luo, Xiapu [editor.] Huang, Xiaoyan [editor.] Chen, Xingping [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1679 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Cryptology and Network Security [electronic resource] : 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings / by Desmedt, Yvo G [editor.] Wang, Huaxiong [editor.] Mu, Yi [editor.] Li, Yongqing [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3810 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)
	36.	Transactions on Computational Science XXXIII [electronic resource] / by Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 10990 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)
	37.	Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / by Focardi, Riccardo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2946 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)
	38.	Advances in Cryptology - CRYPTO 2006 [electronic resource] : 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings / by Dwork, Cynthia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4117 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)
	39.	Secure Data Management [electronic resource] : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings / by Jonker, Willem [editor.] Petkovic, Milan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3178 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)
	40.	Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by Boyd, Colin [editor.] González Nieto, Juan M [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3574 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 399 results.