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

Results
	861.	Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings / by Valtchev, Petko [editor.] Jäschke, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6628 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)
	862.	Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / by Scheideler, Christian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9439 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)
	863.	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)
	864.	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)
	865.	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)
	866.	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)
	867.	Experimental Algorithms [electronic resource] : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings / by Gudmundsson, Joachim [editor.] Katajainen, Jyrki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8504 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)
	868.	Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / by Phan, Cong-Vinh [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 7050 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)
	869.	Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / by BRAFMAN, RONEN [editor.] Roberts, Fred S [editor.] Tsoukias, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6992 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)
	870.	Comparative Genomics [electronic resource] : RECOMB 2007, International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings / by Tesler, Glenn [editor.] Durand, Dannie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4751 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.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings / by Zhou, Zhi-Hua [editor.] Li, Hang [editor.] Yang, Qiang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4426 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)
	872.	Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings / by Baader, Franz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4533 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)
	873.	Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers / by Costa, Paulo Cesar G [editor.] d'Amato, Claudia [editor.] Fanizzi, Nicola [editor.] Laskey, Kathryn B [editor.] Laskey, Kenneth J [editor.] Nickles, Matthias [editor.] Pool, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5327 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)
	874.	Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II / by Wang, Jun [editor.] Yi, Zhang [editor.] Zurada, Jacek M [editor.] Lu, Bao-Liang [editor.] Hujun, Yin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3972 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)
	875.	Advances in Neural Networks - ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II / by Wang, Jun [editor.] Liao, Xiaofeng [editor.] Yi, Zhang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3497 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)
	876.	Advances in Artificial Life [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I / by Kampis, György [editor.] Karsai, István [editor.] Szathmáry, Eörs [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5777 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)
	877.	Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / by Ehrig, Hartmut [editor.] Rensink, Arend [editor.] Rozenberg, Grzegorz [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6372 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)
	878.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers / by Brandstädt, Andreas [editor.] Kratsch, Dieter [editor.] Müller, Haiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4769 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)
	879.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I / by Daelemans, Walter [editor.] Morik, Katharina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5211 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)
	880.	Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings / by Carette, Jacques [editor.] Dixon, Lucas [editor.] Sacerdoti Coen, Claudio [editor.] Watt, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5625 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1242 results.