Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(542)
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
(11)
Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142
(10)
Kaplan, Dean. author.
(10)
Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739
(5)
Dil
Yayın Yılı
-
Konu
Theory of Computation.
(262)
Artificial intelligence.
(242)
Software engineering.
(229)
Computer Science Logic and Foundations of Programming.
(192)
Formal Languages and Automata Theory.
(136)
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ç
584 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Advanced NXT The Da Vinci Inventions Book için kapak resmi
Advanced NXT The Da Vinci Inventions Book
Yazar 
Scholz, Matthias Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0258-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
A Classical Introduction to Cryptography Exercise Book için kapak resmi
A Classical Introduction to Cryptography Exercise Book
Yazar 
Baigèneres, Thomas. author. Lu, Yi. author. Vaudenay, Serge. author. Junod, Pascal. author. Monnerat, Jean. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28835-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" için kapak resmi
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Yazar 
Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen için kapak resmi
Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen
Yazar 
Oñate, Eugenio. editor. Peric, Djordje. editor. de Souza Neto, Eduardo. editor. Chiumenti, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60885-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book için kapak resmi
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Yazar 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Excel Pivot Tables Recipe Book A Problem-Solution Approach için kapak resmi
Excel Pivot Tables Recipe Book A Problem-Solution Approach
Yazar 
Dalgleisch, Debra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0141-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Sensing Emotions The impact of context on experience measurements için kapak resmi
Sensing Emotions The impact of context on experience measurements
Yazar 
Westerink, Joyce. editor. Krans, Martijn. editor. Ouwerkerk, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3258-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Multiaccess, Reservations & Queues için kapak resmi
Multiaccess, Reservations & Queues
Yazar 
Denteneer, Dee. author. Leeuwaarden, Johan S. H. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69317-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Deformable Models Biomedical and Clinical Applications için kapak resmi
Deformable Models Biomedical and Clinical Applications
Yazar 
Farag, Aly A. author. Suri, Jasjit S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68413-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Web Mining and Social Networking Techniques and Applications için kapak resmi
Web Mining and Social Networking Techniques and Applications
Yazar 
Xu, Guandong. author. Zhang, Yanchun. author. Li, Lin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7735-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Analysis of Integrated and Cointegrated Time Series with R için kapak resmi
Analysis of Integrated and Cointegrated Time Series with R
Yazar 
Pfaff, Bernhard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75967-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç