FEEDBACK Smiley face

Your search returned 272 results. Subscribe to this search

|
81. Foundations of Software Science and Computation Structures [electronic resource] :5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Nielsen, Mogens [editor.] | Engberg, Uffe [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

82. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part I /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [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

83. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part II /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [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

84. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [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

85. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] :International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures /

by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [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

86. Verification, Model Checking, and Abstract Interpretation [electronic resource] :Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers /

by Cortesi, Agostino [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

87. Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] :NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers /

by Grigoras, Dan [editor.] | Nicolau, Alex [editor.] | Toursel, Bernard [editor.] | Folliot, Bertil [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

88. Integer Programming and Combinatorial Optimization [electronic resource] :9th International IPCO Conference Cambridge, MA, USA, May 27–29, 2002 Proceedings /

by Cook, William J [editor.] | Schulz, Andreas S [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

89. Application and Theory of Petri Nets 2002 [electronic resource] :23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /

by Esparza, Javier [editor.] | Lakos, Charles [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

90. Parallel Processing and Applied Mathematics [electronic resource] :4th International Conference, PPAM 2001 Na lęczów, Poland, September 9–12, 2001 Revised Papers /

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Paprzycki, Marcin [editor.] | Waśniewski, Jerzy [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

91. Distributed Computing - IWDC 2003 [electronic resource] :5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings /

by Das, Samir R [editor.] | Das, Sajal 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, 2003.Online access: Click here to access online Availability: No items available

92. Agent-Oriented Software Engineering III [electronic resource] :Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions /

by Giunchiglia, Fausto [editor.] | Odell, James [editor.] | Weiß, Gerhard [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

93. Foundations of Software Science and Computation Structures [electronic resource] :6th International Conference, FOSSACS 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 Gordon, Andrew 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, 2003.Online access: Click here to access online Availability: No items available

94. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :9th International Conference, TACAS 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 Garavel, Hubert [editor.] | Hatcliff, 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, 2003.Online access: Click here to access online Availability: No items available

95. Parallel and Distributed Processing and Applications [electronic resource] :International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings /

by Guo, Minyi [editor.] | Yang, Laurence Tianruo [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

96. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers /

by Geuvers, Herman [editor.] | Wiedijk, Freek [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

97. Computer and Information Sciences - ISCIS 2003 [electronic resource] :18th International Symposium, Antalya, Turkey, November 3-5, 2003. Proceedings /

by Yazıcı, Adnan [editor.] | Şener, Cevat [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

98. Computational Science and Its Applications — ICCSA 2003 [electronic resource] :International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I /

by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [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

99. Computational Science and Its Applications — ICCSA 2003 [electronic resource] :International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part III /

by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [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

100. Computational Science and Its Applications — ICCSA 2003 [electronic resource] :International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part II /

by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [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