Search Results for Science (General)

1644 sonuç bulundu

1 .. 3 4 5 6 7 .. 137

000000000000DEFAULT_TR

49.

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Yazar

Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Yazar

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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:

52.

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:

53.

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:

54.

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

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-20518-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings

Yazar

Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040 Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160 Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578 Rosas, Erika. editor. (orcid)0000-0003-0377-0193 Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Yazar

Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59565-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II

Yazar

Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 3 4 5 6 7 .. 137

	{displayName}	{count}
{error}