Gösterilen
1 - 6
sonuçlar arası kayıtlar.
6
sonuç. Aranan kelime '
'
İçeriği atla
VuFind
Hesabım
Çıkış
Kurumsal Giriş
Dil
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tüm Alanlar
Yazar
Materyal Adı
Dergi Başlığı
Konu
ISBN/ISSN
Etiket
Ara
Gelişmiş
Filtreleri Sıfırla
Konu:
logics of programming
Filtreleri Sıfırla
Gösterilen flitre sayısı (1)
Konu:
logics of programming
Arama Sonuçları
Gösterilen
1 - 6
sonuçlar arası kayıtlar.
6
sonuç. Aranan kelime '
'
, Sorgu süresi: 0.13s
Sonuçları Daraltın
Her Sayfadaki Sonuçlar
10
20
40
60
80
100
Sırala
İlgili
Tarih-Azalan
Tarih-Artan
Yazar
Materyal Adı
Liste
Sistem
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Yüklüyor......
Foundations of Software Science and Computation Structures
Tam Metin Erişim
Arama Araçları:
RSS Beslemesi
—
Aramayı e-posta ile gönder
—
Aramayı sakla
Geri
Aramayı Daralt
Kurum
DOAB
6
[hariç]
Koleksiyon
Directory of Open Access Books
6
[hariç]
Materyal Türü
Livro
6
[hariç]
Yazar
Kobayashi, Naoki
2
[hariç]
Worrell, James
2
[hariç]
Abdulla, Parosh Aziz
1
[hariç]
Bouyer, Patricia
1
[hariç]
Goubault-Larrecq, Jean
1
[hariç]
Kesner, Delia
1
[hariç]
daha fazla ...
Kiefer, Stefan
1
[hariç]
König, Barbara
1
[hariç]
Schröder, Lutz
1
[hariç]
Tasson, Christine
1
[hariç]
Hepsini Gör ...
daha az ...
Konu
language theory, automata, and games
6
[hariç]
logics of programming
modal, spatial, and temporal logics
6
[hariç]
models of software security
6
[hariç]
categorical models and logics
5
[hariç]
emerging models of computation
5
[hariç]
daha fazla ...
logical aspects of computational complexity
5
[hariç]
software specification and refinement
5
[hariç]
program analysis
4
[hariç]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
4
[hariç]
concurrency theory
3
[hariç]
concurrency theory and process calculi
3
[hariç]
rewriting theory
3
[hariç]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[hariç]
type theory and proof theory
3
[hariç]
Computer programming / software engineering
2
[hariç]
Programming Techniques
2
[hariç]
formal logic
2
[hariç]
logical foundations of data bases
2
[hariç]
semantics of programming languages
2
[hariç]
thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory
2
[hariç]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[hariç]
Artificial intelligence
1
[hariç]
Categorical models and logics
1
[hariç]
Hepsini Gör ...
daha az ...
Dil
Inglês
6
[hariç]
Yayın Tarihi
den:
Kime:
Yayın Tarihi
Temizle
×
Yüklüyor......