Search Results for SCIENCE -- General.

6228 sonuç bulundu

1 2 3 4 5 6 .. 519

000000000000DEFAULT_TR

37.

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Yazar

Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29611-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Yazar

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29662-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers

Yazar

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Guédria, Wided. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11683-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

Yazar

Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32686-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Yazar

Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34992-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Yazar

Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II

Yazar

Lu, Huchuan. editor. Tang, Huajin. editor. Wang, Zhanshan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22808-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Yazar

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Information Retrieval 25th China Conference, CCIR 2019, Fuzhou, China, September 20–22, 2019, Proceedings

Yazar

Zhang, Qi. editor. Liao, Xiangwen. editor. Ren, Zhaochun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31624-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Yazar

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 519

	{displayName}	{count}
{error}