|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8255Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa. by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Ulrich, Andreas [editor.] | Hasegawa, Toru [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5047Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Techniques for Networked and Distributed Systems – FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih. by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Yasumoto, Keiichi [editor.] | El-Fakih, Khaled [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5048Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4762Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
