Search Results for Software engineering.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

100 sonuç bulundu

1 .. 5 6 7 8 9

0000DEFAULT_TR

97.

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Yazar

Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13206-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Yazar

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)