FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
321. Current Topics in Artificial Intelligence [electronic resource] :10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers /

by Conejo, Ricardo [editor.] | Urretavizcaya, Maite [editor.] | Pérez-de-la-Cruz, José-Luis [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

322. Program Development in Computational Logic [electronic resource] :A Decade of Research Advances in Logic-Based Program Development /

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [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

323. Applications of Graph Transformations with Industrial Relevance [electronic resource] :Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /

by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [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

324. Logic versus Approximation [electronic resource] :Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday /

by Lenski, Wolfgang [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

325. Rewriting Techniques and Applications [electronic resource] :15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings /

by Oostrom, Vincent van [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

326. Automated Reasoning [electronic resource] :Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /

by Basin, David [editor.] | Rusinowitch, Michaël [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

327. Mathematics of Program Construction [electronic resource] :7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /

by Kozen, Dexter [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

328. Conceptual Structures at Work [electronic resource] :12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings /

by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry S [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

329. Modeling Decisions for Artificial Intelligence [electronic resource] :First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004. 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, 2004.Online access: Click here to access online Availability: No items available

330. Logic Programming [electronic resource] :20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /

by Demoen, Bart [editor.] | Lifschitz, Vladimir [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

331. Transactions on Rough Sets I [electronic resource] :James F. Peters - Andrzej Skowron, Editors-in-Chief /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Grzymała-Busse, Jerzy W [editor.] | Kostek, Bożena [editor.] | Świniarski, Roman W [editor.] | Szczuka, Marcin S [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

332. Theory Is Forever [electronic resource] :Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

by Karhumäki, Juhani [editor.] | Maurer, Hermann [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [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

333. Computer Aided Verification [electronic resource] :16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /

by Alur, Rajeev [editor.] | Peled, Doron A [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

334. Algebraic Methodology and Software Technology [electronic resource] :10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings /

by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [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

335. Learning Theory [electronic resource] :17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004. Proceedings /

by Shawe-Taylor, John [editor.] | Singer, Yoram [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

336. Natural Language Generation [electronic resource] :Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004. Proceedings /

by Belz, Anja [editor.] | Evans, Roger [editor.] | Piwek, 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, 2004.Online access: Click here to access online Availability: No items available

337. Static Analysis [electronic resource] :11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /

by Giacobazzi, Roberto [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

338. Advances in Case-Based Reasoning [electronic resource] :7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004. Proceedings /

by Funk, Peter [editor.] | González Calero, Pedro A [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

339. Advances in Artificial Intelligence – SBIA 2004 [electronic resource] :17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings /

by Bazzan, Ana L. C [editor.] | Labidi, Sofiane [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

340. Formal Methods for Components and Objects [electronic resource] :Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /

by Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul de [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


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