56 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
37. 
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings için kapak resmi
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Yazar 
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Electronic Resources
Alıntı: 
Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing of
38. 
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings için kapak resmi
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Yazar 
Díaz, Paloma. editor.
http://dx.doi.org/10.1007/978-3-319-18425-8
Format: 
Electronic Resources
Alıntı: 
Web-Connected Tags -- Building and using home automation systems: a field study -- FRAMES A Framework for
43. 
Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb için kapak resmi
Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb
Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb
Yazar 
Biffl, Stefan. editor.
https://doi.org/10.1007/978-3-030-25312-7
Format: 
Electronic Resources
Alıntı: 
Automation Systems Engineering: Requirements and Solution Concepts with AutomationML -- 9 Efficient and
44. 
Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers için kapak resmi
Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers
Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers
Yazar 
Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614
https://doi.org/10.1007/978-3-030-37386-3
Format: 
Electronic Resources
Alıntı: 
environments -- The Human and the Context components in the Design of Automatic Sign Language Recognition
Tümünü Seç
56 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Biffl, Stefan. editor.
(3)
Ao, Sio-Iong. editor.
(2)
Benatallah, Boualem. editor.
(2)
Bergsmann, Johannes. editor.
(2)
Format
Dil
Basım Yılı
Konu
Computer science.
(30)
Artificial intelligence.
(25)
Information Systems Applications (incl. Internet).
(16)
Management information systems.
(15)
Software Engineering/Programming and Operating Systems.
(12)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope