Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(94)
Cordeiro, José. editor.
(3)
Maciaszek, Leszek A. editor.
(3)
Filipe, Joaquim. editor.
(2)
Legay, Axel. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(93)
Programming Languages, Compilers, Interpreters.
(92)
Software engineering.
(68)
Logic design.
(49)
Logics and Meanings of Programs.
(48)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
95 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Programming Language Concepts için kapak resmi
Programming Language Concepts
Yazar 
Sestoft, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60789-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings için kapak resmi
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Yazar 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Node.js Recipes için kapak resmi
Node.js Recipes
Yazar 
Gackenheimer, Cory. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330745.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
TouchDevelop: Programming on the Go için kapak resmi
TouchDevelop: Programming on the Go
Yazar 
Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330757.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Introduction to Image Processing Using R Learning by Examples için kapak resmi
Introduction to Image Processing Using R Learning by Examples
Yazar 
Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Bayesian Networks in R with Applications in Systems Biology için kapak resmi
Bayesian Networks in R with Applications in Systems Biology
Yazar 
Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332033.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
The R Software Fundamentals of Programming and Statistical Analysis için kapak resmi
The R Software Fundamentals of Programming and Statistical Analysis
Yazar 
Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332463.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers için kapak resmi
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Yazar 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333246.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Yazar 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334014.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Yazar 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets