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

Results
	81.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Gorrieri, Roberto [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4037 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)
	82.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6853 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)
	83.	Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Kobayashi, Naoki [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4279 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)
	84.	Computer Security - ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / by Gritzalis, Dimitris [editor.] Preneel, Bart [editor.] Theoharidou, Marianthi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6345 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)
	85.	Implementation and Application of Automata [electronic resource] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings / by Maneth, Sebastian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5642 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	86.	Recent Advances in Intrusion Detection [electronic resource] : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, Proceedings / by Jha, Somesh [editor.] Sommer, Robin [editor.] Kreibich, Christian [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6307 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)
	87.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / by Barthe, Gilles [editor.] Gregoire, Benjamin [editor.] Huisman, Marieke [editor.] Lanet, Jean-Luis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3956 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)
	88.	Trust and Trustworthy Computing [electronic resource] : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings / by Acquisti, Alessandro [editor.] Smith, Sean W [editor.] Sadeghi, Ahmad-Reza [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6101 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)
	89.	Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3780 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)
	90.	Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by Falcone, Yliès [editor.] Sánchez, César [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10012 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)
	91.	Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings / by Abrahamsson, Pekka [editor.] Marchesi, Michele [editor.] Succi, Giancarlo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4044 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)
	92.	Graph Transformation [electronic resource] : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / by de Lara, Juan [editor.] Plump, Detlef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10373 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)
	93.	Public Key Infrastructure [electronic resource] : 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings / by Mjølsnes, Stig F [editor.] Mauw, Sjouke [editor.] Katsikas, Sokratis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5057 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)
	94.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings / by Giacobini, Mario [editor.] Brabazon, Anthony [editor.] Cagnoni, Stefano [editor.] Ekart, Aniko [editor.] Esparcia-Alcázar, Anna I [editor.] Farooq, Muddassar [editor.] Fink, Andreas [editor.] Machado, Penousal [editor.] McCormack, Jon [editor.] O'Neill, Michael [editor.] Neri, Ferrante [editor.] Preuss, Mike [editor.] Rothlauf, Franz [editor.] Tarantino, Ernesto [editor.] Yang, Shengxiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5484 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings / by Dearle, Alan [editor.] Eisenbach, Susan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3798 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)
	96.	NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / by Bobaru, Mihaela [editor.] Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6617 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)
	97.	Wireless Algorithms, Systems, and Applications [electronic resource] : 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings / by Pandurangan, Gopal [editor.] Kumar, V. S. Anil [editor.] Ming, Gu [editor.] Liu, Yunhao [editor.] Li, Yingshu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6221 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)
	98.	Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Kutvonen, Lea [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3543 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)
	99.	Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / by Bonsangue, Marcello M [editor.] Madelaine, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5751 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	100.	Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by Sloot, P.M.A [editor.] Hoekstra, A.G [editor.] Priol, T [editor.] Reinefeld, A [editor.] Bubak, M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3470 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 160 results.