Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(74)
Hu, Zhanyi. editor.
(4)
Lee, Kyoung Mu. editor.
(4)
Matsushita, Yasuyuki. editor.
(4)
Rehg, James M. editor.
(4)
Dil
Yayın Yılı
-
2013
(74)
Konu
Artificial intelligence.
(74)
Computer science.
(69)
Information Systems Applications (incl. Internet).
(27)
Information systems.
(23)
Health Informatics.
(22)
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ç
74 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Modelling and Control of Dialysis Systems Volume 1: Modeling Techniques of Hemodialysis Systems için kapak resmi
Modelling and Control of Dialysis Systems Volume 1: Modeling Techniques of Hemodialysis Systems
Yazar 
Azar, Ahmad Taher. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333152.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27458-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Transactions on Rough Sets XVI için kapak resmi
Transactions on Rough Sets XVI
Yazar 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası 
ONLINE(334220.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers için kapak resmi
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Yazar 
Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Yer Numarası 
ONLINE(334532.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38085-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective için kapak resmi
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Yazar 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings için kapak resmi
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Yazar 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334875.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings için kapak resmi
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Yazar 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334877.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Yazar 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III için kapak resmi
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
Yazar 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Yer Numarası 
ONLINE(334998.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40760-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II için kapak resmi
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
Yazar 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Yer Numarası 
ONLINE(334999.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40763-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I için kapak resmi
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
Yazar 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Yer Numarası 
ONLINE(335010.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40811-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers için kapak resmi
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Yazar 
David, Esther. editor. Kiekintveld, Christopher. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Yer Numarası 
ONLINE(335021.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40864-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç