Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(152)
Kirazlı, Mehmet.
(6)
Tanrıverdioğlu, Sezer.
(6)
Bates, Bert.
(5)
Boles, Dietrich. author.
(5)
Dil
Yayın Yılı
-
Konu
Java (Computer program language)
(149)
Computer science.
(119)
Software engineering.
(53)
Electronic books.
(23)
Java (Bilgisayar program dili)
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
420 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
337. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
338. 
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
339. 
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Yazar 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
340. 
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I için kapak resmi
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Yazar 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
341. 
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers için kapak resmi
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Yazar 
Pesado, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
342. 
Higher Education Computer Science A Manual of Practical Approaches için kapak resmi
Higher Education Computer Science A Manual of Practical Approaches
Yazar 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
343. 
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings için kapak resmi
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Yazar 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
344. 
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29476-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
345. 
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2 için kapak resmi
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Yazar 
Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-3091-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
346. 
Handbook of computational sciences : a multi and interdisciplinary approach için kapak resmi
Handbook of computational sciences : a multi and interdisciplinary approach
Yazar 
Elngar, Ahmed A., editor.
Yer Numarası 
QA76 .H36 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
347. 
Blockchain for real world applications için kapak resmi
Blockchain for real world applications
Yazar 
Garg, Rishabh, author.
Yer Numarası 
QA76.9 .B56 G37 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119903765
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
348. 
Informatics and machine learning : from Martingales to metaheuristics için kapak resmi
Informatics and machine learning : from Martingales to metaheuristics
Yazar 
Winters-Hilt, Stephen, author.
Yer Numarası 
Q325.5 .W558 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets