FEEDBACK Smiley face

Your search returned 1468 results. Subscribe to this search

|
181. Automated Reasoning [electronic resource] :First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [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, 2001.Online access: Click here to access online Availability: No items available

182. Static Analysis [electronic resource] :8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /

by Cousot, Patrick [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, 2001.Online access: Click here to access online Availability: No items available

183. Logical Aspects of Computational Linguistics [electronic resource] :4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings /

by Groote, Philippe de [editor.] | Morrill, Glyn [editor.] | Retoré, Christian [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, 2001.Online access: Click here to access online Availability: No items available

184. Formal Methods in Computer-Aided Design [electronic resource] :4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings /

by Aagaard, Mark D [editor.] | O’Leary, John W [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, 2002.Online access: Click here to access online Availability: No items available

185. Advances in Artificial Intelligence [electronic resource] :16th Brazilian Symposium on Artificial Intelligence, SBIA 2002 Porto de Galinhas/Recife, Brazil, November 11–14, 2002 Proceedings /

by Bittencourt, Guilherme [editor.] | Ramalho, Geber 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, 2002.Online access: Click here to access online Availability: No items available

186. AI 2002: Advances in Artificial Intelligence [electronic resource] :15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings /

by McKay, Bob [editor.] | Slaney, 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, 2002.Online access: Click here to access online Availability: No items available

187. Concurrency and Hardware Design [electronic resource] :Advances in Petri Nets /

by Cortadella, Jordi [editor.] | Yakovlev, Alex [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, 2002.Online access: Click here to access online Availability: No items available

188. Natural Language Processing and Information Systems [electronic resource] :6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–28, 2002 Revised Papers /

by Andersson, Birger [editor.] | Bergholtz, Maria [editor.] | Johannesson, 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, 2002.Online access: Click here to access online Availability: No items available

189. Relational Methods in Computer Science [electronic resource] :6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /

by Swart, Harrie C. M. 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, 2002.Online access: Click here to access online Availability: No items available

190. Robust Adaptation to Non-Native Accents in Automatic Speech Recognition [electronic resource] /

by Goronzy, Silke [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, 2002.Online access: Click here to access online Availability: No items available

191. Implementation and Application of Automata [electronic resource] :6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers /

by Watson, Bruce W [editor.] | Wood, Derick [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, 2002.Online access: Click here to access online Availability: No items available

192. Machine Learning: ECML 2002 [electronic resource] :13th European Conference on Machine Learning Helsinki, Finland, August 19–23, 2002 Proceedings /

by Elomaa, Tapio [editor.] | Mannila, Heikki [editor.] | Toivonen, Hannu [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, 2002.Online access: Click here to access online Availability: No items available

193. Advances in Natural Language Processing [electronic resource] :Third International Conference, PorTAL 2002 Faro, Portugal, June 23–26, 2002 Proceedings /

by Ranchhod, Elisabete [editor.] | Mamede, Nuno 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, 2002.Online access: Click here to access online Availability: No items available

194. Computational Learning Theory [electronic resource] :15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings /

by Kivinen, Jyrki [editor.] | Sloan, Robert H [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, 2002.Online access: Click here to access online Availability: No items available

195. Mathematics of Program Construction [electronic resource] :6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings /

by Boiten, Eerke A [editor.] | Möller, 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, 2002.Online access: Click here to access online Availability: No items available

196. Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] :Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings /

by Calmet, Jacques [editor.] | Benhamou, Belaid [editor.] | Caprotti, Olga [editor.] | Henocque, Laurent [editor.] | Sorge, Volker [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, 2002.Online access: Click here to access online Availability: No items available

197. Conceptual Structures: Integration and Interfaces [electronic resource] :10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings /

by Priss, Uta [editor.] | Corbett, Dan [editor.] | Angelova, Galia [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, 2002.Online access: Click here to access online Availability: No items available

198. Logic Based Program Synthesis and Transformation [electronic resource] :11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers /

by Pettorossi, Alberto [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, 2002.Online access: Click here to access online Availability: No items available

199. Rewriting Techniques and Applications [electronic resource] :13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /

by Tison, Sophie [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, 2002.Online access: Click here to access online Availability: No items available

200. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings /

by Egly, Uwe [editor.] | Fermüller, Chritian G [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, 2002.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