Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(71)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(5)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(67)
Computer Modelling.
(51)
Artificial intelligence.
(33)
Application software.
(26)
Computer and Information Systems Applications.
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
79 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Yazar 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Analog automation and digital feedback control techniques için kapak resmi
Analog automation and digital feedback control techniques
Yazar 
Mbihi, Jean.
Yer Numarası 
TJ213
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Advanced techniques and technology of computer-aided feedback control için kapak resmi
Advanced techniques and technology of computer-aided feedback control
Yazar 
Mbihi, Jean, author.
Yer Numarası 
TJ216
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings için kapak resmi
Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings
Yazar 
Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68127-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings için kapak resmi
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
Yazar 
He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7179-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings için kapak resmi
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62932-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings için kapak resmi
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
Yazar 
Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68759-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Yazar 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59105-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets