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
	1901.	Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003 Shanhai, China, December 7–10, 2003 Revised Papers, Part I / by Li, Minglu [editor.] Sun, Xian-He [editor.] Deng, Qianni [editor.] Ni, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3032 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)
	1902.	Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by Martí-Oliet, Narciso [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9200 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1903.	Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / by Baldoni, Roberto [editor.] Nisse, Nicolas [editor.] van Steen, Maarten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8304 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1904.	Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / by Baldoni, Matteo [editor.] Endriss, Ulle [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3904 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)
	1905.	Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Gupta, Gopal [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8901 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1906.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] Dash, Shubhransu Sekhar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8297 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1907.	Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Sokolsky, Oleg [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4839 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)
	1908.	Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Patitz, Matthew J [editor.] Stannett, Mike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10240 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)
	1909.	Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by Yao, Xin [editor.] Burke, Edmund [editor.] Lozano, Jose A [editor.] Smith, Jim [editor.] Merelo-Guervós, Juan J [editor.] Bullinaria, John A [editor.] Rowe, Jonathan [editor.] Tino, Peter [editor.] Kabán, Ata [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3242 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)
	1910.	Algorithms, Probability, Networks, and Games [electronic resource] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by Zaroliagis, Christos [editor.] Pantziou, Grammati [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9295 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1911.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Jobstmann, Barbara [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9583 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1912.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings / by Koch, Andreas [editor.] Krishnamurthy, Ram [editor.] McAllister, John [editor.] Woods, Roger [editor.] El-Ghazawi, Tarek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6578 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)
	1913.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / by Ouaknine, Joel [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5813 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)
	1914.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1915.	Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by Iliopoulos, Costas [editor.] Leong, Hon Wai [editor.] Sung, Wing-Kin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10979 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)
	1916.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / by Park, Ji Su [editor.] Takizawa, Hiroyuki [editor.] Shen, Hong [editor.] Park, James J [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 1112 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1917.	Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / by Arcaini, Paolo [editor.] Yue, Tao [editor.] Fredericks, Erik M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14415 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1918.	Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / by Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14380 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1919.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings / by Hermanns, Holger [editor.] Sun, Jun [editor.] Bu, Lei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14464 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1920.	Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by César, Eduardo [editor.] Alexander, Michael [editor.] Streit, Achim [editor.] Traff, Jesper Larsson [editor.] Cérin, Christophe [editor.] Knüpfer, Andreas [editor.] Kranzlmüller, Dieter [editor.] Jha, Shantenu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5415 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.