Search Results for Software engineering.

69 sonuç bulundu

1 2 3 4 5 6

000000000000DEFAULT_TR

13.

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Yazar

Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

Yazar

Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Yazar

DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Yazar

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Yazar

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Yazar

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

Yazar

Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

Yazar

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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:

24.

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Yazar

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6

	{displayName}	{count}
{error}