Arama Sonuçlarını Sınırlandır
Yazar
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ç
25 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings için kapak resmi
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Yazar 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
XX(521090.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
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ı 
XX(521245.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
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:
16. 
Pediatric Surgery Pediatric Urology için kapak resmi
Pediatric Surgery Pediatric Urology
Yazar 
Puri, Prem. editor. SpringerLink (Online service)
Yer Numarası 
XX(521693.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43567-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide için kapak resmi
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
Yazar 
Tohid, Hassaan. editor. Baratta, Larry G. editor. Maibach, Howard. editor. SpringerLink (Online service)
Yer Numarası 
XX(521696.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28296-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
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:
19. 
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers için kapak resmi
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Yazar 
You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520516.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4430-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Neuro Symbolic Reasoning and Learning için kapak resmi
Neuro Symbolic Reasoning and Learning
Yazar 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Yer Numarası 
XX(520609.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 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
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 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 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II için kapak resmi
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Yazar 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası 
XX(520982.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(521139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings için kapak resmi
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Yazar 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası 
XX(521341.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: