Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(75)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bouajjani, Ahmed. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X
(2)
Dil
Yayın Yılı
-
2017
(24)
2016
(19)
2024
(18)
2025
(13)
2023
(1)
Konu
Computer Communication Networks.
(56)
Computer science.
(38)
Software engineering.
(38)
Formal Languages and Automata Theory.
(36)
Machine theory.
(36)
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ç
75 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings için kapak resmi
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Yazar 
Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56957-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Fundamentals of Information Systems Interoperability Data, Services, and Processes için kapak resmi
Fundamentals of Information Systems Interoperability Data, Services, and Processes
Yazar 
Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48322-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings için kapak resmi
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Yazar 
Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63790-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I için kapak resmi
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I
Yazar 
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66982-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Yazar 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II için kapak resmi
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II
Yazar 
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66986-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I için kapak resmi
Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I
Yazar 
Rapp, Amon. editor. Di Caro, Luigi. editor. Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Sugumaran, Vijayan. editor. (orcid)0000-0003-2557-3182 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70239-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Proceedings of International Conference on Computational Intelligence ICCI 2021 için kapak resmi
Proceedings of International Conference on Computational Intelligence ICCI 2021
Yazar 
Tiwari, Ritu. editor. Pavone, Mario F. editor. Ravindranathan Nair, Ranjith. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-2126-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Yazar 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
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:
35. 
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers için kapak resmi
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Yazar 
Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57858-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings için kapak resmi
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Yazar 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç