FEEDBACK Smiley face

Your search returned 33 results. Subscribe to this search

|
21. 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

22. 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

23. Formal Modeling and Analysis of Timed Systems [electronic resource] :10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /

by Jurdziński, Marcin [editor.] | Ničković, Dejan [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

24. Rewriting Logic and Its Applications [electronic resource] :9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

by Durán, Franciso [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

25. Tools for Practical Software Verification [electronic resource] :LASER, International Summer School 2011, 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

26. Generative and Transformational Techniques in Software Engineering IV [electronic resource] :International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /

by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [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

27. Inductive Logic Programming [electronic resource] :22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /

by Riguzzi, Fabrizio [editor.] | Železný, Filip [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

28. Runtime Verification [electronic resource] :5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /

by Bonakdarpour, Borzoo [editor.] | Smolka, Scott A [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

29. Rewriting Logic and Its Applications [electronic resource] :10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /

by Escobar, Santiago [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

30. Software, Services, and Systems [electronic resource] :Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /

by Nicola, Rocco De [editor.] | Hennicker, Rolf [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, 2015.Online access: Click here to access online Availability: No items available

31. Tests and Proofs [electronic resource] :9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [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, 2015.Online access: Click here to access online Availability: No items available

32. Rewriting Logic and Its Applications [electronic resource] :11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /

by Lucanu, Dorel [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, 2016.Online access: Click here to access online Availability: No items available

33. Small Dynamic Complexity Classes [electronic resource] :An Investigation into Dynamic Descriptive Complexity /

by Zeume, Thomas [author.] | 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, 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