Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(121)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Moreno-Díaz, Roberto. editor.
(3)
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124
(3)
Silhavy, Petr. editor.
(3)
Dil
English
(123)
Yayın Yılı
-
Konu
Computer networks .
(32)
Application software.
(28)
Computer and Information Systems Applications.
(28)
Computer Communication Networks.
(26)
Artificial intelligence.
(21)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
123 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove için kapak resmi
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Yazar 
Morazán, Marco T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
CyberSecurity in a DevOps Environment From Requirements to Monitoring için kapak resmi
CyberSecurity in a DevOps Environment From Requirements to Monitoring
Yazar 
Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42212-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings için kapak resmi
Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
Yazar 
Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51674-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fundamental Approaches to Software Engineering 27th International Conference, FASE 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 için kapak resmi
Fundamental Approaches to Software Engineering 27th International Conference, FASE 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
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57259-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Yazar 
Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62638-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis için kapak resmi
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
Yazar 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56862-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings için kapak resmi
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Yazar 
Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64073-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings için kapak resmi
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Yazar 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets