Results of search for 'ccl=copydate:"©2013"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1101.	Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / by Blazy, Sandrine [editor.] Paulin-Mohring, Christine [editor.] Pichardie, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7998 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)
	1102.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / by Bartocci, Ezio [editor.] Ramakrishnan, C. R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7976 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)
	1103.	Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings / by Pacino, Dario [editor.] Voß, Stefan [editor.] Jensen, Rune Møller [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8197 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)
	1104.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / by Duddy, Keith [editor.] Kappel, Gerti [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7909 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)
	1105.	Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings / by Fischer, Johannes [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7922 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)
	1106.	Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7979 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)
	1107.	Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings / by Bonifaci, Vincenzo [editor.] Demetrescu, Camil [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7933 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)
	1108.	Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013, Proceedings / by Greenberg, Ariel M [editor.] Kennedy, William G [editor.] Bos, Nathan D [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7812 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)
	1109.	Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / by Cossentino, Massimo [editor.] El Fallah Seghrouchni, Amal [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8245 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)
	1110.	Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings / by Brézillon, Patrick [editor.] Blackburn, Patrick [editor.] Dapoigny, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8175 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)
	1111.	Knowledge Engineering, Machine Learning and Lattice Computing with Applications [electronic resource] : 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers / by Grana, Manuel [editor.] Toro, Carlos [editor.] Howlett, Robert J [editor.] Jain, Lakhmi C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7828 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)
	1112.	Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / by Dueck, Gerhard W [editor.] Miller, D. Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7948 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)
	1113.	Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / by Jarvisalo, Matti [editor.] Van Gelder, Allen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7962 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)
	1114.	Advances in Soft Computing and Its Applications [electronic resource] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II / by Castro, Félix [editor.] Gelbukh, Alexander [editor.] González, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8266 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)
	1115.	Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / by Riguzzi, Fabrizio [editor.] Zelezny, Filip [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7842 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)
	1116.	Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 -- June 1, 2012, Revised Selected Papers / by Washio, Takashi [editor.] Luo, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7769 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)
	1117.	Algorithms and Models for the Web Graph [electronic resource] : 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings / by Bonato, Anthony [editor.] Mitzenmacher, Michael [editor.] Pralat, Pawel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8305 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)
	1118.	Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / by Czarnecki, Krzysztof [editor.] Hedin, Görel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7745 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)
	1119.	Advances in Computational Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II / by Batyrshin, Ildar [editor.] González Mendoza, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7630 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)
	1120.	Advances in Artificial Intelligence and Its Applications [electronic resource] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / by Castro, Félix [editor.] Gelbukh, Alexander [editor.] González Mendoza, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8265 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1343 results.