Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(261)
Uszkoreit, Hans. editor.
(33)
Rehm, Georg. editor.
(32)
Peters, Carol. editor.
(8)
Wiley InterScience (Online service)
(8)
Yayın Yılı
-
Konu
Translators (Computer programs).
(243)
Computer science.
(210)
Artificial intelligence.
(139)
Computational linguistics.
(87)
Information storage and retrieval systems.
(65)
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ç
601 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Programs as Diagrams From Categorical Computability to Computable Categories için kapak resmi
Programs as Diagrams From Categorical Computability to Computable Categories
Yazar 
Pavlovic, Dusko. author. SpringerLink (Online service)
Yer Numarası 
XX(520627.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34827-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings için kapak resmi
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Yazar 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520889.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings için kapak resmi
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Yazar 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(520898.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings için kapak resmi
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
XX(521070.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Code generation, analysis tools, and testing for quality için kapak resmi
Code generation, analysis tools, and testing for quality
Yazar 
Queiros, Ricardo Alexandre Peixoto de, 1975- editor. Simoes, Alberto, 1978- editor. Pinto, Mario Teixeira, 1967- editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Computational models for biomedical reasoning and problem solving için kapak resmi
Computational models for biomedical reasoning and problem solving
Yazar 
Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Social Manufacturing: Fundamentals and Applications için kapak resmi
Social Manufacturing: Fundamentals and Applications
Yazar 
Jiang, Pingyu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72986-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
From Security to Community Detection in Social Networking Platforms için kapak resmi
From Security to Community Detection in Social Networking Platforms
Yazar 
Karampelas, Panagiotis. editor. Kawash, Jalal. editor. Özyer, Tansel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11286-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Guide to Mobile Data Analytics in Refugee Scenarios The 'Data for Refugees Challenge' Study için kapak resmi
Guide to Mobile Data Analytics in Refugee Scenarios The 'Data for Refugees Challenge' Study
Yazar 
Salah, Albert Ali. editor. Pentland, Alex. editor. Lepri, Bruno. editor. Letouzé, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12554-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Deviance in Social Media and Social Cyber Forensics Uncovering Hidden Relations Using Open Source Information (OSINF) için kapak resmi
Deviance in Social Media and Social Cyber Forensics Uncovering Hidden Relations Using Open Source Information (OSINF)
Yazar 
Al-khateeb, Samer. author. Agarwal, Nitin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13690-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Python by example : learning to program in 150 challenges için kapak resmi
Python by example : learning to program in 150 challenges
Yazar 
Lacey, Nichola, author.
Yer Numarası 
QA76.73 .P98 L33 2019
Elektronik Erişim 
https://doi.org/10.1017/9781108591942
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage için kapak resmi
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Yazar 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç