Results of search for 'ccl=Provider:Springer, and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3581.	Transactions on Rough Sets V [electronic resource]. by SpringerLink (Online service) Series: Transactions on Rough Sets ; 4100 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)
	3582.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers / by Vetulani, Zygmunt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6562 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)
	3583.	Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / by Xu, Ming [editor.] Zhan, Yinwei [editor.] Cao, Jiannong [editor.] Liu, Yijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4847 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)
	3584.	Multi-Agent-Based Simulation XIV [electronic resource] : International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / by Alam, Shah Jamal [editor.] Parunak, H. Van Dyke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8235 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)
	3585.	Modelling and Simulation for Autonomous Systems [electronic resource] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by Hodicky, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9991 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)
	3586.	Cellular Automata [electronic resource] : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by El Yacoubi, Samira [editor.] Wąs, Jarosław [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9863 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)
	3587.	Public-Key Cryptography -- PKC 2014 [electronic resource] : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014, Proceedings / by Krawczyk, Hugo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8383 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)
	3588.	Public-Key Cryptography – PKC 2016 [electronic resource] : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II / by Cheng, Chen-Mou [editor.] Chung, Kai-Min [editor.] Persiano, Giuseppe [editor.] Yang, Bo-Yin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9615 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)
	3589.	Structural Information and Communication Complexity [electronic resource] : 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings / by Patt-Shamir, Boaz [editor.] Ekim, Tinaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6058 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)
	3590.	Advances in Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I / by Coron, Jean-Sébastien [editor.] Nielsen, Jesper Buus [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10210 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)
	3591.	Computer Algebra in Scientific Computing [electronic resource] : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings / by Ganzha, Victor G [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3718 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)
	3592.	Advances in Database Technology - EDBT 2006 [electronic resource] : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings / by Ioannidis, Yannis [editor.] Scholl, Marc H [editor.] Schmidt, Joachim W [editor.] Matthes, Florian [editor.] Hatzopoulos, Mike [editor.] Boehm, Klemens [editor.] Kemper, Alfons [editor.] Grust, Torsten [editor.] Boehm, Christian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3896 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)
	3593.	Model Driven Architecture - Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings / by Hartman, Alan [editor.] Kreische, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3748 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)
	3594.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by Barták, Roman [editor.] Milano, Michela [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3524 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)
	3595.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Beringer, Lennart [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7406 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)
	3596.	Financial Cryptography and Data Security [electronic resource] : 11th International Conference, FC 2007, and First International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad/Tobago, February 12-16, 2007. Revised Selected Papers / by Dietrich, Sven [editor.] Dhamija, Rachna [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4886 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)
	3597.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II / by Flach, Peter A [editor.] De Bie, Tijl [editor.] Cristianini, Nello [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7524 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)
	3598.	Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Huisman, Marieke [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10202 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3599.	Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 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 Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5502 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)
	3600.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Kaiser, Lukasz [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6810 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 7935 results.