FEEDBACK Smiley face

Your search returned 77 results. Subscribe to this search

|
61. Model Driven Architecture – Foundations and Applications [electronic resource] :4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /

by Schieferdecker, Ina [editor.] | Hartman, Alan [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, 2008.Online access: Click here to access online Availability: No items available

62. Theorem Proving in Higher Order Logics [electronic resource] :21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /

by Mohamed, Otmane Ait [editor.] | Muñoz, César [editor.] | Tahar, Sofiène [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, 2008.Online access: Click here to access online Availability: No items available

63. Parallel Problem Solving from Nature – PPSN X [electronic resource] :10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings /

by Rudolph, Günter [editor.] | Jansen, Thomas [editor.] | Beume, Nicola [editor.] | Lucas, Simon [editor.] | Poloni, Carlo [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, 2008.Online access: Click here to access online Availability: No items available

64. Architecture of Computing Systems – ARCS 2009 [electronic resource] :22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /

by Berekovic, Mladen [editor.] | Müller-Schloer, Christian [editor.] | Hochberger, Christian [editor.] | Wong, Stephan [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, 2009.Online access: Click here to access online Availability: No items available

65. Hybrid Systems: Computation and Control [electronic resource] :12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /

by Majumdar, Rupak [editor.] | Tabuada, Paulo [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, 2009.Online access: Click here to access online Availability: No items available

66. Compiler Construction [electronic resource] :18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

by Moor, Oege de [editor.] | Schwartzbach, Michael I [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, 2009.Online access: Click here to access online Availability: No items available

67. Computer Aided Verification [electronic resource] :21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

by Bouajjani, Ahmed [editor.] | Maler, Oded [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, 2009.Online access: Click here to access online Availability: No items available

68. Parallel Computing Technologies [electronic resource] :10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /

by Malyshkin, Victor [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, 2009.Online access: Click here to access online Availability: No items available

69. Model Driven Engineering Languages and Systems [electronic resource] :12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /

by Schürr, Andy [editor.] | Selic, Bran [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, 2009.Online access: Click here to access online Availability: No items available

70. Software Process and Product Measurement [electronic resource] :International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings /

by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [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, 2009.Online access: Click here to access online Availability: No items available

71. Cloud Computing [electronic resource] :First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings /

by Jaatun, Martin Gilje [editor.] | Zhao, Gansen [editor.] | Rong, Chunming [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, 2009.Online access: Click here to access online Availability: No items available

72. Coordination Models and Languages [electronic resource] :12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

by Clarke, Dave [editor.] | Agha, Gul [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, 2010.Online access: Click here to access online Availability: No items available

73. Network and Parallel Computing [electronic resource] :IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings /

by Ding, Chen [editor.] | Shao, Zhiyuan [editor.] | Zheng, Ran [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, 2010.Online access: Click here to access online Availability: No items available

74. Model Driven Engineering Languages and Systems [electronic resource] :13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /

by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [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, 2010.Online access: Click here to access online Availability: No items available

75. Model Driven Engineering Languages and Systems [electronic resource] :13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [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, 2010.Online access: Click here to access online Availability: No items available

76. Model Driven Engineering Languages and Systems [electronic resource] :14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings /

by Whittle, Jon [editor.] | Clark, Tony [editor.] | Kühne, Thomas [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, 2011.Online access: Click here to access online Availability: No items available

77. Languages and Compilers for Parallel Computing [electronic resource] :29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers /

by Ding, Chen [editor.] | Criswell, John [editor.] | Wu, Peng [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017.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