Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
26 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Tümünü Seç
1
2
3
00
DEFAULTTR
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.
25.
Cyberpatterns Unifying Design Patterns with Security and Attack Patterns
Cyberpatterns Unifying Design Patterns with Security and Attack Patterns
Yazar
Blackwell, Clive. editor.
http://dx.doi.org/10.1007/978-3-319-04447-7
Format:
Electronic Resources
26.
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Yazar
van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format:
Electronic Resources
Tümünü Seç
1
2
3
26 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Lokasyon: Springer E-Book Collection
Included
Konu: Computer communication systems.
Included
Konu: Mathematical Logic and Formal Languages.
Included
Konu: Mathematical logic.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(26)
Albert, Elvira. editor.
(1)
Amos, Martyn. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Blackwell, Clive. editor.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Butler, Michael. editor.
(1)
CONDON, ANNE. editor.
(1)
Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X
(1)
Calinescu, Radu. editor.
(1)
Cassez, Franck. editor.
(1)
Conchon, Sylvain. editor.
(1)
Cook, Matthew. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Croitoru, Madalina. editor.
(1)
Denoeux, Thierry. editor.
(1)
Desmedt, Yvo. editor.
(1)
Destercke, Sébastien. editor.
(1)
Dinh, Thang N. editor.
(1)
D’Souza, Deepak. editor.
(1)
Ghosh, Sujata. editor.
(1)
Giannakopoulou, Dimitra. editor.
(1)
Iida, Hiroyuki. editor.
(1)
Jobstmann, Barbara. editor.
(1)
Jones, Richard. editor.
(1)
Lal, Akash. editor.
(1)
Lanese, Ivan. editor.
(1)
Larsen, Kim Guldstrand. editor.
(1)
Lecomte, Thierry. editor.
(1)
Leino, K. Rustan M. editor.
(1)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(1)
Marquis, Pierre. editor.
(1)
McMillan, Kenneth L. editor.
(1)
Merz, Stephan. editor.
(1)
Mordonini, Monica. editor. (orcid)0000-0002-5916-9770
(1)
Neary, Turlough. editor.
(1)
Pang, Jun. editor.
(1)
Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845
(1)
Pinger, Ralf. editor.
(1)
Piterman, Nir. editor.
(1)
Plaat, Aske. editor.
(1)
Raskin, Jean-François. editor.
(1)
Rival, Xavier. editor.
(1)
Roli, Andrea. editor. (orcid)0000-0001-9891-5441
(1)
Romanovsky, Alexander. editor.
(1)
Rudolph, Sebastian. editor.
(1)
Rumpe, Bernhard. editor.
(1)
Salaün, Gwen. editor.
(1)
Stapleton, Gem. editor.
(1)
Thai, My T. editor.
(1)
Troubitsyna, Elena. editor.
(1)
Verbrugge, Rineke. editor.
(1)
Villani, Marco. editor. (orcid)0000-0002-5991-5470
(1)
Virbitskaite, Irina. editor.
(1)
Voronkov, Andrei. editor.
(1)
Yahav, Eran. editor.
(1)
Zaïdi, Fatiha. editor.
(1)
Zhang, Zili. editor.
(1)
Zhu, Hong. editor.
(1)
van Benthem, Johan. editor.
(1)
van den Herik, H. Jaap. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(26)
Dil
Dahil
Hariç
English
(26)
Basım Yılı
Dahil
Hariç
2014
(8)
2015
(8)
2016
(7)
2019
(3)
Konu
Dahil
Hariç
Computer Communication Networks.
(26)
Computer science.
(23)
Computer logic.
(18)
Logics and Meanings of Programs.
(18)
Software engineering.
(17)
Artificial intelligence.
(13)
Programming Languages, Compilers, Interpreters.
(12)
Programming languages (Electronic computers).
(12)
Artificial Intelligence (incl. Robotics).
(10)
Algorithm Analysis and Problem Complexity.
(9)
Algorithms.
(9)
Computers.
(9)
Computation by Abstract Devices.
(8)
Computer programming.
(7)
Programming Techniques.
(7)
Information Systems Applications (incl. Internet).
(4)
Computer science -- Mathematics.
(3)
Discrete Mathematics in Computer Science.
(3)
Computer security.
(2)
Information storage and retrieval.
(2)
Systems and Data Security.
(2)
Computer simulation.
(1)
Logic in AI.
(1)
Management information systems.
(1)
Management of Computing and Information Systems.
(1)
Mathematical statistics.
(1)
Models and Principles.
(1)
Pattern recognition.
(1)
Probability and Statistics in Computer Science.
(1)
Simulation and Modeling.
(1)
Special Purpose and Application-Based Systems.
(1)
Special purpose computers.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(26)
Kütüphane
Dahil
Hariç
TEDU library
(26)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}