Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
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 I 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 I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1 için kapak resmi
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Yazar 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39774-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems için kapak resmi
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Yazar 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: