Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(755)
Vorozhtsov, Evgenii V. editor.
(10)
Lipschutz, Seymour.
(9)
Bourbaki, N. author.
(8)
Gerdt, Vladimir P. editor.
(8)
Dil
Yayın Yılı
-
Konu
Algebra.
(487)
Mathematics.
(461)
Computer science.
(252)
Algebra -- Data processing.
(218)
Computational complexity.
(119)
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ç
1292 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
589. 
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:
590. 
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Yazar 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Yer Numarası 
XX(520890.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
591. 
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Wies, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
XX(520944.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
592. 
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV için kapak resmi
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Yazar 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Yer Numarası 
XX(520973.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
593. 
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I için kapak resmi
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Yazar 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Yer Numarası 
XX(521025.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
594. 
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings için kapak resmi
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Yazar 
Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Yer Numarası 
XX(521131.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43360-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
595. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(521139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
596. 
Cebire giriş için kapak resmi
Cebire giriş
Yazar 
Çevik, Ahmet Sinan
Yer Numarası 
QA162 C485 2021
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
597. 
Lineer cebir : Teori ve Octave uygulamaları için kapak resmi
Lineer cebir : Teori ve Octave uygulamaları
Yazar 
Gülmezoğlu, Mehmet Bilginer.
Yer Numarası 
QA184.5 G85 2021
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
598. 
İşletme matematiği için kapak resmi
İşletme matematiği
Yazar 
Önalan, Ömer.
Yer Numarası 
HF5693.T8 O53 2020
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
599. 
Çözümlü Soyut cebir probremleri : gruplar ve halkalar için kapak resmi
Çözümlü Soyut cebir probremleri : gruplar ve halkalar
Yazar 
Gezer, Betül. Bizim, Osman.
Yer Numarası 
QA162 G494 2020
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
600. 
Multiscale Forecasting Models için kapak resmi
Multiscale Forecasting Models
Yazar 
Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94992-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç