Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(245)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Hameurlain, Abdelkader. editor.
(4)
Martín-Vide, Carlos. editor.
(4)
Dil
English
(251)
Yayın Yılı
-
Konu
Formal Languages and Automata Theory.
(245)
Computer science.
(160)
Computer Science Logic and Foundations of Programming.
(137)
Software engineering.
(135)
Artificial intelligence.
(122)
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ç
251 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
241. 
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings için kapak resmi
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Yazar 
Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45856-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings için kapak resmi
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Yazar 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014 için kapak resmi
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014
Yazar 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49175-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers için kapak resmi
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
Yazar 
Qi, Guilin. editor. Kozaki, Kouji. editor. Pan, Jeff Z. editor. Yu, Siwei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31676-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers için kapak resmi
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
Yazar 
Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31550-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Yazar 
Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39083-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words için kapak resmi
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Yazar 
Rigo, Michel.
Yer Numarası 
ONLINE(342165.1)
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119008200
John Wiley http://dx.doi.org/10.1002/9781119042853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Modeling and analysis of communicating systems için kapak resmi
Modeling and analysis of communicating systems
Yazar 
Groote, J. F. (Jan Friso), 1965-, author. Mousavi, Mohammad Reza, 1978-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Yer Numarası 
ONLINE(364967.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Formal languages and computation : models and their applications için kapak resmi
Formal languages and computation : models and their applications
Yazar 
Meduna, Alexander, 1957- author. Taylor and Francis.
Yer Numarası 
QA267.3
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Automatic defense against zero-day polymorphic worms in communication networks için kapak resmi
Automatic defense against zero-day polymorphic worms in communication networks
Yazar 
Mohammed, Mohssen, 1982, author. Pathan, Al-Sakib Khan.
Yer Numarası 
QA76.76 .C68 M64 2013
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Modeling software with finite state machines : a practical approach için kapak resmi
Modeling software with finite state machines : a practical approach
Yazar 
Wagner, Ferdinand.
Yer Numarası 
QA76.76 .D47 M625 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç