Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(288)
Taylor and Francis.
(35)
Tiglon.
(18)
Constable, John, 1963- ed.
(9)
Duroudier, Jean-Paul, author.
(6)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(56)
Electronic books.
(51)
Computational intelligence.
(49)
Set theory.
(49)
Motion pictures.
(35)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
1201 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
397. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
398. 
Communication Principles for Data Science için kapak resmi
Communication Principles for Data Science
Yazar 
Suh, Changho. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-8008-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
399. 
Innovative Intelligent Industrial Production and Logistics First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers için kapak resmi
Innovative Intelligent Industrial Production and Logistics First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers
Yazar 
Smirnov, Alexander. editor. Panetto, Hervé. editor. Madani, Kurosh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-37228-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
400. 
Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings için kapak resmi
Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings
Yazar 
Dorronsoro, Bernabé. editor. (orcid) Chicano, Francisco. editor. Danoy, Gregoire. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34020-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
401. 
Concise Guide to Software Verification From Model Checking to Annotation Checking için kapak resmi
Concise Guide to Software Verification From Model Checking to Annotation Checking
Yazar 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
402. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
403. 
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings için kapak resmi
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Yazar 
Mavronicolas, Marios. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30448-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
404. 
Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings için kapak resmi
Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings
Yazar 
Chavarrías, Miguel. editor. Rodríguez, Alfonso. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29970-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
405. 
Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings için kapak resmi
Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Yazar 
Georgiev, Ivan. editor. Datcheva, Maria. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32412-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
406. 
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers için kapak resmi
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Yazar 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
407. 
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings için kapak resmi
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Yazar 
Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33264-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
408. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets