FEEDBACK Smiley face

Your search returned 272 results. Subscribe to this search

|
181. Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] :Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [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, 2012.Online access: Click here to access online Availability: No items available

182. Biomedical Image Registration [electronic resource] :5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings /

by Dawant, Benoît M [editor.] | Christensen, Gary E [editor.] | Fitzpatrick, J. Michael [editor.] | Rueckert, Daniel [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, 2012.Online access: Click here to access online Availability: No items available

183. Automated Reasoning [electronic resource] :6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Uli [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, 2012.Online access: Click here to access online Availability: No items available

184. Parallel Processing and Applied Mathematics [electronic resource] :9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II /

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [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, 2012.Online access: Click here to access online Availability: No items available

185. Theoretical Computer Science [electronic resource] :7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /

by Baeten, Jos C. M [editor.] | Ball, Tom [editor.] | Boer, Frank S. 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 : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

186. Recent Trends in Algebraic Development Techniques [electronic resource] :21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /

by Martí-Oliet, Narciso [editor.] | Palomino, Miguel [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, 2013.Online access: Click here to access online Availability: No items available

187. Theory and Applications of Models of Computation [electronic resource] :10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /

by Chan, T-H. Hubert [editor.] | Lau, Lap Chi [editor.] | Trevisan, Luca [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, 2013.Online access: Click here to access online Availability: No items available

188. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] :Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings /

by Fellows, Michael [editor.] | Tan, Xuehou [editor.] | Zhu, Binhai [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, 2013.Online access: Click here to access online Availability: No items available

189. Typed Lambda Calculi and Applications [electronic resource] :11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /

by Hasegawa, Masahito [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, 2013.Online access: Click here to access online Availability: No items available

190. Algebraic Informatics [electronic resource] :5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /

by Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, 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 : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

191. Web and Internet Economics [electronic resource] :9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings /

by Chen, Yiling [editor.] | Immorlica, Nicole [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, 2013.Online access: Click here to access online Availability: No items available

192. Foundations of Information and Knowledge Systems [electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

by Beierle, Christoph [editor.] | Meghini, Carlo [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, 2014.Online access: Click here to access online Availability: No items available

193. Theory and Applications of Models of Computation [electronic resource] :11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /

by Gopal, T. V [editor.] | Agrawal, Manindra [editor.] | Li, Angsheng [editor.] | Cooper, S. Barry [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, 2014.Online access: Click here to access online Availability: No items available

194. Language, Life, Limits [electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /

by Beckmann, Arnold [editor.] | Csuhaj-Varjú, Erzsébet [editor.] | Meer, Klaus [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, 2014.Online access: Click here to access online Availability: No items available

195. Biomedical Image Registration [electronic resource] :6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings /

by Ourselin, Sébastien [editor.] | Modat, Marc [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, 2014.Online access: Click here to access online Availability: No items available

196. Automated Reasoning [electronic resource] :7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

by Demri, Stéphane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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, 2014.Online access: Click here to access online Availability: No items available

197. Rewriting and Typed Lambda Calculi [electronic resource] :Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

by Dowek, Gilles [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, 2014.Online access: Click here to access online Availability: No items available

198. Theory and Applications of Satisfiability Testing – SAT 2014 [electronic resource] :17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

by Sinz, Carsten [editor.] | Egly, Uwe [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, 2014.Online access: Click here to access online Availability: No items available

199. Swarm Intelligence [electronic resource] :9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings /

by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Garnier, Simon [editor.] | Hamann, Heiko [editor.] | Montes de Oca, Marco [editor.] | Solnon, Christine [editor.] | Stützle, Thomas [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, 2014.Online access: Click here to access online Availability: No items available

200. Principles and Practice of Constraint Programming [electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /

by O’Sullivan, Barry [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, 2014.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