Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Bekki, Daisuke. editor.
(2)
Benslimane, Djamal. editor.
(2)
Damiani, Ernesto. editor.
(2)
Debruyne, Christophe. editor.
(2)
Dil
Yayın Yılı
-
Konu
Formal Languages and Automata Theory.
(27)
Artificial intelligence.
(16)
Computer science.
(13)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(11)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
27 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II için kapak resmi
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Yazar 
Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64471-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69459-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings için kapak resmi
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Yazar 
Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53733-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Yazar 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Yazar 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers için kapak resmi
New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
Yazar 
Otake, Mihoko. editor. Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ota, Yuiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50953-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings için kapak resmi
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Yazar 
Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32582-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings için kapak resmi
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Yazar 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
A New Perspective on Nonmonotonic Logics için kapak resmi
A New Perspective on Nonmonotonic Logics
Yazar 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46817-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27683-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings için kapak resmi
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Yazar 
Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53042-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets