Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'se,phr:"Programming and Software Engineering '

Your cart is empty.

FEEDBACK

Your search returned 81 results.

	41.	Programming with Actors [electronic resource] :State-of-the-Art and Research Perspectives / by Ricci, Alessandro [editor.] \| Haller, Philipp [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	42.	Software Architecture [electronic resource] :12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings / by Cuesta, Carlos E [editor.] \| Garlan, David [editor.] \| Pérez, Jennifer [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	43.	Integrated Formal Methods [electronic resource] :14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by Furia, Carlo A [editor.] \| Winter, Kirsten [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	44.	Computer Safety, Reliability, and Security [electronic resource] :SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / by Gallina, Barbara [editor.] \| Skavhaug, Amund [editor.] \| Schoitsch, Erwin [editor.] \| Bitsch, Friedemann [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	45.	Rules and Reasoning [electronic resource] :Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] \| Ricca, Francesco [editor.] \| Parent, Xavier [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	46.	Reversible Computation [electronic resource] :10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by Kari, Jarkko [editor.] \| Ulidowski, Irek [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	47.	Software Technologies: Applications and Foundations [electronic resource] :STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by Mazzara, Manuel [editor.] \| Ober, Iulian [editor.] \| Salaün, Gwen [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	48.	System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [electronic resource] :10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / by Khendek, Ferhat [editor.] \| Gotzhein, Reinhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	49.	Formal Aspects of Component Software [electronic resource] :15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by Bae, Kyungmin [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	50.	Computer Performance Engineering [electronic resource] :15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / by Bakhshi, Rena [editor.] \| Ballarini, Paolo [editor.] \| Barbot, Benoît [editor.] \| Castel-Taleb, Hind [editor.] \| Remke, Anne [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	51.	New Opportunities for Software Reuse [electronic resource] :17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / by Capilla, Rafael [editor.] \| Gallina, Barbara [editor.] \| Cetina, Carlos [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	52.	Reliable Software Technologies – Ada-Europe 2018 [electronic resource] :23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Casimiro, António [editor.] \| Ferreira, Pedro M [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	53.	Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] :International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	54.	On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] :Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / by Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	55.	Principles of Modeling [electronic resource] :Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by Lohstroh, Marten [editor.] \| Derler, Patricia [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	56.	Static Analysis [electronic resource] :25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by Podelski, Andreas [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	57.	On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] :Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / by Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	58.	Formal Methods for Industrial Critical Systems [electronic resource] :23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Howar, Falk [editor.] \| Barnat, Jiří [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	59.	Model and Data Engineering [electronic resource] :8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	60.	Service-Oriented Computing [electronic resource] :16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by Pahl, Claus [editor.] \| Vukovic, Maja [editor.] \| Yin, Jianwei [editor.] \| Yu, Qi [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

Refine your search

Authors

Item types

Series

Topics