FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
261. Integrated Formal Methods [electronic resource] :8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /

by Méry, Dominique [editor.] | Merz, 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, 2010.Online access: Click here to access online Availability: No items available

262. Rewriting Logic and Its Applications [electronic resource] :8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /

by Ölveczky, Peter Csaba [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

263. Implementation and Application of Functional Languages [electronic resource] :21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /

by Morazán, Marco T [editor.] | Scholz, Sven-Bodo [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

264. Testing Software and Systems [electronic resource] :22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /

by Petrenko, Alexandre [editor.] | Simão, Adenilso [editor.] | Maldonado, José Carlos [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

265. Unifying Theories of Programming [electronic resource] :Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

by Qin, Shengchao [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

266. Graph Transformations and Model-Driven Engineering [electronic resource] :Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday /

by Engels, Gregor [editor.] | Lewerentz, Claus [editor.] | Schäfer, Wilhelm [editor.] | Schürr, Andy [editor.] | Westfechtel, 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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

267. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /

by Clarke, Edmund M [editor.] | Voronkov, Andrei [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

268. Central European Functional Programming School [electronic resource] :Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Zsók, Viktória [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

269. Algebraic Methodology and Software Technology [electronic resource] :13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /

by Johnson, Michael [editor.] | Pavlovic, Dusko [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

270. Generative and Transformational Techniques in Software Engineering III [electronic resource] :International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /

by Fernandes, João M [editor.] | Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [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, 2011.Online access: Click here to access online Availability: No items available

271. Formal Verification of Object-Oriented Software [electronic resource] :International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /

by Beckert, Bernhard [editor.] | Marché, Claude [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

272. Verification, Model Checking, and Abstract Interpretation [electronic resource] :12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /

by Jhala, Ranjit [editor.] | Schmidt, David [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

273. Practical Aspects of Declarative Languages [electronic resource] :13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /

by Rocha, Ricardo [editor.] | Launchbury, 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, 2011.Online access: Click here to access online Availability: No items available

274. Recent Advances in Constraints [electronic resource] :14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /

by Larrosa, Javier [editor.] | O’Sullivan, Barry [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, 2011.Online access: Click here to access online Availability: No items available

275. Foundations of Software Science and Computational Structures [electronic resource] :14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /

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

276. Formal Methods: Foundations and Applications [electronic resource] :13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /

by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [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

277. Compiler Construction [electronic resource] :20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /

by Knoop, Jens [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

278. Functional and Constraint Logic Programming [electronic resource] :19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

by Mariño, Julio [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

279. Reliable Software Technologies - Ada-Europe 2011 [electronic resource] :16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /

by Romanovsky, Alexander [editor.] | Vardanega, Tullio [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, 2011.Online access: Click here to access online Availability: No items available

280. FM 2011: Formal Methods [electronic resource] :17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /

by Butler, Michael [editor.] | Schulte, Wolfram [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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in