FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
181. Multiset Processing [electronic resource] :Mathematical,Computer Science, and Molecular Computing Points of View /

by Calude, Cristian S [editor.] | PĂun, Gheorghe [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, 2001.Online access: Click here to access online Availability: No items available

182. Automata Implementation [electronic resource] :4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers /

by Boldt, Oliver [editor.] | Jürgensen, Helmut [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. Rough Sets and Current Trends in Computing [electronic resource] :Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers /

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

184. Principles and Practice of Constraint Programming — CP 2001 [electronic resource] :7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Walsh, Toby [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

185. Algorithmic Learning Theory [electronic resource] :12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings /

by Abe, Naoki [editor.] | Khardon, Roni [editor.] | Zeugmann, Thomas [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

186. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /

by Nieuwenhuis, Robert [editor.] | Voronkov, Andrei [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

187. Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] :A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers /

by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [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

188. AI 2001: Advances in Artificial Intelligence [electronic resource] :14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings /

by Stumptner, Markus [editor.] | Corbett, Dan [editor.] | Brooks, Mike [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

189. Logical Aspects of Computational Linguistics [electronic resource] :Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers /

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

190. Applications and Theory of Petri Nets 2001 [electronic resource] :22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

by Colom, José-Manuel [editor.] | Koutny, Maciej [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

191. 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

192. 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

193. 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

194. 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

195. 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

196. 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

197. 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

198. 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

199. 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

200. 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


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