Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(30)
Abelson, Harold.
(1)
Abreu, Jorge. editor.
(1)
Abásolo, María José. editor. (orcid)0000-0003-4441-3264
(1)
Aiello, Marco. author.
(1)
Dil
Yayın Yılı
-
Konu
Programming languages (Electronic computers).
(13)
Computer logic.
(11)
Software engineering.
(10)
Artificial intelligence.
(8)
Mathematical logic.
(6)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
42 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Programming Languages and Operational Semantics A Concise Overview için kapak resmi
Programming Languages and Operational Semantics A Concise Overview
Yazar 
Fernández, Maribel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Yazar 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Practical Analysis of Algorithms için kapak resmi
Practical Analysis of Algorithms
Yazar 
Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09888-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Structure and interpretation of computer programs için kapak resmi
Structure and interpretation of computer programs
Yazar 
Abelson, Harold. Sussman, Gerald Jay. Sussman, Julie.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Deep Learning with R için kapak resmi
Deep Learning with R
Yazar 
Ghatak, Abhijit. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-5850-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
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:
31. 
The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered için kapak resmi
The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered
Yazar 
Aiello, Marco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90008-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Deploying secure containers for training and development için kapak resmi
Deploying secure containers for training and development
Yazar 
Schipp, Jon, author. Dalziel, Henry, editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128047170
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Introduction to computing using Python için kapak resmi
Introduction to computing using Python
Yazar 
Perkovic, Ljubomir.
Yer Numarası 
QA76.73.P98 P47 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
34. 
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Yazar 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Introduction to scientific programming and simulation using R için kapak resmi
Introduction to scientific programming and simulation using R
Yazar 
Jones, Owen (Owen Dafydd), author. Maillardet, Robert, author. Robinson, Andrew (Andrew P.), author.
Yer Numarası 
Q183.9 J65 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
36. 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings için kapak resmi
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Yazar 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets