FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
341. Inductive Logic Programming [electronic resource] :14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings /

by Camacho, Rui [editor.] | King, Ross [editor.] | Srinivasan, Ashwin [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, 2004.Online access: Click here to access online Availability: No items available

342. Machine Learning: ECML 2004 [electronic resource] :15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings /

by Boulicaut, Jean-François [editor.] | Esposito, Floriana [editor.] | Giannotti, Fosca [editor.] | Pedreschi, Dino [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, 2004.Online access: Click here to access online Availability: No items available

343. Coevolutionary Fuzzy Modeling [electronic resource] /

by Peña Reyes, Carlos Andrés [author.] | SpringerLink (Online service).

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

344. Principles and Practice of Semantic Web Reasoning [electronic resource] :Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings /

by Ohlbach, Hans Jürgen [editor.] | Schaffert, Sebastian [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, 2004.Online access: Click here to access online Availability: No items available

345. Computer Science Logic [electronic resource] :18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings /

by Marcinkowski, Jerzy [editor.] | Tarlecki, Andrzej [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, 2004.Online access: Click here to access online Availability: No items available

346. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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, 2004.Online access: Click here to access online Availability: No items available

347. Machine Translation: From Real Users to Research [electronic resource] :6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28 - October 2, 2004. Proceedings /

by Frederking, Robert E [editor.] | Taylor, Kathryn B [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, 2004.Online access: Click here to access online Availability: No items available

348. Grammatical Inference: Algorithms and Applications [electronic resource] :7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings /

by Paliouras, Georgios [editor.] | Sakakibara, Yasubumi [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, 2004.Online access: Click here to access online Availability: No items available

349. Principles and Practice of Constraint Programming – CP 2004 [electronic resource] :10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings /

by Wallace, Mark [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, 2004.Online access: Click here to access online Availability: No items available

350. Artificial Intelligence and Symbolic Computation [electronic resource] :7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings /

by Buchberger, Bruno [editor.] | Campbell, John [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, 2004.Online access: Click here to access online Availability: No items available

351. Algorithmic Learning Theory [electronic resource] :15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings /

by Ben-David, Shoham [editor.] | Case, John [editor.] | Maruoka, Akira [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, 2004.Online access: Click here to access online Availability: No items available

352. Logics in Artificial Intelligence [electronic resource] :9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings /

by Alferes, Jóse Júlio [editor.] | Leite, João [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, 2004.Online access: Click here to access online Availability: No items available

353. Advances in Natural Language Processing [electronic resource] :4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings /

by Vicedo, José Luis [editor.] | Martínez-Barco, Patricio [editor.] | Muńoz, Rafael [editor.] | Saiz Noeda, Maximiliano [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, 2004.Online access: Click here to access online Availability: No items available

354. Conceptual Modeling – ER 2004 [electronic resource] :23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings /

by Atzeni, Paolo [editor.] | Chu, Wesley [editor.] | Lu, Hongjun [editor.] | Zhou, Shuigeng [editor.] | Ling, Tok-Wang [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, 2004.Online access: Click here to access online Availability: No items available

355. Teaching Formal Methods [electronic resource] :CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

by Dean, C. Neville [editor.] | Boute, Raymond T [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, 2004.Online access: Click here to access online Availability: No items available

356. Programming Languages and Systems [electronic resource] :Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /

by Chin, Wei-Ngan [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, 2004.Online access: Click here to access online Availability: No items available

357. Formal Methods in Computer-Aided Design [electronic resource] :5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings /

by Hu, Alan J [editor.] | Martin, Andrew K [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, 2004.Online access: Click here to access online Availability: No items available

358. From Object-Orientation to Formal Methods [electronic resource] :Essays in Memory of Ole-Johan Dahl /

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, Tom [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, 2004.Online access: Click here to access online Availability: No items available

359. Transactions on Rough Sets II [electronic resource] :Rough Sets and Fuzzy Sets /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Dubois, Didier [editor.] | Grzymała-Busse, Jerzy W [editor.] | Inuiguchi, Masahiro [editor.] | Polkowski, Lech [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, 2005.Online access: Click here to access online Availability: No items available

360. Computational Logic in Multi-Agent Systems [electronic resource] :4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /

by Dix, Jürgen [editor.] | Leite, João [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, 2005.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