Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(72)
Lee, Roger. editor.
(4)
Ao, Sio-Iong. editor.
(3)
Dimitrova, Rayna. editor.
(2)
Dongarra, Jack. editor.
(2)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(21)
Computer science.
(19)
Computer networks .
(14)
Application software.
(13)
Computer and Information Systems Applications.
(12)
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ç
73 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers için kapak resmi
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Yazar 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Collaboration Meets Interactive Spaces için kapak resmi
Collaboration Meets Interactive Spaces
Yazar 
Anslow, Craig. editor. Campos, Pedro. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45853-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Transactions on Engineering Technologies için kapak resmi
Transactions on Engineering Technologies
Yazar 
Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1088-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings için kapak resmi
Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
Yazar 
Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47099-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Computational Sustainability için kapak resmi
Computational Sustainability
Yazar 
Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31858-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Yazar 
Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Yazar 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future için kapak resmi
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Yazar 
Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30957-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Hagenberg Business Process Modelling Method için kapak resmi
Hagenberg Business Process Modelling Method
Yazar 
Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Natschläger, Christine. author. Ziebermayr, Thomas. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30496-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters için kapak resmi
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
Yazar 
Al-Akkad, Amro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç