Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(185)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Li, Keqiu. editor.
(7)
Dil
Yayın Yılı
-
Konu
Computer Engineering and Networks.
(168)
Computer networks .
(168)
Artificial intelligence.
(69)
Computer vision.
(55)
Software engineering.
(44)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
189 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Image Analysis and Processing - ICIAP 2023 Workshops Udine, Italy, September 11-15, 2023, Proceedings, Part I için kapak resmi
Image Analysis and Processing - ICIAP 2023 Workshops Udine, Italy, September 11-15, 2023, Proceedings, Part I
Yazar 
Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51023-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings için kapak resmi
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Yazar 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Yazar 
Fantechi, Alessandro. 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-319-68499-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Yazar 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design için kapak resmi
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Yazar 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Performance Analysis and Optimization of Multi-Traffic on Communication Networks için kapak resmi
Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Yazar 
Ponomarenko, Leonid. author. Kim, Che Soong. author. Melikov, Agassi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15458-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Mapping Nanotechnology Innovations and Knowledge Global and Longitudinal Patent and Literature Analysis için kapak resmi
Mapping Nanotechnology Innovations and Knowledge Global and Longitudinal Patent and Literature Analysis
Yazar 
Roco, Mihail. author. Chen, Hsinchun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71620-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems için kapak resmi
Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems
Yazar 
Pukite, Jan, 1928- Pukite, Paul.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings için kapak resmi
String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings
Yazar 
Lipták, Zsuzsanna. editor. (orcid)0000-0002-3233-0691 Moura, Edleno. editor. (orcid)0000-0002-7860-9575 Figueroa, Karina. editor. (orcid)0000-0002-4680-5950 Baeza-Yates, Ricardo. editor. (orcid)0000-0003-3208-9778 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72200-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Algorithmics of Wireless Networks 20th International Symposium, ALGOWIN 2024, Egham, UK, September 5-6, 2024, Proceedings için kapak resmi
Algorithmics of Wireless Networks 20th International Symposium, ALGOWIN 2024, Egham, UK, September 5-6, 2024, Proceedings
Yazar 
Bramas, Quentin. editor. (orcid)0000-0003-0612-5616 Casteigts, Arnaud. editor. (orcid)0000-0002-7819-7013 Meeks, Kitty. editor. (orcid)0000-0001-5299-3073 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74580-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III için kapak resmi
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Yazar 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1542-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I için kapak resmi
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I
Yazar 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1525-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets