Giriş
|
Kütüphane Hesabım
|
Listelerim
|
İstek Oluştur
|
Dili değiştir
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
Ferit Melen Kütüphanesi
İlahiyat Kütüphanesi
İİBF Kütüphanesi
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
10
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Author: Bensalem, Saddek. editor.
Yazar
Dahil
Hariç
Legay, Axel. editor.
(2)
SpringerLink (Online service)
(2)
Lakhnech, Yassine. editor.
(1)
Dil
Dahil
Hariç
English
(2)
Yayın Yılı
Dahil
Hariç
-
2013
(1)
2014
(1)
Konu
Dahil
Hariç
Compilers (Computer programs).
(2)
Compilers and Interpreters.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Computer science.
(2)
Formal Languages and Automata Theory.
(2)
Machine theory.
(2)
Software engineering.
(2)
Algorithms.
(1)
Computer programming.
(1)
Programming Techniques.
(1)
Theory of Computation.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
Springer E-Kitap Koleksiyonu
Kütüphane
Dahil
Hariç
Ferit Melen Kütüphanesi
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
2 sonuç bulundu
1
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
00
DEFAULT
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
1.
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
by
Bensalem, Saddek. editor.
https://doi.org/10.1007/978-3-642-54848-2
Format:
Alıntı:
Formal Languages and Automata Theory.
Marc View
SD_ILS:170101
2.
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
by
Legay, Axel. editor.
https://doi.org/10.1007/978-3-642-40787-1
Format:
Alıntı:
Formal Languages and Automata Theory.
Marc View
SD_ILS:172191
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1