FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
261. AI*IA 2003: Advances in Artificial Intelligence [electronic resource] :8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings /

by Cappelli, Amedeo [editor.] | Turini, Franco [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

262. Machine Learning: ECML 2003 [electronic resource] :14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings /

by Lavrač, Nada [editor.] | Gamberger, Dragan [editor.] | Blockeel, Hendrik [editor.] | Todorovski, Ljupčo [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

263. Formal Methods and Software Engineering [electronic resource] :5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings /

by Dong, Jin Song [editor.] | Woodcock, Jim [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

264. Modelling with Words [electronic resource] :Learning, Fusion, and Reasoning within a Formal Linguistic Represntation Framework /

by Lawry, Jonathan [editor.] | Shanahan, Jimi [editor.] | Ralescu, Anca 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, 2003.Online access: Click here to access online Availability: No items available

265. Inductive Logic Programming [electronic resource] :13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings /

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [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

266. Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] :10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers /

by Aichernig, Bernhard K [editor.] | Maibaum, Tom [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

267. Programming Languages and Systems [electronic resource] :First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings /

by Ohori, Atsushi [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

268. Recent Trends in Algebraic Development Techniques [electronic resource] :16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /

by Wirsing, Martin [editor.] | Pattinson, Dirk [editor.] | Hennicker, Rolf [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

269. Learning Classifier Systems [electronic resource] :5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002. 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, 2003.Online access: Click here to access online Availability: No items available

270. The Logic System of Concept Graphs with Negation [electronic resource] :And Its Relationship to Predicate Logic /

by Dau, Frithjof [author.] | 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

271. Inductive Synthesis of Functional Programs [electronic resource] :Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /

by Schmid, Ute [author.] | 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

272. ZB 2003: Formal Specification and Development in Z and B [electronic resource] :Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings /

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | King, Steve [editor.] | Waldén, Marina [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

273. Static Analysis [electronic resource] :10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings /

by Cousot, Radhia [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

274. Typed Lambda Calculi and Applications [electronic resource] :6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings /

by Hofmann, Martin [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

275. Modeling and Using Context [electronic resource] :4th International and Interdisciplinary Conference CONTEXT 2003 Stanford, CA, USA, June 23–25, 2003 Proceedings /

by Blackburn, Patrick [editor.] | Ghidini, Chiara [editor.] | Turner, Roy M [editor.] | Giunchiglia, Fausto [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

276. Fuzzy Sets and Systems — IFSA 2003 [electronic resource] :10th International Fuzzy Systems Association World Congress Istanbul, Turkey, June 30 – July 2, 2003 Proceedings /

by Bilgiç, Taner [editor.] | Baets, Bernard De [editor.] | Kaynak, Okyay [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

277. Implementation and Application of Automata [electronic resource] :7th International Conference, CIAA 2002 Tours, France, July 3–5, 2002 Revised Papers /

by Champarnaud, Jean-Marc [editor.] | Maurel, Denis [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

278. Developments in Language Theory [electronic resource] :6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers /

by Ito, Masami [editor.] | Toyama, Masafumi [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

279. Case-Based Reasoning Research and Development [electronic resource] :5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings /

by Ashley, Kevin D [editor.] | Bridge, Derek 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, 2003.Online access: Click here to access online Availability: No items available

280. Developments in Language Theory [electronic resource] :7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings /

by Ésik, Zoltán [editor.] | Fülöp, Zoltá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, 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