Results of search for 'ccl=su:{Operating Systems.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Theory of Cryptography [electronic resource] : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by Kilian, Joe [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3378 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)
	402.	Euro-Par 2014: Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings / by Silva, Fernando [editor.] Dutra, Inês [editor.] Santos Costa, Vitor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8632 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)
	403.	Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings / by Nikoletseas, Sotiris [editor.] Chlebus, Bogdan [editor.] Johnson, David B [editor.] Krishnamachari, Bhaskar [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5067 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)
	404.	Advanced Parallel Processing Technologies [electronic resource] : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings / by Dou, Yong [editor.] Lin, Haixiang [editor.] Sun, Guangyu [editor.] Wu, Junjie [editor.] Heras, Dora [editor.] Bougé, Luc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10561 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)
	405.	Usability and Internationalization. HCI and Culture [electronic resource] : Second International Conference on Usability and Internationalization, UI-HCII 2007, held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / by Aykin, Nuray [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4559 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)
	406.	Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by Martin, David [editor.] Serjantov, Andrei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3424 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)
	407.	Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / by Yang, Laurence T [editor.] Zhou, Xingshe [editor.] Zhao, Wei [editor.] Wu, Zhaohui [editor.] Zhu, Yian [editor.] Lin, Man [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3820 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)
	408.	Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / by Atkinson, Colin [editor.] Bunse, Christian [editor.] Gross, Hans-Gerhard [editor.] Peper, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3778 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)
	409.	Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by Van Roy, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3389 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)
	410.	Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5910 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)
	411.	Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / by Clark, John A [editor.] Paige, Richard F [editor.] Polack, Fiona A.C [editor.] Brooke, Phillip J [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3934 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)
	412.	Software Engineering for Resilient Systems [electronic resource] : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings / by Avgeriou, Paris [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7527 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)
	413.	Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / by Aichernig, Bernhard K [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6957 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)
	414.	Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by Brodman, James [editor.] Tu, Peng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8967 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)
	415.	Information Security and Cryptology [electronic resource] : First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings / by Feng, Dengguo [editor.] Lin, Dongdai [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3822 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)
	416.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Dunne, Steve [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4010 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)
	417.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Meyer, Bertrand [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4171 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)
	418.	Progress in Cryptology -- AFRICACRYPT 2011 [electronic resource] : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011, Proceedings / by Nitaj, Abderrahmane [editor.] Pointcheval, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6737 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)
	419.	Emerging Trends in Information and Communication Security [electronic resource] : International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / by Müller, Günter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3995 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)
	420.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4121 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 807 results.