Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(79)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(5)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(4)
Bäck, Thomas. editor. (orcid)0000-0001-6768-1478
(4)
Dil
Yayın Yılı
-
Konu
Computer System Implementation.
(76)
Computer systems.
(70)
Computer networks .
(41)
Computer Communication Networks.
(40)
Special Purpose and Application-Based Systems.
(38)
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ç
79 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Yazar 
Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52183-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings için kapak resmi
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Yazar 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings için kapak resmi
Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings
Yazar 
Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51399-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I için kapak resmi
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I
Yazar 
Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56580-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71261-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I için kapak resmi
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I
Yazar 
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70055-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II için kapak resmi
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II
Yazar 
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70068-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III için kapak resmi
Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III
Yazar 
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70071-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers için kapak resmi
Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers
Yazar 
Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66339-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings için kapak resmi
Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings
Yazar 
Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52265-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers için kapak resmi
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Yazar 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61753-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Yazar 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç