Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	861.	Algorithmic Applications in Management [electronic resource] : First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by Megiddo, Nimrod [editor.] Xu, Yinfeng [editor.] Alonstioti, Nancy [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3521 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)
	862.	Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012, Proceedings / by C.P. de Souto, Marcilio [editor.] Kann, Maricel G [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7409 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)
	863.	Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / by Dolev, Shlomi [editor.] Oltean, Mihai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7715 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)
	864.	AI 2009: Advances in Artificial Intelligence [electronic resource] : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings / by Nicholson, Ann [editor.] Li, Xiaodong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5866 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)
	865.	Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : From Brains to Individual and Social Behavior / by Butz, Martin V [editor.] Sigaud, Olivier [editor.] Pezzulo, Giovanni [editor.] Baldassarre, Gianluca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4520 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)
	866.	Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / by Lio, Pietro [editor.] Nicosia, Giuseppe [editor.] Stibor, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6825 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)
	867.	Transactions on Computational Collective Intelligence I [electronic resource]. by SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6220 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)
	868.	AI*IA 2007: Artificial Intelligence and Human-Oriented Computing [electronic resource] : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings / by Basili, Roberto [editor.] Pazienza, Maria Teresa [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4733 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)
	869.	Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings / by Yamada, Akio [editor.] Meng, Helen [editor.] Myaeng, Sung Hyon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3689 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)
	870.	Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings / by Masulli, Francesco [editor.] Mitra, Sushmita [editor.] Pasi, Gabriella [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4578 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)
	871.	Graph Transformations [electronic resource] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / by Corradini, Andrea [editor.] Ehrig, Hartmut [editor.] Montanari, Ugo [editor.] Ribeiro, Leila [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4178 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)
	872.	Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Polikarpova, Nadia [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10510 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)
	873.	Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / by Heule, Marijn [editor.] Weaver, Sean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9340 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)
	874.	Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice / by Pasko, Alexander [editor.] Adzhiev, Valery [editor.] Comninos, Peter [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4889 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)
	875.	Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / by Haddad, Serge [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7347 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)
	876.	Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / by Governatori, Guido [editor.] Sartor, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6181 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)
	877.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011, Proceedings / by Goldberg, Leslie Ann [editor.] Jansen, Klaus [editor.] Ravi, R [editor.] Rolim, José D.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6845 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)
	878.	Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings / by Moreno, J. Manuel [editor.] Madrenas, Jordi [editor.] Cosp, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3637 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)
	879.	Technologies and Applications of Artificial Intelligence [electronic resource] : 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings / by Cheng, Shin-Ming [editor.] Day, Min-Yuh [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8916 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)
	880.	Hybrid Artificial Intelligent Systems, Part I [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings / by Romay, Manuel Grana [editor.] Sebastian, M. Teresa Garcia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6076 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1393 results.