Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1137)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Dil
Yayın Yılı
-
Konu
Computer science.
(712)
Artificial intelligence.
(332)
Software engineering.
(318)
Engineering.
(176)
Computer vision.
(163)
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ç
1192 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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:
50. 
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:
51. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers için kapak resmi
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
Yazar 
Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05819-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Yazar 
Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13651-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17) için kapak resmi
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)
Yazar 
Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74808-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret için kapak resmi
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Yazar 
Warnow, Tandy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-10837-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes için kapak resmi
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
Yazar 
Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-6194-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties için kapak resmi
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
Yazar 
Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58395-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
OPNET IoT Simulation için kapak resmi
OPNET IoT Simulation
Yazar 
Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-32-9170-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings için kapak resmi
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings
Yazar 
Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-1078-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers için kapak resmi
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Yazar 
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-23703-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç