Arama Sonuçlarını Sınırlandır
Yazar
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Murgante, Beniamino. editor.
(23)
Dil
Yayın Yılı
-
2011
(350)
2010
(319)
2012
(311)
2013
(223)
2005
(175)
Konu
Computer software.
(2161)
Computer science.
(2029)
Computer Communication Networks.
(881)
Artificial intelligence.
(860)
Software engineering.
(567)
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ç
2234 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile için kapak resmi
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Yazar 
Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings için kapak resmi
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Yazar 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11944836
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11757283
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings için kapak resmi
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Yazar 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104325
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures için kapak resmi
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135888
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings için kapak resmi
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11590156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings için kapak resmi
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
Yazar 
Brooks, Anthony L. editor. SpringerLink (Online service)
Yer Numarası 
XX(520308.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28993-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I için kapak resmi
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Yazar 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Yer Numarası 
XX(520315.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2356-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II için kapak resmi
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Yazar 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası 
XX(520319.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers için kapak resmi
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
Yazar 
Santos, Rodrigo Pereira dos. editor. Hounsell, Marcelo da Silva. editor. SpringerLink (Online service)
Yer Numarası 
XX(520353.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27639-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Computer Aided Engineering of Batteries için kapak resmi
Computer Aided Engineering of Batteries
Yazar 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Yer Numarası 
XX(520358.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers için kapak resmi
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Yazar 
Pesado, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520411.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç