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
15 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
000
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.
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Yazar
van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format:
Electronic Resources
14.
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Yazar
James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format:
Electronic Resources
15.
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Yazar
Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-69483-2
Format:
Electronic Resources
Tümünü Seç
1
2
15 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 simulation.
Included
Konu: Logic design.
Included
Konu: Software engineering.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(15)
Abate, Alessandro. editor.
(1)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Artho, Cyrille. editor.
(1)
Best, Eike. editor.
(1)
Boldo, Sylvie. editor.
(1)
Di Marco, Antinisca. editor.
(1)
England, Matthew. editor. (orcid)0000-0001-5729-3420
(1)
Gallardo, María del Mar. editor.
(1)
Geeraerts, Gilles. editor.
(1)
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
(1)
Ghosh, Sujata. editor.
(1)
Hasan, Osman. editor. (orcid)0000-0003-2562-2669
(1)
Horvath, Andras. editor. (orcid)0000-0002-8210-545X
(1)
James, Phillip. editor.
(1)
Jansen, David N. editor. (orcid)0000-0002-6636-3301
(1)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(1)
Kunčak, Viktor. editor.
(1)
Lahiri, Shuvendu K. editor.
(1)
Langerak, Rom. editor.
(1)
Larsen, Kim Guldstrand. editor.
(1)
Majumdar, Rupak. editor.
(1)
McIver, Annabelle. editor.
(1)
Merino, Pedro. editor.
(1)
Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234
(1)
Prasad, Sanjiva. editor.
(1)
Rabe, Florian. editor.
(1)
Reinecke, Philipp. editor.
(1)
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
(1)
Roggenbach, Markus. editor.
(1)
Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658
(1)
Teschke, Olaf. editor.
(1)
Wang, Chao. editor.
(1)
Wang, Ji. editor.
(1)
van der Aalst, Wil. editor.
(1)
Ölveczky, Peter Csaba. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(15)
Dil
Dahil
Hariç
English
(15)
Basım Yılı
Dahil
Hariç
2017
(11)
2018
(4)
Konu
Dahil
Hariç
Logics and Meanings of Programs.
(15)
Simulation and Modeling.
(15)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(12)
Artificial intelligence.
(7)
Programming Languages, Compilers, Interpreters.
(7)
Algorithm Analysis and Problem Complexity.
(6)
Computer software.
(6)
Probability and Statistics in Computer Science.
(3)
Computer system performance.
(2)
System Performance and Evaluation.
(2)
Computation by Abstract Devices.
(1)
Computer industry.
(1)
Computer security.
(1)
Logic, Symbolic and mathematical.
(1)
Mathematical Logic and Foundations.
(1)
Systems and Data Security.
(1)
The Computing Profession.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(15)
Kütüphane
Dahil
Hariç
TEDU library
(15)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}