Search Results for Research methods.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

54 sonuç bulundu

1 2 3 4 5

000000DEFAULT_TR

49.

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Yazar

Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Deductive Software Verification - The KeY Book From Theory to Practice

Yazar

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-49812-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)