Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(288)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(10)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Dil
English
(292)
Yayın Yılı
-
Konu
Computer science.
(240)
Computer Science Logic and Foundations of Programming.
(170)
Formal Languages and Automata Theory.
(111)
Machine theory.
(111)
Compilers (Computer programs).
(94)
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ç
292 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
289. 
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings için kapak resmi
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Yazar 
Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48758-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Yazar 
Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44878-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study için kapak resmi
Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study
Yazar 
Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335992.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5506-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç