FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
181. Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] :4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /

by Huang, De-Shuang [editor.] | Wunsch, Donald C [editor.] | Levine, Daniel S [editor.] | Jo, Kang-Hyun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

182. Abstract State Machines, B and Z [electronic resource] :First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

by Börger, Egon [editor.] | Butler, Michael [editor.] | Bowen, Jonathan P [editor.] | Boca, Paul [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

183. Logics in Artificial Intelligence [electronic resource] :11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

by Hölldobler, Steffen [editor.] | Lutz, Carsten [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

184. Verified Software: Theories, Tools, Experiments [electronic resource] :Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /

by Shankar, Natarajan [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

185. Scalable Uncertainty Management [electronic resource] :Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /

by Greco, Sergio [editor.] | Lukasiewicz, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

186. Grammatical Inference: Algorithms and Applications [electronic resource] :9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /

by Clark, Alexander [editor.] | Coste, François [editor.] | Miclet, Laurent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

187. Central European Functional Programming School [electronic resource] :Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

188. Learning Classifier Systems [electronic resource] :10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers /

by Bacardit, Jaume [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | Kovacs, Tim [editor.] | Llorà, Xavier [editor.] | Takadama, Keiki [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

189. Advances in Artificial Intelligence - SBIA 2008 [electronic resource] :19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings /

by Zaverucha, Gerson [editor.] | Costa, Augusto Loureiro da [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

190. Formal Methods and Software Engineering [electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

by Liu, Shaoying [editor.] | Maibaum, Tom [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

191. Modeling Decisions for Artificial Intelligence [electronic resource] :5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings /

by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

192. Language and Automata Theory and Applications [electronic resource] :Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /

by Martín-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

193. Rough Sets and Current Trends in Computing [electronic resource] :6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings /

by Chan, Chien-Chung [editor.] | Grzymala-Busse, Jerzy W [editor.] | Ziarko, Wojciech P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

194. MICAI 2008: Advances in Artificial Intelligence [electronic resource] :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings /

by Gelbukh, Alexander [editor.] | Morales, Eduardo F [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

195. Computational Logic in Multi-Agent Systems [electronic resource] :8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /

by Sadri, Fariba [editor.] | Satoh, Ken [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

196. AI 2008: Advances in Artificial Intelligence [electronic resource] :21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings /

by Wobcke, Wayne [editor.] | Zhang, Mengjie [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

197. Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] :14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /

by Paech, Barbara [editor.] | Martell, Craig [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

198. Logic Programming [electronic resource] :24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

by Garcia de la Banda, Maria [editor.] | Pontelli, Enrico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

199. Logic and Its Applications [electronic resource] :Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /

by Ramanujam, R [editor.] | Sarukkai, Sundar [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

200. Model Checking and Artificial Intelligence [electronic resource] :5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

by Peled, Doron A [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in