|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7152Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano. by Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Ko, Ryan K.L [editor.] | Mueller, Peter [editor.] | Nakano, Koji [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10048 | Lecture Notes in Computer Science ; 10048Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
