Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Distributed Computing and Internet Technology [electronic resource] : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings / edited by Nikolaj Bj�rner, Sanjiva Prasad, Laxmi Parida.

by Bj�rner, Nikolaj [editor.] | Prasad, Sanjiva [editor.] | Parida, Laxmi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bj�rner, Frank de Boer.

by Bj�rner, Nikolaj [editor.] | de Boer, Frank [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, 2015Online access: Click here to access online Availability: No items available