FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
221. Logics in Artificial Intelligence [electronic resource] :8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings /

by Flesca, Sergio [editor.] | Greco, Sergio [editor.] | Ianni, Giovambattista [editor.] | Leone, Nicola [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

222. Static Analysis [electronic resource] :9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings /

by Hermenegildo, Manuel V [editor.] | Puebla, Germán [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

223. Grammatical Inference: Algorithms and Applications [electronic resource] :6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings /

by Adriaans, Pieter [editor.] | Fernau, Henning [editor.] | Zaanen, Menno 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, 2002.Online access: Click here to access online Availability: No items available

224. Computer Science Logic [electronic resource] :16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings /

by Bradfield, Julian [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.Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: No items available

225. Rough Sets and Current Trends in Computing [electronic resource] :Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings /

by Alpigini, James J [editor.] | Peters, James F [editor.] | Skowron, Andrzej [editor.] | Zhong, Ning [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

226. Machine Translation: From Research to Real Users [electronic resource] :5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 8 – 12, 2002 Proceedings /

by Richardson, Stephen D [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

227. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers /

by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [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

228. Programming Languages and Systems [electronic resource] :11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Métayer, Daniel Le [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

229. Foundations of Software Science and Computation Structures [electronic resource] :5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Nielsen, Mogens [editor.] | Engberg, Uffe [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

230. Compiler Construction [electronic resource] :11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Horspool, R. Nigel [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

231. Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [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

232. Frontiers of Combining Systems [electronic resource] :4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings /

by Armando, Alessandro [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

233. Developments in Language Theory [electronic resource] :5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers /

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

234. MICAI 2002: Advances in Artificial Intelligence [electronic resource] :Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings /

by Coello Coello, Carlos A [editor.] | Albornoz, Alvaro de [editor.] | Sucar, Luis Enrique [editor.] | Battistutti, Osvaldo Cairó [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

235. Advances in Case-Based Reasoning [electronic resource] :6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4–7, 2002 Proceedings /

by Craw, Susan [editor.] | Preece, Alun [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

236. Principles and Practice of Constraint Programming - CP 2002 [electronic resource] :8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings /

by Hentenryck, Pascal 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 : Imprint: Springer, 2002.Online access: Click here to access online Availability: No items available

237. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] :International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures /

by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [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

238. DNA Computing [electronic resource] :7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10–13, 2001 Revised Papers /

by Jonoska, Nataša [editor.] | Seeman, Nadrian C [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

239. Developments in Applied Artificial Intelligence [electronic resource] :15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE 2002 Cairns, Australia, June 17–20, 2002 Proceedings /

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

240. Advances in Learning Classifier Systems [electronic resource] :4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7–8, 2001 Revised Papers /

by Lanzi, Pier Luca [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart 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


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