Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Puzzles in Logic, Languages and Computation The Green Book için kapak resmi
Puzzles in Logic, Languages and Computation The Green Book
Yazar 
Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333840.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Puzzles in Logic, Languages and Computation The Red Book için kapak resmi
Puzzles in Logic, Languages and Computation The Red Book
Yazar 
Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333842.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34378-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker için kapak resmi
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Yazar 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Sign Studies and Semioethics : Communication, Translation and Values için kapak resmi
Sign Studies and Semioethics : Communication, Translation and Values
Yazar 
Petrilli, Susan, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9781614515227
https://www.degruyter.com/isbn/9781614515227
Cover https://www.degruyter.com/document/cover/isbn/9781614515227/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: