Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(134)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(8)
Dobbie, Gill. editor. (orcid)0000-0001-7245-0367
(6)
Jiang, Jing. editor. (orcid)0000-0002-3035-0074
(6)
Ma, Congbo. editor. (orcid)0000-0002-3270-5609
(6)
Dil
English
(139)
Yayın Yılı
-
Konu
Computer System Implementation.
(134)
Computers, Special purpose.
(84)
Special Purpose and Application-Based Systems.
(84)
Computer networks .
(82)
Computer Communication Networks.
(78)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
139 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Encyclopedia for Computers için kapak resmi
Encyclopedia for Computers
Yazar 
Murugan, S. Ananda.
Yer Numarası 
QA76.5 M87 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings için kapak resmi
Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings
Yazar 
Xia, Zhe. editor. (orcid)0000-0003-4397-1248 Chen, Jiageng. editor. (orcid)0000-0001-9033-2575 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-9053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part III için kapak resmi
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part III
Yazar 
Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
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:
9. 
Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers için kapak resmi
Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Yazar 
Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4442-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part I için kapak resmi
Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part I
Yazar 
Cremers, Daniel. editor. (orcid)0000-0002-3079-7984 Lähner, Zorah. editor. (orcid)0000-0003-0599-094X Moeller, Michael. editor. (orcid)0000-0002-0492-6527 Nießner, Matthias. editor. (orcid)0000-0001-6093-5199 Ommer, Björn. editor. (orcid)0000-0003-0766-120X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85181-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part II için kapak resmi
Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part II
Yazar 
Cremers, Daniel. editor. (orcid)0000-0002-3079-7984 Lähner, Zorah. editor. (orcid)0000-0003-0599-094X Moeller, Michael. editor. (orcid)0000-0002-0492-6527 Nießner, Matthias. editor. (orcid)0000-0001-6093-5199 Ommer, Björn. editor. (orcid)0000-0003-0766-120X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85187-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I için kapak resmi
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Yazar 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets