Search Results for Software

96 sonuç bulundu

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

25.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Yazar

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part II

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part I

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part III

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IV

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part V

Yazar

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71162-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

Yazar

Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627 Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Ndoundam, René. editor. (orcid)0000-0003-1105-762X Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63110-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Deep Learning Theory and Applications 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part I

Yazar

Fred, Ana. editor. (orcid)0000-0003-1320-5024 Hadjali, Allel. editor. (orcid)0000-0002-4452-1647 Gusikhin, Oleg. editor. Sansone, Carlo. editor. (orcid)0000-0002-8176-6950 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Deep Learning Theory and Applications 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part II

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}