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

Results
	281.	Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by Dongol, Brijesh [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12546 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	282.	Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Caron, Pascal [editor.] Mignot, Ludovic [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13266 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	283.	Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3188 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)
	284.	Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / by Alur, Rajeev [editor.] Pappas, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2993 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)
	285.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 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 Jensen, Kurt [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2988 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)
	286.	Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Ayala-Rincón, Mauricio [editor.] Muñoz, César A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10499 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)
	287.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / by Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10471 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)
	288.	Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10479 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)
	289.	Advances in Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / by Benferhat, Salem [editor.] Tabia, Karim [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10350 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)
	290.	Model-Driven Architecture - Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / by Rensink, Arend [editor.] Warmer, Jos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4066 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)
	291.	Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings / by Liu, Benyuan [editor.] Bestavros, Azer [editor.] Du, Ding-Zhu [editor.] Wang, Jie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5682 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)
	292.	Web Engineering [electronic resource] : 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings / by Baresi, Luciano [editor.] Fraternali, Piero [editor.] Houben, Geert-Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4607 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)
	293.	Parallel Processing and Applied Mathematics, Part II [electronic resource] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6068 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)
	294.	Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by Calimeri, Francesco [editor.] Hamlen, Kevin [editor.] Leone, Nicola [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10702 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	295.	Topics in Cryptology – CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by Smart, Nigel P [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10808 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	296.	Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by Colombo, Christian [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11237 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	297.	Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings / by Burgeth, Bernhard [editor.] Kleefeld, Andreas [editor.] Naegel, Benoît [editor.] Passat, Nicolas [editor.] Perret, Benjamin [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11564 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)
	298.	Formal Methods [electronic resource] : An Appetizer / by Nielson, Flemming [author.] Riis Nielson, Hanne [author.] SpringerLink (Online service) 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)
	299.	Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV / by Sun, Xingming [editor.] Pan, Zhaoqing [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11635 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)
	300.	Progress in Cryptology – LATINCRYPT 2017 [electronic resource] : 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers / by Lange, Tanja [editor.] Dunkelman, Orr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11368 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.