FEEDBACK Smiley face

Your search returned 807 results. Subscribe to this search

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

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

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

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

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

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

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

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

169. AI 2003: Advances in Artificial Intelligence [electronic resource] :16th Australian Conference on AI, Perth, Australia, December 3-5, 2003. Proceedings /

by Gedeon, Tamás (Tom) Domonkos [editor.] | Fung, Lance Chun Che [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

170. Logic Programming [electronic resource] :19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /

by Palamidessi, Catuscia [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

171. Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] :COST Action 274, TARSKI. Revised Papers /

by Swart, Harrie de [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [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

172. Computational Linguistics and Intelligent Text Processing [electronic resource] :4th International Conference, CICLing 2003 Mexico City, Mexico, February 16–22, 2003 Proceedings /

by Gelbukh, Alexander [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

173. Inductive Logic Programming [electronic resource] :12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers /

by Matwin, Stan [editor.] | Sammut, Claude [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

174. Mathematical Knowledge Management [electronic resource] :Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings /

by Asperti, Andrea [editor.] | Buchberger, Bruno [editor.] | Davenport, James Harold [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

175. Web Knowledge Management and Decision Support [electronic resource] :14th International Conference on Applications of Prolog, INAP 2001 Tokyo, Japan, October 20–22, 2001 Revised Papers /

by Bartenstein, Oskar [editor.] | Geske, Ulrich [editor.] | Hannebauer, Markus [editor.] | Yoshie, Osamu [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

176. Compiler Construction [electronic resource] :12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

by Hedin, Görel [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

177. Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] :9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings /

by Wang, Guoyin [editor.] | Liu, Qing [editor.] | Yao, Yiyu [editor.] | Skowron, Andrzej [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

178. Algorithmic Learning Theory [electronic resource] :14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings /

by Gavaldá, Ricard [editor.] | Jantke, Klaus P [editor.] | Takimoto, Eiji [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

179. Conceptual Modeling - ER 2003 [electronic resource] :22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings /

by Song, Il-Yeol [editor.] | Liddle, Stephen W [editor.] | Ling, Tok-Wang [editor.] | Scheuermann, Peter [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

180. Correct Hardware Design and Verification Methods [electronic resource] :12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings /

by Geist, Daniel [editor.] | Tronci, Enrico [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