Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Geç:
Arama Sonuçları
|
İçerik
|
Sayfa Sonu
|
Arama Filtreleri
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:
Gelişmiş Arama
4 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
0000
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.
1.
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Yazar
Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format:
Electronic Resources
2.
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Yazar
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
https://doi.org/10.1007/978-3-030-31038-7
Format:
Electronic Resources
View Other Search Results
3.
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Yazar
Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format:
Electronic Resources
4.
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Yazar
Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format:
Electronic Resources
Tümünü Seç
1
4 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
Kütüphane: TEDU library
Included
Basım Yılı: 2018-2020
Included
Konu: Logics and Meanings of Programs.
Included
Konu: Mathematics of Computing.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(4)
Filiot, Emmanuel. editor.
(1)
Gerdt, Vladimir P. editor.
(1)
Hoshi, Mizuho. editor.
(1)
Jungers, Raphaël. editor.
(1)
Koepf, Wolfram. editor.
(1)
Potapov, Igor. editor.
(1)
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
(1)
Sampaio, Augusto. editor.
(1)
Seiler, Werner M. editor. (orcid)0000-0002-0565-1334
(1)
Seki, Shinnosuke. editor.
(1)
Vorozhtsov, Evgenii V. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(4)
Dil
Dahil
Hariç
English
(4)
Basım Yılı
Dahil
Hariç
2018
(2)
2019
(2)
Konu
Dahil
Hariç
Software engineering.
(3)
Algorithm Analysis and Problem Complexity.
(2)
Artificial intelligence.
(2)
Computer logic.
(2)
Computer science.
(2)
Computer science—Mathematics.
(2)
Computer software.
(2)
Logic design.
(2)
Computer System Implementation.
(1)
Computer Systems Organization and Communication Networks.
(1)
Computer network architectures.
(1)
Computer organization.
(1)
Computer system failures.
(1)
Computers.
(1)
Data Structures and Information Theory.
(1)
Data structures (Computer scienc.
(1)
Mathematical Logic and Formal Languages.
(1)
Programming Languages, Compilers, Interpreters.
(1)
Programming languages (Electronic computers).
(1)
Special Purpose and Application-Based Systems.
(1)
System Performance and Evaluation.
(1)
The Computing Profession.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(4)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(4)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Git:
Arama Sonuçları
|
Sayfa Başı
|
Arama Filtreleri