Search Results for Compilers (Computer programs)

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

225 sonuç bulundu

1 2 3 4 5 .. 19

000000000000DEFAULT_TR

25.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71291-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Yazar

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-70074-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68972-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

Yazar

An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69131-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computer Graphics for Java Programmers

Yazar

Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63357-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Yazar

Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Yazar

Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)