Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Meng, Weizhi. editor.
(2)
Sankaranarayanan, Sriram. editor.
(2)
Sharygina, Natasha. editor.
(2)
Abdallah, Chaouki T.
(1)
Dil
Konu
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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings için kapak resmi
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Yazar 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520976.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Yazar 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
XX(521082.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings için kapak resmi
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Yazar 
Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Yer Numarası 
XX(521117.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
Yazar 
Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)
Yer Numarası 
XX(521118.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42250-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I için kapak resmi
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Yazar 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası 
XX(521188.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-37105-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings için kapak resmi
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Yazar 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası 
XX(521275.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I için kapak resmi
Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I
Yazar 
Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.
Yer Numarası 
XX(521334.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48309-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Machine Learning and Artificial Intelligence için kapak resmi
Machine Learning and Artificial Intelligence
Yazar 
Joshi, Ameet V. author. SpringerLink (Online service)
Yer Numarası 
XX(520177.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-12282-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing için kapak resmi
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Yazar 
Nazareth, John Lawrence. author. SpringerLink (Online service)
Yer Numarası 
XX(520189.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21762-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings için kapak resmi
Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings
Yazar 
Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)
Yer Numarası 
XX(520222.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31420-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Mathematics for Computer Scientists A Practice-Oriented Approach için kapak resmi
Mathematics for Computer Scientists A Practice-Oriented Approach
Yazar 
Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası 
XX(520344.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers için kapak resmi
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Yazar 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Yer Numarası 
XX(520526.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: