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
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Kütüphane: TEDU library
Included
Konu: Mathematical logic.
Included
Konu: Software Engineering/Programming and Operating Systems.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(10)
Chaudhuri, Swarat. editor.
(2)
Farzan, Azadeh. editor.
(2)
Kroening, Daniel. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Badouel, Eric. author.
(1)
Bernardinello, Luca. author.
(1)
Biere, Armin. editor.
(1)
Bloem, Roderick. editor.
(1)
Darondeau, Philippe. author.
(1)
Falaschi, Moreno. editor.
(1)
Gorrieri, Roberto. author.
(1)
Karydis, Ioannis. editor.
(1)
Proietti, Maurizio. editor.
(1)
Seki, Hirohisa. editor.
(1)
Sioutas, Spyros. editor.
(1)
Triantafillou, Peter. editor.
(1)
Tsoumakos, Dimitrios. editor.
(1)
Versari, Cristian. author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(10)
Dil
Dahil
Hariç
English
(10)
Basım Yılı
Dahil
Hariç
2014
(1)
2015
(6)
2016
(3)
Konu
Dahil
Hariç
Computer science.
(10)
Software engineering.
(10)
Computer logic.
(8)
Logics and Meanings of Programs.
(8)
Mathematical Logic and Formal Languages.
(8)
Computer Systems Organization and Communication Networks.
(5)
Computer organization.
(5)
Computer science -- Mathematics.
(5)
Artificial Intelligence (incl. Robotics).
(3)
Artificial intelligence.
(3)
Discrete Mathematics in Computer Science.
(3)
Computers.
(2)
Mathematical Logic and Foundations.
(2)
Mathematics of Computing.
(2)
Theory of Computation.
(2)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(10)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(10)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found