Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(73)
Bekki, Daisuke. editor.
(2)
Debruyne, Christophe. editor.
(2)
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
(2)
Hameurlain, Abdelkader. editor.
(2)
Dil
Yayın Yılı
-
Konu
Formal Languages and Automata Theory.
(73)
Application software.
(53)
Computer and Information Systems Applications.
(53)
Artificial intelligence.
(49)
Computer science.
(28)
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ç
74 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Yazar 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers için kapak resmi
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Yazar 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28766-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures için kapak resmi
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Yazar 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings için kapak resmi
Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
Yazar 
Renda, M. Elena. editor. Bursa, Miroslav. editor. Holzinger, Andreas. editor. Khuri, Sami. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43949-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings için kapak resmi
Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
Yazar 
Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45276-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization için kapak resmi
Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
Yazar 
Hudec, Miroslav. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42518-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings için kapak resmi
Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
Yazar 
Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45925-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings için kapak resmi
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Yazar 
Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45856-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
Yazar 
Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30024-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Directed Algebraic Topology and Concurrency için kapak resmi
Directed Algebraic Topology and Concurrency
Yazar 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers için kapak resmi
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Yazar 
Hasuo, Ichiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40370-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Yazar 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç