Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(244)
Garau, Chiara. editor. (orcid)
(8)
Gervasi, Osvaldo. editor. (orcid)
(8)
Murgante, Beniamino. editor. (orcid)
(8)
Karaca, Yeliz. editor.
(7)
Dil
Konu
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ç
248 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Theoretical analysis of information systems için kapak resmi
Theoretical analysis of information systems
Yazar 
Langefors, Börje, 1915-
Yer Numarası 
T 58.6 L35 1966
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Business systems analysis and design için kapak resmi
Business systems analysis and design
Yazar 
Shelly, Gary B. Cashman, Thomas J., ort. yaz.
Yer Numarası 
HF 5548.2 S442 1975
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification için kapak resmi
Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification
Yazar 
Brummitt, R. K. Royal Botanic Gardens, Kew. Herbarium.
Yer Numarası 
QK 96 B69 1992
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers için kapak resmi
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Yazar 
Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Yer Numarası 
XX(520563.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Yazar 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
XX(521082.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Yazar 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası 
XX(521180.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing için kapak resmi
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Yazar 
Nazareth, John Lawrence. author. SpringerLink (Online service)
Yer Numarası 
XX(520189.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21762-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings için kapak resmi
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Yazar 
Quan, Wei. editor. SpringerLink (Online service)
Yer Numarası 
XX(520200.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
ICDSMLA 2021 Proceedings of the 3rd International Conference on Data Science, Machine Learning and Applications için kapak resmi
ICDSMLA 2021 Proceedings of the 3rd International Conference on Data Science, Machine Learning and Applications
Yazar 
Kumar, Amit. editor. Senatore, Sabrina. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Yer Numarası 
XX(520205.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-5936-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç