FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
281. Formal Methods for Eternal Networked Software Systems [electronic resource] :11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures /

by Bernardo, Marco [editor.] | Issarny, Valérie [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

282. Formal Techniques for Distributed Systems [electronic resource] :Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /

by Bruni, Roberto [editor.] | Dingel, Juergen [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

283. Theory and Practice of Model Transformations [electronic resource] :4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings /

by Cabot, Jordi [editor.] | Visser, Eelco [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

284. Tests and Proofs [electronic resource] :5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings /

by Gogolla, Martin [editor.] | Wolff, Burkhart [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

285. Applications and Theory of Petri Nets [electronic resource] :32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /

by Kristensen, Lars M [editor.] | Petrucci, Laure [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

286. Objects, Models, Components, Patterns [electronic resource] :49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /

by Bishop, Judith [editor.] | Vallecillo, Antonio [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

287. Software Composition [electronic resource] :10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings /

by Apel, Sven [editor.] | Jackson, Ethan [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

288. Computer Aided Verification [electronic resource] :23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /

by Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [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

289. Model Checking Software [electronic resource] :18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /

by Groce, Alex [editor.] | Musuvathi, Madanlal [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

290. Computational Logic in Multi-Agent Systems [electronic resource] :12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /

by Leite, João [editor.] | Torroni, Paolo [editor.] | Ågotnes, Thomas [editor.] | Boella, Guido [editor.] | Torre, Leon van der [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

291. Functional and Constraint Logic Programming [electronic resource] :20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

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

292. Interactive Theorem Proving [electronic resource] :Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

by Eekelen, Marko van [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [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

293. Trends in Functional Programming [electronic resource] :11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

by Page, Rex [editor.] | Horváth, Zoltán [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, 2011.Online access: Click here to access online Availability: No items available

294. Static Analysis [electronic resource] :18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /

by Yahav, Eran [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

295. Principles and Practice of Constraint Programming – CP 2011 [electronic resource] :17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /

by Lee, Jimmy [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

296. Implementation and Application of Functional Languages [electronic resource] :22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

by Hage, Jurriaan [editor.] | Morazán, Marco T [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

297. Reachability Problems [electronic resource] :5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /

by Delzanno, Giorgio [editor.] | Potapov, Igor [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

298. Formal Modeling and Analysis of Timed Systems [electronic resource] :9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /

by Fahrenberg, Uli [editor.] | Tripakis, Stavros [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

299. Formal Methods for Industrial Critical Systems [electronic resource] :16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /

by Salaün, Gwen [editor.] | Schätz, 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, 2011.Online access: Click here to access online Availability: No items available

300. Implementation and Application of Functional Languages [electronic resource] :20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

by Scholz, Sven-Bodo [editor.] | Chitil, Olaf [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