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
14 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
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.
13.
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format:
Electronic Resources
14.
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
https://doi.org/10.1007/978-3-030-21759-4
Format:
Electronic Resources
Tümünü Seç
1
2
14 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
Basım Yılı: 2019
Included
Konu: Computer logic.
Included
Konu: Computer system failures.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(14)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
(1)
Biondi, Fabrizio. editor.
(1)
Cleaveland, Rance. editor.
(1)
Dillig, Isil. editor.
(1)
Filiot, Emmanuel. editor.
(1)
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
(1)
Fontaine, Pascal. editor.
(1)
Given-Wilson, Thomas. editor.
(1)
Grosu, Radu. editor. (orcid)0000-0001-5715-2142
(1)
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
(1)
Huisman, Marieke. editor.
(1)
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
(1)
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
(1)
Jungers, Raphaël. editor.
(1)
Keller, Chantal. editor.
(1)
Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X
(1)
Legay, Axel. editor.
(1)
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
(1)
Lynce, Inês. editor. (orcid)0000-0003-4868-415X
(1)
Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042
(1)
Massink, Mieke. editor. (orcid)0000-0001-5089-002X
(1)
Potapov, Igor. editor.
(1)
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
(1)
Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658
(1)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(1)
Tasiran, Serdar. editor.
(1)
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
(1)
Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557
(1)
Zhang, Lijun. editor. (orcid)0000-0002-3692-2088
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(14)
Dil
Dahil
Hariç
English
(14)
Konu
Dahil
Hariç
Software engineering.
(14)
System Performance and Evaluation.
(14)
Logics and Meanings of Programs.
(12)
Mathematical Logic and Formal Languages.
(9)
Mathematical logic.
(9)
Computers.
(8)
The Computing Profession.
(8)
Artificial intelligence.
(7)
Programming Languages, Compilers, Interpreters.
(5)
Programming languages (Electronic computers).
(5)
Logic in AI.
(3)
Software Engineering/Programming and Operating Systems.
(3)
Algorithm Analysis and Problem Complexity.
(2)
Algorithms.
(2)
Computer science—Mathematics.
(2)
Computer simulation.
(2)
Simulation and Modeling.
(2)
Theory of Computation.
(2)
Computer programming.
(1)
Math Applications in Computer Science.
(1)
Mathematics of Computing.
(1)
Natural Language Processing (NLP).
(1)
Natural language processing (Computer science).
(1)
Numeric Computing.
(1)
Numerical analysis.
(1)
Programming Techniques.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(14)
Kütüphane
Dahil
Hariç
TEDU library
(14)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}