Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(225)
Lopez, Cesar. author.
(9)
Joshi, Amit. editor.
(8)
Tungut, H. Burak
(5)
Akashe, Shyam. editor.
(4)
Dil
Yayın Yılı
-
Konu
Software engineering.
(61)
Programming languages (Electronic computers).
(42)
Programming Language.
(41)
Compilers (Computer programs).
(39)
Compilers and Interpreters.
(39)
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ç
348 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
97. 
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II için kapak resmi
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
Yazar 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66673-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
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:
99. 
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I için kapak resmi
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
Yazar 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66676-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Deep Generative Modeling için kapak resmi
Deep Generative Modeling
Yazar 
Tomczak, Jakub M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64087-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5 için kapak resmi
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5
Yazar 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8537-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
R programming for actuarial science için kapak resmi
R programming for actuarial science
Yazar 
McQuire, Peter, author. Kume, Alfred, author.
Yer Numarası 
QA276.45 .R3 M38 2024 EB
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755005
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Digital convergence in antenna designs : applications for real-time solutions için kapak resmi
Digital convergence in antenna designs : applications for real-time solutions
Yazar 
Srividya, P., editor.
Yer Numarası 
TK7871.6 .D54 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Programming with GitHub Copilot : Write Better Code--Faster! için kapak resmi
Programming with GitHub Copilot : Write Better Code--Faster!
Yazar 
Dowswell, Kurt, author.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Mathematical modeling and simulation : introduction for scientists and engineers için kapak resmi
Mathematical modeling and simulation : introduction for scientists and engineers
Yazar 
Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.
Yer Numarası 
QA401 .V38 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings için kapak resmi
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Yazar 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings için kapak resmi
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Yazar 
Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56957-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
BUiD Doctoral Research Conference 2023 Multidisciplinary Studies için kapak resmi
BUiD Doctoral Research Conference 2023 Multidisciplinary Studies
Yazar 
Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 David, Solomon Arulraj. editor. Al-Emran, Mostafa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56121-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç