Search Results for Machine theory

Skip to:Search Results

|

|

|

Arama Sonuçlarını Sınırlandır

Liste görünümüne geç

Küçük resim görünümüne geç

38 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4

00DEFAULT_TR

Yazdır

37.

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings için kapak resmi

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Yazar

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41135-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29613-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4

Go to:Search Results

|

|