Search Results for Microprogramming .

96 sonuç bulundu

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

25.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90653-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Yazar

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90200-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papers

Yazar

Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143 San Martín, Jaime. editor. (orcid)0000-0002-9273-5260 Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80084-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Control Systems: A Historical and Philosophical Perspective History and philosophy of control systems

Yazar

Khaki-Sedigh, Ali. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7426-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023, Proceedings

Yazar

Masinde, Muthoni. editor. (orcid)0000-0002-8914-0055 Möbs, Sabine. editor. (orcid)0000-0002-1912-7007 Bagula, Antoine. editor. (orcid)0000-0002-1106-8938 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63999-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedings

Yazar

Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449 Petit, Christophe. editor. (orcid)0000-0003-3482-6743 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-64381-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Yazar

Gusikhin, Oleg. editor. Hammoudi, Slimane. editor. Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68919-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Yazar

Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49252-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Transactions on Petri Nets and Other Models of Concurrency XVII

Yazar

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-68191-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers

Yazar

Barrios H., Carlos J. editor. Rizzi, Silvio. editor. Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Monsalve Diaz, Jose M. editor. (orcid)0000-0001-6875-1685

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52186-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}