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.

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Yazar

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46520-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday için kapak resmi

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Yazar

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30936-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4

Go to:Search Results

|

|