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

Results
	601.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Cimatti, Alessandro [editor.] Titolo, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14290 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	602.	Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Bubak, Marian [editor.] Albada, Geert Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3038 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)
	603.	Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2987 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)
	604.	Engineering Self-Organising Systems [electronic resource] : Nature-Inspired Approaches to Software Engineering / by Di Marzo Serugendo, Giovanna [editor.] Karageorgos, Anthony [editor.] Rana, Omer F [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2977 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)
	605.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngson [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3481 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)
	606.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	607.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers / by Kagström, Bo [editor.] Elmroth, Erik [editor.] Dongarra, Jack [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4699 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)
	608.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by Kreowski, Hans-Jörg [editor.] Montanari, Ugo [editor.] Orejas, Fernando [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3393 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)
	609.	Building a National Distributed e-Infrastructure -- PL-Grid [electronic resource] : Scientific and Technical Achievements / by Bubak, Marian [editor.] Szepieniec, Tomasz [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7136 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)
	610.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3800 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)
	611.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Soós, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5161 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)
	612.	Transactions of Computational Collective Intelligence IV [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6660 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)
	613.	The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / by Rausch, Andreas [editor.] Reussner, Ralf H [editor.] Mirandola, Raffaela [editor.] Plasil, Frantisek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5153 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)
	614.	Transactions on Aspect-Oriented Software Development V [electronic resource] : Focus: Aspects, Dependencies and Interactions. by SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5490 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)
	615.	Transactions on Computational Science I [electronic resource] / by Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 4750 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)
	616.	The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / by Streitz, Norbert [editor.] Kameas, Achilles [editor.] Mavrommati, Irene [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4500 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)
	617.	Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / by Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5235 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)
	618.	New Trends in Applied Artificial Intelligence [electronic resource] : 20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings / by Okuno, Hiroshi G [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4570 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)
	619.	Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Prodan, Radu [author.] Fahringer, Thomas [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4340 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)
	620.	Computational Science - ICCS 2007 [electronic resource] : 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV / by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4490 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.