FEEDBACK Smiley face

Your search returned 1468 results. Subscribe to this search

|
141. Fundamentals of Computation Theory [electronic resource] :13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings /

by Freivalds, Rūsiņš [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

142. Machine Learning and Its Applications [electronic resource] :Advanced Lectures /

by Paliouras, Georgios [editor.] | Karkaletsis, Vangelis [editor.] | Spyropoulos, Constantine 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, 2001.Online access: Click here to access online Availability: No items available

143. Computational Linguistics and Intelligent Text Processing [electronic resource] :Second International Conference, CICLing 2001 Mexico City, Mexico, February 18–24, 2001 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, 2001.Online access: Click here to access online Availability: No items available

144. Theorem Proving in Higher Order Logics [electronic resource] :14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings /

by Boulton, Richard J [editor.] | Jackson, Paul B [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

145. Machine Learning: ECML 2001 [electronic resource] :12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings /

by Raedt, Luc De [editor.] | Flach, 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, 2001.Online access: Click here to access online Availability: No items available

146. Inductive Logic Programming [electronic resource] :11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings /

by Rouveirol, Céline [editor.] | Sebag, Miché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, 2001.Online access: Click here to access online Availability: No items available

147. Computer Science Logic [electronic resource] :15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings /

by Fribourg, Laurent [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

148. Semantics, Applications, and Implementation of Program Generation [electronic resource] :Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings /

by Taha, Walid [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

149. Programs as Data Objects [electronic resource] :Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings /

by Danvy, Olivier [editor.] | Filinski, 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, 2001.Online access: Click here to access online Availability: No items available

150. Artificial Intelligence and Symbolic Computation [electronic resource] :International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers /

by Campbell, John A [editor.] | Roanes-Lozano, Eugenio [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

151. Rewriting Techniques and Applications [electronic resource] :12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /

by Middeldorp, Aart [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

152. Machines, Computations, and Universality [electronic resource] :Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings /

by Margenstern, Maurice [editor.] | Rogozhin, Yurii [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

153. Logic Based Program Synthesis and Transformation [electronic resource] :10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers /

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

154. FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] :International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings /

by Oliveira, José Nuno [editor.] | Zave, Pamela [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

155. FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :21st Conference Bangalore, India, December 13–15, 2001 Proceedings /

by Hariharan, Ramesh [editor.] | Vinay, V [editor.] | Mukund, Madhavan [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

156. Compiler Construction [electronic resource] :10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

by Wilhelm, Reinhard [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

157. Programming Languages and Systems [electronic resource] :10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

by Sands, David [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

158. Foundations of Software Science and Computation Structures [electronic resource] :4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

by Honsell, Furio [editor.] | Miculan, Marino [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

159. Types in Compilation [electronic resource] :third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers /

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

160. Computability and Complexity in Analysis [electronic resource] :4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers /

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, 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, 2001.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