E-LIB Suche - Ergebnisse für: Sriram, K. K.

1

Verified software: theories, tools, experiments

third international conference, VSTTE 2010, Edinburgh, UK, ... Lecture notes in computer science ; 6217

O’Hearn, Peter ; Rajamani, Sriram K. ; Leavens, Gary T. , 2010

Link: http://dx.doi.org/10.100..

2

Computer Aided Verification (vol. # 3576)

17th International Conference, CAV 2005, Edinburgh, Scotlan... Lecture Notes in Computer Science ; 3576

Etessami, Kousha ; Rajamani, Sriram K. , 2005

Link: http://dx.doi.org/10.100..

3

Computer aided verification

17th international conference, CAV 2005, Edinburgh, Scotlan... Lecture notes in computer science ; 3576

Etessami, Kousha ; Rajamani, Sriram K. , 2005

Link: http://dx.doi.org/10.100..

4

Model Checking Software

10th International SPIN Workshop Portland, OR, USA, May 9–1... Lecture Notes in Computer Science ; 2648;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Ball, Thomas ; Rajamani, Sriram K. , 2003

Link: https://doi.org/10.1007/..

5

Proceedings of the Fourth International Conference in Ocean..

Lecture Notes in Civil Engineering, 22

Murali, K ; Sriram, V ; Samad, Abdus. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

6

Proceedings of the Fourth International Conference in Ocean..

Lecture Notes in Civil Engineering, 23

Murali, K ; Sriram, V ; Samad, Abdus. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

7

Creator Culture

An Introduction to Global Social Media Entertainment

Arriagada, Arturo ; Banet-Weiser, Sarah ; Baym, Nancy K.... , [2021]

Link: https://www.degruyter.co..

8

High Performance Computing — HiPC 2001

8th International Conference Hyderabad, India, December 17–... Lecture Notes in Computer Science ; 2228;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Monien, Burkhard ; Prasanna, Viktor K. ; Vajapeyam, Sriram , 2001

Link: https://doi.org/10.1007/..

9

High Performance Computing — HiPC 2000

7th International Conference Bangalore, India, December 17–... Lecture Notes in Computer Science ; 1970;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Valero, Mateo ; Prasanna, Viktor K. ; Vajapeyam, Sriram , 2000

Link: https://doi.org/10.1007/..

10

Service quality variability and termination behavior

Ross School of Business working paper series ; 1224

Sriram, S. , 2014

Link: http://hdl.handle.net/20..