Search Results for Logic.

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ç

14 sonuç bulundu

Arama sonuçlarına abone ol

1 2

00DEFAULT_TR

Yazdır

157.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings için kapak resmi

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38916-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:

Kopya:

158.

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings için kapak resmi

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Yazar

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41533-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:

Kopya:

1 2

Go to:Search Results

|

|