Results of search for 'ccl=su:{Computation} and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	261.	Search Computing [electronic resource] : Broadening Web Search / by Ceri, Stefano [editor.] Brambilla, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7538 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)
	262.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9953 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)
	263.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings / by Wolter, Katinka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4748 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)
	264.	Transactions on Computational Collective Intelligence V [electronic resource] / by Nguyen, Ngoc Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6910 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)
	265.	Computational Methods in Systems Biology [electronic resource] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by Bartocci, Ezio [editor.] Lio, Pietro [editor.] Paoletti, Nicola [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9859 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)
	266.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by Degano, Pierpaolo [editor.] de Nicola, Rocco [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5065 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)
	267.	Transactions on Computational Collective Intelligence XXVII [electronic resource] / by Mercik, Jacek [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 10480 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)
	268.	FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / by Fitzgerald, John [editor.] Heitmeyer, Constance [editor.] Gnesi, Stefania [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9995 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)
	269.	Search Computing [electronic resource] : Challenges and Directions / by Ceri, Stefano [editor.] Brambilla, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5950 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)
	270.	Performance Evaluation and Benchmarking [electronic resource] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5895 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)
	271.	Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III / by Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4707 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)
	272.	International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4767 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)
	273.	Euro-Par 2007 Parallel Processing [electronic resource] : 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings / by Kermarrec, Anne-Marie [editor.] Bougé, Luc [editor.] Priol, Thierry [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4641 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)
	274.	Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / by Najm, Elie [editor.] Pradat-Peyre, Jean-Francois [editor.] Donzeau-Gouge, Véronique Viguié [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4229 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)
	275.	Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I / by Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4705 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)
	276.	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by Liu, Zhiming [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3407 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)
	277.	Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings / by Butler, Michael [editor.] Hinchey, Michael G [editor.] Larrondo-Petrie, Maria M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4789 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)
	278.	Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Bernardo, Marco [editor.] Corradini, Flavio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3185 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)
	279.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I / by Sunderam, V.S [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, J. J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3514 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)
	280.	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings / by Arvind, V [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4855 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 896 results.