FEEDBACK Smiley face

Your search returned 1584 results. Subscribe to this search

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

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

183. Fundamental Approaches to Software Engineering [electronic resource] :4th International Conference, FASE 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 Hussmann, Heinrich [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. 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

185. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :7th International Conference, TACAS 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 Margaria, Tiziana [editor.] | Yi, Wang [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. 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

187. ECOOP 2001 — Object-Oriented Programming [electronic resource] :15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings /

by Knudsen, Jørgen Lindskov [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. Hybrid Systems: Computation and Control [electronic resource] :4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /

by Benedetto, Maria Domenica Di [editor.] | Sangiovanni-Vincentelli, Alberto [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. Implementation of Functional Languages [electronic resource] :12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers /

by Mohnen, Markus [editor.] | Koopman, Pieter [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. Concurrent Object-Oriented Programming and Petri Nets [electronic resource] :Advances in Petri Nets /

by Agha, Gul A [editor.] | Cindio, Fiorella De [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, 2001.Online access: Click here to access online Availability: No items available

191. Natural Language Processing and Information Systems [electronic resource] :5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers /

by Bouzeghoub, Mokrane [editor.] | Kedad, Zoubida [editor.] | Métais, Elisabeth [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

192. High-Level Parallel Programming Models and Supportive Environments [electronic resource] :6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /

by Mueller, Frank [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. Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [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. Typed Lambda Calculi and Applications [electronic resource] :5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings /

by Abramsky, Samson [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

195. Computer Safety, Reliability and Security [electronic resource] :20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings /

by Voges, Udo [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

196. Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] :Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings /

by Yonezawa, Akinori [editor.] | Matsuoka, Satoshi [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

197. Theoretical Computer Science [electronic resource] :7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings /

by Restivo, Antonio [author.] | Rocca, Simona Ronchi Della [author.] | Roversi, Luca [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

198. Embedded Software [electronic resource] :First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings /

by Henzinger, Thomas A [editor.] | Kirsch, Christoph M [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

199. Formal Approaches to Agent-Based Systems [electronic resource] :First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers /

by Rash, James L [editor.] | Truszkowski, Walt [editor.] | Hinchey, Michael G [editor.] | Rouff, Christopher A [editor.] | Gordon, Diana [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

200. Persistent Object Systems: Design, Implementation, and Use [electronic resource] :9th International Workshop, POS-9 Lillehammer, Norway, September 6–8, 2000 Revised Papers /

by Kirby, Graham N. C [editor.] | Dearle, Alan [editor.] | Sjøberg, Dag I. K [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.Other title: Design, Implementation, and Use.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