Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(142)
Artho, Cyrille. editor.
(2)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Chaudhuri, Swarat. editor.
(2)
Dil
Konu
Computer science.
(106)
Computer Science Logic and Foundations of Programming.
(100)
Software engineering.
(94)
Formal Languages and Automata Theory.
(71)
Machine theory.
(71)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
162 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
iOS Game Development için kapak resmi
iOS Game Development
Yazar 
Lucka, Thomas, author. Safari, an O'Reilly Media Company.
Yer Numarası 
QA76.76 .C672
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187391
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Exploring Raspberry Pi : interfacing to the real world with embedded Linux için kapak resmi
Exploring Raspberry Pi : interfacing to the real world with embedded Linux
Yazar 
Molloy, Derek, 1973- author.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley Online Library
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Yeni başlayanlar için Python için kapak resmi
Yeni başlayanlar için Python
Yazar 
Aksoy, Ahmet.
Yer Numarası 
QA76.73.P98 A37 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Parallel computing for data science : with examples in R, C++ and CUDA için kapak resmi
Parallel computing for data science : with examples in R, C++ and CUDA
Yazar 
Matloff, Norman S., author.
Yer Numarası 
QA76.642 M37 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Professional Python için kapak resmi
Professional Python
Yazar 
Sneeringer, Luke.
Yer Numarası 
QA76.73.P98 S64 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Linux komut satırı için kapak resmi
Linux komut satırı
Yazar 
Demirez, Kemal
Yer Numarası 
QA76.76.O63 D46 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Introduction to computational models with Python için kapak resmi
Introduction to computational models with Python
Yazar 
Garrido, José M., author.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Arduino ve Raspberry Pi ile nesnelerin interneti için kapak resmi
Arduino ve Raspberry Pi ile nesnelerin interneti
Yazar 
Dökmetaş, Gökhan
Yer Numarası 
TJ223.P76 D656 2016
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Yazar 
Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46520-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers için kapak resmi
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Yazar 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers için kapak resmi
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Yazar 
Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29778-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings için kapak resmi
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Yazar 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets