Results of search for 'ccl=su:{ Computer science } and su-to:Mathematics and su-to:Artificial intelligence and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	741.	Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings / by Kuchen, Herbert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6816 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)
	742.	Integer Programming and Combinatorial Optimization [electronic resource] : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings / by Eisenbrand, Friedrich [editor.] Shepherd, Bruce [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6080 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)
	743.	SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / by Freivalds, Rūsiņš Mārtiņš [editor.] Engels, Gregor [editor.] Catania, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9587 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)
	744.	Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / by Goldberg, Andrew V [editor.] Kulikov, Alexander S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9685 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)
	745.	Connectomics in NeuroImaging [electronic resource] : First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / by Wu, Guorong [editor.] Laurienti, Paul [editor.] Bonilha, Leonardo [editor.] Munsell, Brent C [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10511 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)
	746.	Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers / by Fekete, Sandor P [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5389 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)
	747.	Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / by Hasegawa, Masahito [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7941 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)
	748.	Approximation and Online Algorithms [electronic resource] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008, Revised Papers / by Bampis, Evripidis [editor.] Skutella, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5426 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)
	749.	Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / by Burke, Edmund [editor.] Trick, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3616 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)
	750.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / by Balduccini, Marcello [editor.] Janhunen, Tomi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10377 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)
	751.	Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / by Botana, Francisco [editor.] Recio, Tomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4869 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)
	752.	Parallel Problem Solving from Nature – PPSN XIV [electronic resource] : 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / by Handl, Julia [editor.] Hart, Emma [editor.] Lewis, Peter R [editor.] López-Ibáñez, Manuel [editor.] Ochoa, Gabriela [editor.] Paechter, Ben [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9921 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)
	753.	Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / by Janhunen, Tomi [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6341 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)
	754.	Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by Creignou, Nadia [editor.] Le Berre, Daniel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9710 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)
	755.	Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / by Medina, Raoul [editor.] Obiedkov, Sergei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4933 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)
	756.	Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 / by Akiyama, Jin [editor.] Kano, Mikio [editor.] Tan, Xuehou [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3742 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)
	757.	Unveiling Dynamics and Complexity [electronic resource] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / by Kari, Jarkko [editor.] Manea, Florin [editor.] Petre, Ion [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10307 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)
	758.	Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / by Nicosia, Giuseppe [editor.] Pardalos, Panos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7997 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)
	759.	Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by Botana, Francisco [editor.] Quaresma, Pedro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9201 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)
	760.	Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers / by Burke, Edmund [editor.] Rudová, Hana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3867 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

Item types

Series

Topics

Your search returned 1221 results.