FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
281. Computational Processing of the Portuguese Language [electronic resource] :6th International Workshop, PROPOR 2003 Faro, Portugal, June 26–27, 2003 Proceedings /

by Mamede, Nuno J [editor.] | Trancoso, Isabel [editor.] | Baptista, Jorge [editor.] | Graças Volpe Nunes, Maria das [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, 2003.Online access: Click here to access online Availability: No items available

282. Logic Based Program Synthesis and Transformation [electronic resource] :12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers /

by Leuschel, Michael [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, 2003.Online access: Click here to access online Availability: No items available

283. Developments in Applied Artificial Intelligence [electronic resource] :16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings /

by Chung, Paul W. H [editor.] | Hinde, Chris [editor.] | Ali, Moonis [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, 2003.Online access: Click here to access online Availability: No items available

284. Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] :7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings /

by Nielsen, Thomas Dyhre [editor.] | Zhang, Nevin Lianwen [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, 2003.Online access: Click here to access online Availability: No items available

285. Machine Learning and Data Mining in Pattern Recognition [electronic resource] :Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 Proceedings /

by Perner, Petra [editor.] | Rosenfeld, Azriel [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, 2003.Online access: Click here to access online Availability: No items available

286. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [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, 2003.Online access: Click here to access online Availability: No items available

287. Fundamentals of Computation Theory [electronic resource] :14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003. Proceedings /

by Lingas, Andrzej [editor.] | Nilsson, Bengt 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, 2003.Online access: Click here to access online Availability: No items available

288. Intelligent Data Engineering and Automated Learning [electronic resource] :4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003. Revised Papers /

by Liu, Jiming [editor.] | Cheung, Yiu-ming [editor.] | Yin, Hujun [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, 2003.Online access: Click here to access online Availability: No items available

289. Automated Deduction – CADE-19 [electronic resource] :19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings /

by Baader, Franz [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, 2003.Online access: Click here to access online Availability: No items available

290. Implementation and Application of Automata [electronic resource] :8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings /

by Ibarra, Oscar H [editor.] | Dang, Zhe [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, 2003.Online access: Click here to access online Availability: No items available

291. Conceptual Structures for Knowledge Creation and Communication [electronic resource] :11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003. Proceedings /

by Ganter, Bernhard [editor.] | Moor, Aldo de [editor.] | Lex, Wilfried [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, 2003.Online access: Click here to access online Availability: No items available

292. Text- and Speech-Triggered Information Access [electronic resource] :8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000. Revised Lectures /

by Renals, Steve [editor.] | Grefenstette, Gregory [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, 2003.Online access: Click here to access online Availability: No items available

293. Theorem Proving in Higher Order Logics [electronic resource] :16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings /

by Basin, David [editor.] | Wolff, Burkhart [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, 2003.Online access: Click here to access online Availability: No items available

294. Learning Theory and Kernel Machines [electronic resource] :16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003. Proceedings /

by Schölkopf, Bernhard [editor.] | Warmuth, Manfred 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, 2003.Online access: Click here to access online Availability: No items available

295. Principles and Practice of Constraint Programming – CP 2003 [electronic resource] :9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings /

by Rossi, Francesca [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, 2003.Online access: Click here to access online Availability: No items available

296. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings /

by Cialdea Mayer, Marta [editor.] | Pirri, Fiora [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, 2003.Online access: Click here to access online Availability: No items available

297. Theoretical Computer Science [electronic resource] :8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings /

by Blundo, Carlo [editor.] | Laneve, Cosimo [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, 2003.Online access: Click here to access online Availability: No items available

298. Computer Aided Systems Theory - EUROCAST 2003 [electronic resource] :9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers /

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [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, 2003.Online access: Click here to access online Availability: No items available

299. Computer Science Logic [electronic resource] :17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings /

by Baaz, Matthias [editor.] | Makowsky, Johann 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, 2003.Online access: Click here to access online Availability: No items available

300. FME 2003: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings /

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, 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 : Imprint: Springer, 2003.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