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

Results
	4241.	Interactive Theorem Proving [electronic resource] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by Blanchette, Jasmin Christian [editor.] Merz, Stephan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9807 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)
	4242.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II / by Sunderam, V.S [editor.] Albada, G. Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3515 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)
	4243.	Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings / by Pasareanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5578 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)
	4244.	ECOOP - Object-Oriented Programming [electronic resource] : 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings / by Ernst, Erik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4609 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)
	4245.	On the Move to Meaningful Internet Systems: OTM 2014 Conferences [electronic resource] : Confederated International Conferences: CoopIS and ODBASE 2014, Amantea, Italy, October 27-31, 2014. Proceedings / by Meersman, Robert [editor.] Panetto, Herve [editor.] Dillon, Tharam [editor.] Missikoff, Michele [editor.] Liu, Lin [editor.] Pastor, Oscar [editor.] Cuzzocrea, Alfredo [editor.] Sellis, Timos [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8841 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)
	4246.	Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / by Tinelli, Cesare [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6989 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)
	4247.	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / by Palsberg, Jens [editor.] Su, Zhendong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5673 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)
	4248.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Kowalewski, Stefan [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5505 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)
	4249.	Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings / by Miesenberger, Klaus [editor.] Klaus, Joachim [editor.] Zagler, Wolfgang [editor.] Karshmer, Arthur [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5105 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)
	4250.	Managing the Dynamics of Networks and Services [electronic resource] : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011, Proceedings / by Chrisment, Isabelle [editor.] Couch, Alva [editor.] Badonnel, Rémi [editor.] Waldburger, Martin [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6734 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)
	4251.	Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / by Cellier, Peggy [editor.] Distel, Felix [editor.] Ganter, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7880 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)
	4252.	Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II / by Wang, Fu Lee [editor.] Deng, Hepu [editor.] Lei, Jingsheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6320 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)
	4253.	Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings / by Heuser, Carlos A [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5833 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)
	4254.	Solving Software Challenges for Exascale [electronic resource] : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by Markidis, Stefano [editor.] Laure, Erwin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8759 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)
	4255.	ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012, Proceedings / by Auweter, Axel [editor.] Kranzlmüller, Dieter [editor.] Tahamtan, Amirreza [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7453 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)
	4256.	Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings / by Jedlitschka, Andreas [editor.] Salo, Outi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5089 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)
	4257.	Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / by Bordini, Rafael H [editor.] Dastani, Mehdi [editor.] Seghrouchni, Amal El Fallah [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3346 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)
	4258.	Frontiers in Algorithmics [electronic resource] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings / by Deng, Xiaotie [editor.] Hopcroft, John E [editor.] Xue, Jinyun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5598 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)
	4259.	Management of Converged Multimedia Networks and Services [electronic resource] : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008, Proceedings / by Pavlou, George [editor.] Ahmed, Toufik [editor.] Dagiuklas, Tasos [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5274 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)
	4260.	Perspectives of System Informatics [electronic resource] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / by Voronkov, Andrei [editor.] Virbitskaite, Irina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8974 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7037 results.