Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(41)
Debruyne, Christophe. editor.
(4)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(4)
Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795
(3)
Bravetti, Mario. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(20)
Application software.
(13)
Artificial intelligence.
(12)
Computer Communication Networks.
(12)
Computer and Information Systems Applications.
(12)
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ç
41 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Yazar 
Laneve, Cosimo. editor. Su, Jianwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14458-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Security for Web Services and Service-Oriented Architectures için kapak resmi
Security for Web Services and Service-Oriented Architectures
Yazar 
Bertino, Elisa. author. Martino, Lorenzo. author. Paci, Federica. author. Squicciarini, Anna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87742-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Semantic Web Services Challenge Results from the First Year için kapak resmi
Semantic Web Services Challenge Results from the First Year
Yazar 
Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-72496-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Yazar 
Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01364-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Modeling Semantic Web Services The Web Service Modeling Language için kapak resmi
Modeling Semantic Web Services The Web Service Modeling Language
Yazar 
Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68172-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings için kapak resmi
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Yazar 
Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Enabling Semantic Web Services The Web Service Modeling Ontology için kapak resmi
Enabling Semantic Web Services The Web Service Modeling Ontology
Yazar 
Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-34520-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings için kapak resmi
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Yazar 
Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11841197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings için kapak resmi
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Yazar 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11549970
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers için kapak resmi
Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers
Yazar 
Pautasso, Cesare. editor. Marcel, Patrick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75110-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
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: