Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Automata, languages and machines. Voume B için kapak resmi
Automata, languages and machines. Voume B
Yazar 
Eilenberg, Samuel. Tilson, Bret.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122340024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Infinite words automata, semigroups, logic and games için kapak resmi
Infinite words automata, semigroups, logic and games
Yazar 
Perrin, Dominique. Pin, Jean Eric.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Yazar 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: