Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Areces, Carlos. editor.
(1)
Arefin, Mohammad Shamsul. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Calvo Rolle, José Luis. editor.
(1)
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
22 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
13. 
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers için kapak resmi
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Yazar 
Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Yer Numarası 
XX(521384.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26622-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
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:
15. 
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings için kapak resmi
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Yazar 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Yer Numarası 
XX(518797.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings için kapak resmi
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Yazar 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Yer Numarası 
XX(518910.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings için kapak resmi
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Yazar 
Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası 
XX(518953.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20860-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings için kapak resmi
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Yazar 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Yer Numarası 
XX(519117.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. için kapak resmi
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Yazar 
Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
XX(519049.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Nanoelectronic device applications handbook için kapak resmi
Nanoelectronic device applications handbook
Yazar 
IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.) Morris, James E. Iniewski, Krzysztof.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
The logician and the engineer : how George Boole and Claude Shannon created the information age için kapak resmi
The logician and the engineer : how George Boole and Claude Shannon created the information age
Yazar 
Nahin, Paul J.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Genetics and randomness için kapak resmi
Genetics and randomness
Yazar 
Ruvinsky, Anatoly.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: