Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1123)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Dil
Yayın Yılı
-
Konu
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(343)
Computer Communication Networks.
(288)
Computer software.
(201)
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ç
1153 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
145. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Yazar 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings için kapak resmi
Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Yazar 
Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00129-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Design of Experiments for Reinforcement Learning için kapak resmi
Design of Experiments for Reinforcement Learning
Yazar 
Gatti, Christopher. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12197-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning için kapak resmi
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Yazar 
Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17912-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Sayısal tasarım için kapak resmi
Sayısal tasarım
Yazar 
Mano, M. Morris. Boğosyan, Seta, çev. Gökaşan, Metin, çev. Kurtulan, Salman, çev.
Yer Numarası 
TK7888.3 M35 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
150. 
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings için kapak resmi
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Yazar 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Transactions on Computational Science XXIV Special Issue on Reversible Computing için kapak resmi
Transactions on Computational Science XXIV Special Issue on Reversible Computing
Yazar 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45711-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Foundation of digital electronics and logic design için kapak resmi
Foundation of digital electronics and logic design
Yazar 
Sarkar, Subir Kumar, author. De, Asishkumar, author. Sarkar, Souvik, author. Pan Stanford Publishing.
Yer Numarası 
TK7868
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Yazar 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334014.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Yazar 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç