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

Results
	2581.	Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by Heineman, George [editor.] Crnkovic, Ivica [editor.] Schmidt, Heinz W [editor.] Stafford, Judith A [editor.] Szyperski, Clemens [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3489 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)
	2582.	Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / by Mukund, Madhavan [editor.] Chakraborty, Supratik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7561 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)
	2583.	Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / by Dix, Jürgen [editor.] Fisher, Michael [editor.] Novák, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6214 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)
	2584.	On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3762 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)
	2585.	Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / by Fiadeiro, José [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4961 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)
	2586.	Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / by Ehrig, Hartmut [editor.] Rensink, Arend [editor.] Rozenberg, Grzegorz [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6372 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)
	2587.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / by Ramakrishnan, C.R [editor.] Rehof, Jakob [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4963 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)
	2588.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by Davis, Martin [editor.] Fehnker, Ansgar [editor.] McIver, Annabelle [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9450 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2589.	Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by Blanchette, Jasmin Christian [editor.] Kosmatov, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9154 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)
	2590.	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8734 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)
	2591.	Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / by Bernardo, Marco [editor.] Degano, Pierpaolo [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5016 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)
	2592.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3385 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)
	2593.	Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III / by Wang, Lipo [editor.] Chen, Ke [editor.] Ong, Yew Soon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3612 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)
	2594.	Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008, Proceedings / by Bellovin, Steven M [editor.] Gennaro, Rosario [editor.] Keromytis, Angelos D [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5037 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)
	2595.	Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings / by Carette, Jacques [editor.] Dixon, Lucas [editor.] Sacerdoti Coen, Claudio [editor.] Watt, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5625 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)
	2596.	Information Security [electronic resource] : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / by Bishop, Matt [editor.] Nascimento, Anderson C A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9866 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)
	2597.	Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Kutvonen, Lea [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3543 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)
	2598.	Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers [electronic resource] : 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings / by Goh, Dion Hoe Lian [editor.] Cao, Tru Hoang [editor.] Sølvberg, Ingeborg [editor.] Rasmussen, Edie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4822 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)
	2599.	Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / by Wolff, Burkhard [editor.] Gaudel, Marie-Claude [editor.] Feliachi, Abderrahmane [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7681 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2600.	Language, Culture, Computation: Computing - Theory and Technology [electronic resource] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I / by Dershowitz, Nachum [editor.] Nissan, Ephraim [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8001 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.