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

Results
	4701.	Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / by Ferrández, José M [editor.] Álvarez, José Ramón [editor.] de la Paz, Félix [editor.] Toledo, Fco. Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6686 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)
	4702.	Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings / by Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6141 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)
	4703.	Artificial Intelligence and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings / by Rutkowski, Leszek [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lofti A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5097 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)
	4704.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings / by Puliafito, Antonio [editor.] Bruneo, Dario [editor.] Distefano, Salvatore [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10517 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)
	4705.	Testing: Academic and Industrial Conference - Practice and Research Techniques [electronic resource] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / by Bottaci, Leonardo [editor.] Fraser, Gordon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6303 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)
	4706.	Computational Processing of the Portuguese Language [electronic resource] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings / by Teixeira, A. Joaquim da Silva [editor.] Strube de Lima, Vera Lúcia [editor.] Caldas de Oliveira, Luís [editor.] Quaresma, Paulo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5190 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)
	4707.	Computer Analysis of Images and Patterns [electronic resource] : 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II / by Berciano, Ainhoa [editor.] Díaz-Pernil, Daniel [editor.] Kropatsch, Walter [editor.] Molina-Abril, Helena [editor.] Real, Pedro [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6855 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)
	4708.	Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / by De Schreye, Danny [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6037 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)
	4709.	Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by Italiano, Giuseppe F [editor.] Pighizzini, Giovanni [editor.] Sannella, Donald T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9235 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)
	4710.	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings / by Nielsen, Brian [editor.] Weise, Carsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7641 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)
	4711.	Symbol Grounding and Beyond [electronic resource] : Third International Workshop on the Emergence and Evolution of Linguistic Communications, EELC 2006, Rome, Italy, September 30-October 1, 2006, Proceedings / by Vogt, Paul [editor.] Sugita, Yuuya [editor.] Tuci, Elio [editor.] Nehaniv, Chrystopher [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4211 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)
	4712.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings / by Charikar, Moses [editor.] Jansen, Klaus [editor.] Reingold, Omer [editor.] Rolim, José D.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4627 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)
	4713.	Applications of Evolutionary Computation [electronic resource] : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Esparcia-Alcázar, Anna I [editor.] Mora, Antonio M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8602 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)
	4714.	Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafal [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7895 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)
	4715.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers / by Paul, Christophe [editor.] Habib, Michel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5911 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)
	4716.	Trusted Systems [electronic resource] : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings / by Chen, Liqun [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6163 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)
	4717.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / by Hermann, Miki [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4246 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)
	4718.	Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / by Alpuente, María [editor.] Cook, Byron [editor.] Joubert, Christophe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5825 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)
	4719.	Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / by Majumdar, Rupak [editor.] Tabuada, Paulo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5469 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)
	4720.	Formal Techniques for Networked and Distributed Systems – FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / by Suzuki, Kenji [editor.] Higashino, Teruo [editor.] Yasumoto, Keiichi [editor.] El-Fakih, Khaled [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5048 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9105 results.