Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(124)
Crespi Reghizzi, Stefano. author.
(3)
Dressler, Wolfgang U., contributor.
(3)
Levelt, W. J., author.
(3)
Martín-Vide, Carlos. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(51)
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ç
178 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday için kapak resmi
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Yazar 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis için kapak resmi
Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
Yazar 
Fornasiero, Elena, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110783445
https://www.degruyter.com/isbn/9783110783445
Cover https://www.degruyter.com/document/cover/isbn/9783110783445/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computers in Language Research için kapak resmi
Computers in Language Research
Yazar 
Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783112419588
https://www.degruyter.com/isbn/9783112419588
Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Here - Hither - Hence and Related Categories : A Cross-linguistic Study için kapak resmi
Here - Hither - Hence and Related Categories : A Cross-linguistic Study
Yazar 
Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110672640
https://www.degruyter.com/isbn/9783110672640
Cover https://www.degruyter.com/document/cover/isbn/9783110672640/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Handbook of Home Language Maintenance and Development : Social and Affective Factors için kapak resmi
Handbook of Home Language Maintenance and Development : Social and Affective Factors
Yazar 
Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9781501510175
https://www.degruyter.com/isbn/9781501510175
Cover https://www.degruyter.com/document/cover/isbn/9781501510175/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence için kapak resmi
Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence
Yazar 
Stolz, Thomas, author. Levkovych, Nataliya, author. Nintemann, Julia, author. Robbers, Maja, author. Urdze, Aina, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110539516
https://www.degruyter.com/isbn/9783110539516
Cover https://www.degruyter.com/document/cover/isbn/9783110539516/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Yazar 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers için kapak resmi
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Yazar 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability The PAAMS Collection için kapak resmi
Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability The PAAMS Collection
Yazar 
Bajo, Javier. editor. Hernández, Josefa Z. editor. Mathieu, Philippe. editor. Campbell, Andrew. editor. Fernández-Caballero, Antonio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19629-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings için kapak resmi
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Yazar 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23980-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17581-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering için kapak resmi
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
Yazar 
Jureta, Ivan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç