FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
381. FM 2005: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /

by Fitzgerald, John [editor.] | Hayes, Ian J [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, 2005.Online access: Click here to access online Availability: No items available

382. Natural Language Processing – IJCNLP 2005 [electronic resource] :Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings /

by Dale, Robert [editor.] | Wong, Kam-Fai [editor.] | Su, Jian [editor.] | Kwong, Oi Yee [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

383. Deterministic and Statistical Methods in Machine Learning [electronic resource] :First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures /

by Winkler, Joab [editor.] | Niranjan, Mahesan [editor.] | Lawrence, Neil [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

384. Frontiers of Combining Systems [electronic resource] :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /

by Gramlich, Bernhard [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

385. AI*IA 2005: Advances in Artificial Intelligence [electronic resource] :9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings /

by Bandini, Stefania [editor.] | Manzoni, Sara [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

386. Theorem Proving in Higher Order Logics [electronic resource] :18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /

by Hurd, Joe [editor.] | Melham, 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, 2005.Online access: Click here to access online Availability: No items available

387. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings /

by Beckert, Bernhard [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

388. Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] :10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II /

by Ślęzak, Dominik [editor.] | Yao, JingTao [editor.] | Peters, James F [editor.] | Ziarko, Wojciech [editor.] | Hu, Xiaohua [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

389. Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] :10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I /

by Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | Szczuka, Marcin [editor.] | Düntsch, Ivo [editor.] | Yao, Yiyu [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

390. Logic Programming and Nonmonotonic Reasoning [electronic resource] :8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /

by Baral, Chitta [editor.] | Greco, Gianluigi [editor.] | Leone, Nicola [editor.] | Terracina, Giorgio [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

391. Fuzzy Systems and Knowledge Discovery [electronic resource] :Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II /

by Wang, Lipo [editor.] | Jin, Yaochu [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

392. Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] :10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /

by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [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

393. Fuzzy Systems and Knowledge Discovery [electronic resource] :Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I /

by Wang, Lipo [editor.] | Jin, Yaochu [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

394. Machines, Computations, and Universality [electronic resource] :4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

by Margenstern, Maurice [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

395. Membrane Computing [electronic resource] :5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /

by Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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

396. Formal Methods in Software and Systems Modeling [electronic resource] :Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [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

397. Transactions on Rough Sets III [electronic resource] /

by Peters, James F [editor.] | Skowron, 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, 2005.Online access: Click here to access online Availability: No items available

398. Inductive Logic Programming [electronic resource] :15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings /

by Kramer, Stefan [editor.] | Pfahringer, Bernhard [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

399. Case-Based Reasoning Research and Development [electronic resource] :6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings /

by Muñoz-Ávila, Héctor [editor.] | Ricci, Francesco [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

400. Computational Logic in Multi-Agent Systems [electronic resource] :5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /

by Leite, João [editor.] | Torroni, Paolo [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


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