Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1258)
Wiley InterScience (Online service)
(51)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(36)
Murgante, Beniamino. editor.
(27)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(1255)
Computer science.
(720)
Artificial intelligence.
(358)
Software engineering.
(318)
Engineering.
(177)
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ç
1982 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
361. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
362. 
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science için kapak resmi
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
Yazar 
Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-9802-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
363. 
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings için kapak resmi
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Yazar 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
364. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Yazar 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
365. 
Chemical process design and simulation : Aspen Plus and Aspen HYSYS applications için kapak resmi
Chemical process design and simulation : Aspen Plus and Aspen HYSYS applications
Yazar 
Haydary, Juma, author.
Yer Numarası 
TP155.7
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119311478
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
366. 
3D shape analysis : fundamentals, theory, and applications için kapak resmi
3D shape analysis : fundamentals, theory, and applications
Yazar 
Laga, Hamid, author. Guo, Yulan, author. Tabia, Hedi, author. Fisher, R. B., author. Bennamoun, M. (Mohammed), author.
Yer Numarası 
TA1560 .L34 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119405207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
367. 
Biomolecular and bioanalytical techniques : theory, methodology and applications için kapak resmi
Biomolecular and bioanalytical techniques : theory, methodology and applications
Yazar 
Ramesh, Vasudevan, editor.
Yer Numarası 
QH506 .B5534 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483977
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
368. 
Junctionless Field-Effect Transistors : Design, Modeling, and Simulation için kapak resmi
Junctionless Field-Effect Transistors : Design, Modeling, and Simulation
Yazar 
Sahay, Shubham, author. Kumar, Mamidala Jagadesh, author.
Yer Numarası 
TK7871.95 .S24 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119523543
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
369. 
Network modeling, simulation and analysis in Matlab : theory and practices için kapak resmi
Network modeling, simulation and analysis in Matlab : theory and practices
Yazar 
Le, Dac-Nhuong, 1983- author. Pandey, Abhishek, 1984- author. Tadepalli, Sairam, author. Rāṭhauṛa, Pradīpa Siṃha, 1978- author. Chatterjee, Jyotirmoy, author.
Yer Numarası 
TK5103.2
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119631477
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
370. 
Magnetic sensors for biomedical applications için kapak resmi
Magnetic sensors for biomedical applications
Yazar 
Heidari, Hadi, author. Nabaei, Vahid, author.
Yer Numarası 
R857 .B54
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119552215
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
371. 
Molecular kinetics in condensed phases : theory, simulation, and analysis için kapak resmi
Molecular kinetics in condensed phases : theory, simulation, and analysis
Yazar 
Elber, Ron, author. Makarov, Dmitrii E., author. Orland, Henri, author.
Yer Numarası 
QD502
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119176800
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
372. 
Diatom morphogenesis için kapak resmi
Diatom morphogenesis
Yazar 
Annenkov, Vadim, editor.
Yer Numarası 
QK569 .D54 D53 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488170
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç