Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2560)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Dil
Yayın Yılı
-
Konu
Computer software.
(2189)
Computer science.
(2063)
Artificial intelligence.
(999)
Computer Communication Networks.
(938)
Software engineering.
(670)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
3211 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
661. 
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
662. 
Current Trends on Knowledge-Based Systems için kapak resmi
Current Trends on Knowledge-Based Systems
Yazar 
Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51905-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
663. 
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library için kapak resmi
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Yazar 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
664. 
Computing Platforms for Software-Defined Radio için kapak resmi
Computing Platforms for Software-Defined Radio
Yazar 
Hussain, Waqar. editor. Nurmi, Jari. editor. Isoaho, Jouni. editor. Garzia, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49679-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
665. 
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings için kapak resmi
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Yazar 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
666. 
Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III için kapak resmi
Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
Yazar 
Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58640-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
667. 
Advances in Computer and Computational Sciences Proceedings of ICCCCS 2016, Volume 1 için kapak resmi
Advances in Computer and Computational Sciences Proceedings of ICCCCS 2016, Volume 1
Yazar 
Bhatia, Sanjiv K. editor. Mishra, Krishn K. editor. Tiwari, Shailesh. editor. (orcid)0000-0002-1306-1246 Singh, Vivek Kumar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3770-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
668. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
669. 
Concise Guide to Software Engineering From Fundamentals to Application Methods için kapak resmi
Concise Guide to Software Engineering From Fundamentals to Application Methods
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
670. 
Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods için kapak resmi
Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods
Yazar 
Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56982-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
671. 
Human Centered Software Product Lines için kapak resmi
Human Centered Software Product Lines
Yazar 
Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60947-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
672. 
The Symbolic Computation of Integrability Structures for Partial Differential Equations için kapak resmi
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Yazar 
Krasil'shchik, Joseph. author. Verbovetsky, Alexander. author. Vitolo, Raffaele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71655-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets