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

Results
	21.	NASA Formal Methods [electronic resource] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by Rayadurgam, Sanjai [editor.] Tkachuk, Oksana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9690 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Cloud Computing and Services Science [electronic resource] : 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by Ferguson, Donald [editor.] Pahl, Claus [editor.] Helfert, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1399 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)
	23.	Search Based Software Engineering [electronic resource] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / by Menzies, Tim [editor.] Petke, Justyna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10452 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)
	24.	Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings / by Lee, Yann-Hang [editor.] Kim, Heung-Nam [editor.] Kim, Jong [editor.] Park, Yongwan [editor.] Yang, Laurence T [editor.] Kim, Sung Won [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4523 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)
	25.	OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity [electronic resource] : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers / by Pophale, Swaroop [editor.] Imam, Neena [editor.] Aderholdt, Ferrol [editor.] Gorentla Venkata, Manjunath [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11283 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)
	26.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by Ciardo, Gianfranco [editor.] Darondeau, Philippe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3536 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)
	27.	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)
	28.	Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings / by Park, James J [editor.] Zomaya, Albert Y [editor.] Yeo, Sang-Soo [editor.] Sahni, Sartaj [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7513 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)
	29.	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)
	30.	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)
	31.	The Authoritative Guide on Harbor [electronic resource] : Management and Practice of Cloud Native Artifacts Such as Container Images and Helm Charts / by Zhang, Haining [author.] Wang, Yan [author.] SpringerLink (Online service) 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)
	32.	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)
	33.	Architecture of Computing Systems -- ARCS 2014 [electronic resource] : 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings / by Maehle, Erik [editor.] Römer, Kay [editor.] Karl, Wolfgang [editor.] Tovar, Eduardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8350 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.	Coordination Models and Languages [electronic resource] : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by Riis Nielson, Hanne [editor.] Tuosto, Emilio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11533 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)
	35.	Augmented Cognition [electronic resource] : 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by Schmorrow, Dylan D [editor.] Fidopiastis, Cali M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11580 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)
	36.	UbiComp 2005: Ubiquitous Computing [electronic resource] : 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings / by Beigl, Michael [editor.] Intille, Stephen [editor.] Rekimoto, Jun [editor.] Tokuda, Hideyuki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3660 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)
	37.	Information Networking Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / by Chong, Ilyoung [editor.] Kawahara, Kenji [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3961 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)
	38.	Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Chen, Qingfeng [author.] Zhang, Chengqi [author.] Zhang, Shichao [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5111 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)
	39.	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)
	40.	Dependability Metrics [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures / by Eusgeld, Irene [editor.] Freiling, Felix [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4909 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 308 results.