Search Results for Mathematical Computing.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

161 sonuç bulundu

1 2 3 4 5 6 .. 14

000000000000DEFAULT_TR

37.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1

Yazar

Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria, Revised Selected Papers

Yazar

Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. (orcid)0000-0003-2008-710X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Yazar

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2718-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024, Revised Selected Papers

Yazar

Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

The Nineteenth International Conference on Management Science and Engineering Management

Yazar

Xu, Jiuping. editor. (orcid)0000-0003-3756-3969 Dabo-Niang, Sophie. editor. (orcid)0000-0002-4000-6752 Binti Ismail, Noor Azina. editor. Gao, Ning. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-95-1595-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023

Yazar

Alikhanov, Anatoly. editor. Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Babenko, Mikhail. editor. (orcid)0000-0001-7066-0061 Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author. SpringerLink (Online service)