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

Results
	581.	Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / by Sharygina, Natasha [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8044 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)
	582.	The Adaptive Web [electronic resource] : Methods and Strategies of Web Personalization / by Brusilovsky, Peter [editor.] Kobsa, Alfred [editor.] Nejdl, Wolfgang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4321 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)
	583.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / by Schürr, Andy [editor.] Varró, Dániel [editor.] Varró, Gergely [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7233 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)
	584.	Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4603 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)
	585.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by Al-Begain, Khalid [editor.] Heindl, Armin [editor.] Telek, Miklos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5055 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)
	586.	Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / by Brim, Lubos [editor.] Haverkort, Boudewijn [editor.] Leucker, Martin [editor.] Pol, Jaco van de [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4346 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)
	587.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / by Jhala, Ranjit [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6538 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)
	588.	Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / by State, Radu [editor.] van der Meer, Sven [editor.] O'Sullivan, Declan [editor.] Pfeifer, Tom [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4269 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)
	589.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9041 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)
	590.	Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I / by Loo, Chu Kiong [editor.] Keem Siah, Yap [editor.] Wong, Kok Wai [editor.] Beng Jin, Andrew Teoh [editor.] Huang, Kaizhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8834 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)
	591.	Digital Forensics and Watermarking [electronic resource] : 10th International Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26, 2011, Revised Selected Papers / by Shi, Yun Qing [editor.] Kim, Hyoung-Joong [editor.] Perez-Gonzalez, Fernando [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7128 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)
	592.	Wired/Wireless Internet Communications [electronic resource] : 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings / by Braun, Thomas [editor.] Carle, Georg [editor.] Fahmy, Sonia [editor.] Koucheryavy, Yevgeni [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3970 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)
	593.	Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers / by Yli-Jyrä, Anssi [editor.] Karttunen, Lauri [editor.] Karhumäki, Juhani [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4002 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)
	594.	Machine Learning for Multimodal Interaction [electronic resource] : First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers / by Bengio, Samy [editor.] Bourlard, Hervé [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3361 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)
	595.	Fast Software Encryption [electronic resource] : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / by Dunkelman, Orr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5665 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)
	596.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V / 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 ; 3984 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)
	597.	Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / by Wirsing, Martin [editor.] Banatre, Jean-Pierre [editor.] Hölzl, Matthias [editor.] Rauschmayer, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5380 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)
	598.	Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / by Egerstedt, Magnus [editor.] Mishra, Bud [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4981 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)
	599.	Stochastic Model Checking [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / by Remke, Anne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8453 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)
	600.	Computational Science - ICCS 2007 [electronic resource] : 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I / by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4487 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 1357 results.