Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(48)
Marcus, Aaron. editor.
(5)
Rosenzweig, Elizabeth. editor.
(5)
Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320
(5)
Finkbeiner, Bernd. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer networks .
(37)
Software engineering.
(34)
Computer science.
(24)
Artificial intelligence.
(12)
Computer Science Logic and Foundations of Programming.
(9)
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ç
48 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V için kapak resmi
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V
Yazar 
Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61362-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV için kapak resmi
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV
Yazar 
Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61359-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022 için kapak resmi
Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022
Yazar 
Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5091-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II için kapak resmi
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
Yazar 
Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61353-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I için kapak resmi
Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
Yazar 
Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61351-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022 için kapak resmi
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Yazar 
Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4554-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings için kapak resmi
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
Yazar 
Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69926-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings için kapak resmi
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Yazar 
Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59936-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers için kapak resmi
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Yazar 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Information Security of Highly Critical Wireless Networks için kapak resmi
Information Security of Highly Critical Wireless Networks
Yazar 
Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52905-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: