Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(156)
Fischer-Hübner, Simone. editor.
(7)
Shenoi, Sujeet. editor.
(6)
Peterson, Gilbert. editor.
(5)
Hansen, Marit. editor.
(4)
Dil
English
(161)
Yayın Yılı
-
Konu
Artificial intelligence.
(62)
Computer Communication Networks.
(62)
Computer software.
(49)
Software engineering.
(47)
Information systems.
(37)
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ç
161 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings için kapak resmi
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Yazar 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings için kapak resmi
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Yazar 
Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48758-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings için kapak resmi
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Yazar 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Yazar 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers için kapak resmi
Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers
Yazar 
Fukuda, Shuichi. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Gurumoorthy, Balan. editor. Bouras, Abdelaziz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45937-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
ICT and Society 11th IFIP TC 9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 - August 1, 2014, Proceedings için kapak resmi
ICT and Society 11th IFIP TC 9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 - August 1, 2014, Proceedings
Yazar 
Kimppa, Kai. editor. Whitehouse, Diane. editor. Kuusela, Tiina. editor. Phahlamohlaka, Jackie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44208-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Privacy and Identity Management for Emerging Services and Technologies 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers için kapak resmi
Privacy and Identity Management for Emerging Services and Technologies 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers
Yazar 
Hansen, Marit. editor. Hoepman, Jaap-Henk. editor. Leenes, Ronald. editor. Whitehouse, Diane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55137-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I için kapak resmi
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I
Yazar 
Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334407.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37331-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III için kapak resmi
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III
Yazar 
Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334428.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37431-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV için kapak resmi
Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV
Yazar 
Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334431.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37447-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings için kapak resmi
Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings
Yazar 
Agrawal, Anupam. editor. Tripathi, R. C. editor. Do, Ellen Yi-Luen. editor. Tiwari, M. D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334435.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37463-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings için kapak resmi
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
Yazar 
Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335064.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41151-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç