Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(13)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Huisman, Marieke. editor.
(2)
IGI Global, publisher.
(2)
Albarbar, Alhussein. author.
(1)
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
20 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
13. 
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Point Processes for Reliability Analysis Shocks and Repairable Systems için kapak resmi
Point Processes for Reliability Analysis Shocks and Repairable Systems
Yazar 
Cha, Ji Hwan. author. Finkelstein, Maxim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73540-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Thermal Analysis of Power Electronic Devices Used in Renewable Energy Systems için kapak resmi
Thermal Analysis of Power Electronic Devices Used in Renewable Energy Systems
Yazar 
Albarbar, Alhussein. author. Batunlu, Canras. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59828-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Qualitative and Quantitative Analysis of Nonlinear Systems Theory and Applications için kapak resmi
Qualitative and Quantitative Analysis of Nonlinear Systems Theory and Applications
Yazar 
Zgurovsky, Michael Z. author. Kasyanov, Pavlo O. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59840-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Modeling methods for business information systems analysis and design için kapak resmi
Modeling methods for business information systems analysis and design
Yazar 
Guedria, Wided, 1982- editor. Guerreiro, Sergio, 1976- editor. Krogstie, John, editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5522-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Handheld Total Chemical and Biological Analysis Systems Bridging NMR, Digital Microfluidics, and Semiconductors için kapak resmi
Handheld Total Chemical and Biological Analysis Systems Bridging NMR, Digital Microfluidics, and Semiconductors
Yazar 
Lei, Ka-Meng. author. Mak, Pui-In. author. Law, Man-Kay. author. Martins, Rui Paulo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67825-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
An areal typology of agreement systems için kapak resmi
An areal typology of agreement systems
Yazar 
Matasović, Ranko, author.
Yer Numarası 
P299 .A35 .M38 2018
Elektronik Erişim 
https://doi.org/10.1017/9781108355766
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: