FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
141. Applications and Theory of Petri Nets 2003 [electronic resource] :24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

by Aalst, Wil M. P. van der [editor.] | Best, Eike [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

142. OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings /

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

143. Self-Stabilizing Systems [electronic resource] :6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings /

by Huang, Shing-Tsaan [editor.] | Herman, Ted [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

144. Automata, Languages and Programming [electronic resource] :30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings /

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard 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, 2003.Online access: Click here to access online Availability: No items available

145. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [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

146. SDL 2003: System Design [electronic resource] :11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings /

by Reed, Rick [editor.] | Reed, Jeanne [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

147. Architecting Dependable Systems [electronic resource] /

by Lemos, Rogério de [editor.] | Gacek, Cristina [editor.] | Romanovsky, 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

148. Euro-Par 2003 Parallel Processing [electronic resource] :9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings /

by Kosch, Harald [editor.] | Böszörményi, László [editor.] | Hellwagner, Hermann [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

149. Dependable Computing [electronic resource] :First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings /

by Lemos, Rogério de [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [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

150. Metainformatics [electronic resource] :International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003. Revised Papers /

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

151. Grid and Cooperative Computing [electronic resource] :Second International Workshop, GCC 2003, Shanhai, China, December 7-10, 2003, Revised Papers, Part I /

by Li, Minglu [editor.] | Sun, Xian-He [editor.] | Deng, Qian-ni [editor.] | Ni, Jun [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, 2004.Online access: Click here to access online Availability: No items available

152. Computational Science - ICCS 2004 [electronic resource] :4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /

by Bubak, Marian [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2004.Online access: Click here to access online Availability: No items available

153. Computational Science - ICCS 2004 [electronic resource] :4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /

by Bubak, Marian [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2004.Online access: Click here to access online Availability: No items available

154. Computational Science - ICCS 2004 [electronic resource] :4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /

by Bubak, Marian [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2004.Online access: Click here to access online Availability: No items available

155. Hybrid Systems: Computation and Control [electronic resource] :7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /

by Alur, Rajeev [editor.] | Pappas, George 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, 2004.Online access: Click here to access online Availability: No items available

156. Integrated Formal Methods [electronic resource] :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /

by Boiten, Eerke A [editor.] | Derrick, John [editor.] | Smith, Graeme [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, 2004.Online access: Click here to access online Availability: No items available

157. Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] :11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [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, 2004.Online access: Click here to access online Availability: No items available

158. Computational Science - ICCS 2004 [electronic resource] :4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /

by Bubak, Marian [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2004.Online access: Click here to access online Availability: No items available

159. Applications and Theory of Petri Nets 2004 [electronic resource] :25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [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, 2004.Online access: Click here to access online Availability: No items available

160. Computer Aided Verification [electronic resource] :16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /

by Alur, Rajeev [editor.] | Peled, Doron A [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, 2004.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