Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(46)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(6)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(5)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Dil
Yayın Yılı
-
Konu
Microprogramming .
(45)
Software engineering.
(40)
Computer science.
(21)
Computer networks .
(20)
Computer Communication Networks.
(17)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
46 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II için kapak resmi
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Yazar 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78380-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I için kapak resmi
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78459-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Yazar 
Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74430-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II için kapak resmi
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings için kapak resmi
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
Yazar 
Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49252-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures için kapak resmi
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
Yazar 
Bulić, Patricio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-58075-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Introduction to Digital Control An Integrated Approach için kapak resmi
Introduction to Digital Control An Integrated Approach
Yazar 
Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66830-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers için kapak resmi
Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers
Yazar 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73372-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Yazar 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I için kapak resmi
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Yazar 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Transactions on Petri Nets and Other Models of Concurrency XVII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XVII
Yazar 
Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-68191-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II için kapak resmi
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Yazar 
Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69766-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets