Search Results for

425 sonuç bulundu

1 .. 3 4 5 6 7 .. 36

000000000000DEFAULT_TR

49.

Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings

Yazar

Pillai, Prashant. editor. Sithamparanathan, Kandeepan. editor. Giambene, Giovanni. editor. Vázquez, Miguel Ángel. editor. Mitchell, Paul Daniel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-95582-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Yazar

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Yazar

Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03592-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Yazar

Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

Yazar

Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00840-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

Yazar

Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00761-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings

Yazar

Galinina, Olga. editor. (orcid)0000-0002-5386-1061 Andreev, Sergey. editor. (orcid)0000-0001-8223-3665 Balandin, Sergey. editor. (orcid)0000-0003-3238-4830 Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01168-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00359-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

Yazar

Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-79090-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 3 4 5 6 7 .. 36

	{displayName}	{count}
{error}