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

Results
	4421.	The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Ganesalingam, Mohan [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7805 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)
	4422.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings / by Serna, Maria [editor.] Shaltiel, Ronen [editor.] Jansen, Klaus [editor.] Rolim, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6302 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)
	4423.	Graphical Models for Security [electronic resource] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / by Kordy, Barbara [editor.] Ekstedt, Mathias [editor.] Kim, Dong Seong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9987 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)
	4424.	The Semantic Web: Research and Applications [electronic resource] : 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings / by Sure, York [editor.] Domingue, John [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4011 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)
	4425.	Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings / by Yolum, Pinar [editor.] Güngör, Tunga [editor.] Gürgen, Fikret [editor.] Özturan, Can [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3733 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)
	4426.	Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / by Zaverucha, Gerson [editor.] Santos Costa, Vítor [editor.] Paes, Aline [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8812 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)
	4427.	Information Security and Cryptology - ICISC 2007 [electronic resource] : 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings / by Nam, Kil-Hyun [editor.] Rhee, Gwangsoo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4817 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)
	4428.	Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / by Archibald, Margaret [editor.] Brattka, Vasco [editor.] Goranko, Valentin F [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5489 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)
	4429.	Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization / by Stuckenschmidt, Heiner [editor.] Parent, Christine [editor.] Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5445 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)
	4430.	Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / by Hirt, Martin [editor.] Smith, Adam [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9985 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)
	4431.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Joshi, Rajeev [editor.] Müller, Peter [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7152 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)
	4432.	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / by Leavens, Gary T [editor.] O'Hearn, Peter [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6217 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)
	4433.	Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Lang, Frédéric [editor.] Flammini, Francesco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8718 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)
	4434.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9042 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)
	4435.	Diagrammatic Representation and Inference [electronic resource] : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings / by Dwyer, Tim [editor.] Purchase, Helen [editor.] Delaney, Aidan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8578 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)
	4436.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Wilson, Nic [editor.] Howse, John [editor.] Corby, Olivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7205 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)
	4437.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3983 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)
	4438.	Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / by Schreck, Pascal [editor.] Narboux, Julien [editor.] Richter-Gebert, Jürgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6877 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)
	4439.	Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / by Blackburn, Patrick [editor.] van Ditmarsch, Hans [editor.] Manzano, Maria [editor.] Soler-Toscano, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6680 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)
	4440.	Computing with Instinct [electronic resource] : Rediscovering Artificial Intelligence / by Cai, Yang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5897 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9105 results.