FEEDBACK Smiley face

Your search returned 141 results. Subscribe to this search

|
41. Mathematics of Program Construction [electronic resource] :7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /

by Kozen, Dexter [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

42. CONCUR 2004 - Concurrency Theory [electronic resource] :15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /

by Gardner, Philippa [editor.] | Yoshida, Nobuko [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, 2004.Online access: Click here to access online Availability: No items available

43. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :11th European PVM/MPI Users’ Group Meeting Budapest, Hungary, September 19 - 22, 2004. Proceedings /

by Kranzlmüller, Dieter [editor.] | Kacsuk, Péter [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

44. Unconventional Programming Paradigms [electronic resource] :International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /

by Banâtre, Jean-Pierre [editor.] | Fradet, Pascal [editor.] | Giavitto, Jean-Louis [editor.] | Michel, Olivier [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, 2005.Online access: Click here to access online Availability: No items available

45. Languages and Compilers for Parallel Computing [electronic resource] :15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers /

by Pugh, Bill [editor.] | Tseng, Chau-Wen [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, 2005.Online access: Click here to access online Availability: No items available

46. Languages and Compilers for High Performance Computing [electronic resource] :17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

by Eigenmann, Rudolf [editor.] | Li, Zhiyuan [editor.] | Midkiff, Samuel P [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, 2005.Online access: Click here to access online Availability: No items available

47. Formal Methods in Software and Systems Modeling [electronic resource] :Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [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, 2005.Online access: Click here to access online Availability: No items available

48. Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] :First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /

by Liu, Zhiming [editor.] | Araki, Keijiro [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, 2005.Online access: Click here to access online Availability: No items available

49. CONCUR 2005 – Concurrency Theory [electronic resource] :16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /

by Abadi, Martín [editor.] | Alfaro, Luca de [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, 2005.Online access: Click here to access online Availability: No items available

50. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :12th European PVM/MPI Users’ Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedings /

by Martino, Beniamino Di [editor.] | Kranzlmüller, Dieter [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, 2005.Online access: Click here to access online Availability: No items available

51. Foundations of Software Science and Computational Structures [electronic resource] :8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /

by Sassone, Vladimiro [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, 2005.Online access: Click here to access online Availability: No items available

52. Operational Semantics for Timed Systems [electronic resource] :A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /

by Rust, Heinrich [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 : Imprint: Springer, 2005.Online access: Click here to access online Availability: No items available

53. Theoretical Aspects of Computing – ICTAC 2005 [electronic resource] :Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /

by Hung, Dang Van [editor.] | Wirsing, Martin [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, 2005.Online access: Click here to access online Availability: No items available

54. FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings /

by Sarukkai, Sundar [editor.] | Sen, Sandeep [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, 2005.Online access: Click here to access online Availability: No items available

55. Foundations of Software Science and Computation Structures [electronic resource] :9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /

by Aceto, Luca [editor.] | Ingólfsdóttir, Anna [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, 2006.Online access: Click here to access online Availability: No items available

56. Coordination Models and Languages [electronic resource] :8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /

by Ciancarini, Paolo [editor.] | Wiklicky, Herbert [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, 2006.Online access: Click here to access online Availability: No items available

57. Unifying Theories of Programming [electronic resource] :First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /

by Dunne, Steve [editor.] | Stoddart, Bill [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, 2006.Online access: Click here to access online Availability: No items available

58. Mathematics of Program Construction [electronic resource] :8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /

by Uustalu, Tarmo [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, 2006.Online access: Click here to access online Availability: No items available

59. CONCUR 2006 – Concurrency Theory [electronic resource] :17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /

by Baier, Christel [editor.] | Hermanns, Holger [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, 2006.Online access: Click here to access online Availability: No items available

60. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings /

by Mohr, Bernd [editor.] | Träff, Jesper Larsson [editor.] | Worringen, Joachim [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, 2006.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