Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(100)
Lopez, Cesar. author.
(10)
O'Regan, Gerard. author.
(7)
Taylor and Francis.
(4)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Dil
English
(176)
Yayın Yılı
-
Konu
Computer software.
(24)
Mathematical Software.
(22)
Software engineering.
(20)
COMPUTERS / Mathematical & Statistical Software
(17)
Electronic books.
(16)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
176 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
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:
26. 
Engineering Mathematics with MATLAB® and Simulink® için kapak resmi
Engineering Mathematics with MATLAB® and Simulink®
Yazar 
Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85244-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
RF and microwave engineering : fundamentals of wireless communications için kapak resmi
RF and microwave engineering : fundamentals of wireless communications
Yazar 
Gustrau, Frank, author.
Yer Numarası 
TK6560 .G87 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394283491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Multivariable Control Engineering Problems and their Solutions with GNU Octave için kapak resmi
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Yazar 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Solved Problems in Nonlinear Oscillations A sourcebook for scientists and engineers için kapak resmi
Solved Problems in Nonlinear Oscillations A sourcebook for scientists and engineers
Yazar 
He, Zeng. author. Jiang, Wen. author. Wang, Lin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6113-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Information-Measuring Systems Theory and Application için kapak resmi
Information-Measuring Systems Theory and Application
Yazar 
Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89406-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
A Practical Approach to Computational Fluid Dynamics Using OpenFOAM® için kapak resmi
A Practical Approach to Computational Fluid Dynamics Using OpenFOAM®
Yazar 
Caramia, Giovanni. author. (orcid)0000-0002-9298-4785 Distaso, Elia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88957-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Yazar 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
AISMA-2024: International Workshop on Advanced Information Security Management and Applications için kapak resmi
AISMA-2024: International Workshop on Advanced Information Security Management and Applications
Yazar 
Lapina, Maria. editor. (orcid)0000-0001-8117-9142 Raza, Zahid. editor. (orcid)0000-0003-1906-6774 Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Sajid, Mohammad. editor. (orcid)0000-0001-8822-5332 Zolotarev, Vyacheslav. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72171-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Cell Migration in Development, Health and Disease için kapak resmi
Cell Migration in Development, Health and Disease
Yazar 
Brüning-Richardson, Anke. editor. (orcid)0000-0002-9862-9805 Knipp, Sabine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64532-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Learn R : as a language için kapak resmi
Learn R : as a language
Yazar 
Aphalo, Pedro J., author.
Yer Numarası 
QA76.73 .R3 2024
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003404187
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023 için kapak resmi
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:
Eylem Seç