Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(151)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(6)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(5)
Reis, Ricardo. editor.
(4)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Dil
Yayın Yılı
-
Konu
Microprogramming .
(96)
Control Structures and Microprogramming.
(75)
Software engineering.
(66)
Computer science.
(57)
Microprogramming.
(55)
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ç
157 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 I 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 I
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-78377-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
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:
27. 
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:
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. 
Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II için kapak resmi
Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Yazar 
Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90203-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings için kapak resmi
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Yazar 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-87054-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
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:
35. 
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:
36. 
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:
Eylem Seç