FEEDBACK Smiley face

Your search returned 273 results. Subscribe to this search

|
181. Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] :Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [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

182. Formal Methods, Foundations and Applications [electronic resource] :14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /

by Simao, Adenilso [editor.] | Morgan, Carroll [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

183. Programming Languages and Systems [electronic resource] :9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /

by Yang, Hongseok [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

184. Empirical Software Engineering and Verification [electronic resource] :International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /

by Meyer, Bertrand [editor.] | Nordio, 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 : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

185. Formal Aspects of Component Software [electronic resource] :7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /

by Barbosa, Luís Soares [editor.] | Lumpe, Markus [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. Practical Aspects of Declarative Languages [electronic resource] :14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /

by Russo, Claudio [editor.] | Zhou, Neng-Fa [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

187. Verified Software: Theories, Tools, Experiments [electronic resource] :4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [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

188. Verification, Model Checking, and Abstract Interpretation [electronic resource] :13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /

by Kuncak, Viktor [editor.] | Rybalchenko, Andrey [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

189. Compiler Construction [electronic resource] :21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /

by O’Boyle, Michael [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

190. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /

by Bjørner, Nikolaj [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, 2012.Online access: Click here to access online Availability: No items available

191. Programming Languages and Systems [electronic resource] :21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /

by Seidl, Helmut [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

192. Fundamentals of Software Engineering [electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /

by Arbab, Farhad [editor.] | Sirjani, Marjan [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

193. Graph Structures for Knowledge Representation and Reasoning [electronic resource] :Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /

by Croitoru, Madalina [editor.] | Rudolph, Sebastian [editor.] | Wilson, Nic [editor.] | Howse, John [editor.] | Corby, 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, 2012.Online access: Click here to access online Availability: No items available

194. Logic and Program Semantics [electronic resource] :Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

by Constable, Robert L [editor.] | Silva, Alexandra [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

195. Functional and Logic Programming [electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

by Schrijvers, Tom [editor.] | Thiemann, Peter [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

196. Runtime Verification [electronic resource] :Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /

by Khurshid, Sarfraz [editor.] | Sen, Koushik [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

197. Tests and Proofs [electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /

by Brucker, Achim D [editor.] | Julliand, Jacques [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

198. Objects, Models, Components, Patterns [electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /

by Furia, Carlo A [editor.] | Nanz, Sebastian [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

199. Software Composition [electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /

by Gschwind, Thomas [editor.] | Paoli, Flavio De [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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

200. Reliable Software Technologies – Ada-Europe 2012 [electronic resource] :17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /

by Brorsson, Mats [editor.] | Pinho, Luís 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, 2012.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