Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(70)
Bramer, Max. author.
(2)
Noble, James. editor.
(2)
Voronkov, Andrei. editor.
(2)
Abreu, Salvador. editor.
(1)
Dil
Yayın Yılı
-
2013
(68)
2015
(2)
Konu
Computer science.
(68)
Software engineering.
(43)
Programming Languages, Compilers, Interpreters.
(37)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
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ç
70 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Oracle Application Express for Mobile Web Applications için kapak resmi
Oracle Application Express for Mobile Web Applications
Yazar 
Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330663.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Pointers in C A Hands on Approach için kapak resmi
Pointers in C A Hands on Approach
Yazar 
Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330727.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Java Quick Syntax Reference için kapak resmi
Java Quick Syntax Reference
Yazar 
Olsson, Mikael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330770.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Guide to Cloud Computing Principles and Practice için kapak resmi
Guide to Cloud Computing Principles and Practice
Yazar 
Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331022.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics. için kapak resmi
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Yazar 
SAE-China. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333761.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33829-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
Transactions on Aspect-Oriented Software Development X için kapak resmi
Transactions on Aspect-Oriented Software Development X
Yazar 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334333.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers için kapak resmi
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Yazar 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334469.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
The Deductive Spreadsheet için kapak resmi
The Deductive Spreadsheet
Yazar 
Cervesato, Iliano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334475.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings için kapak resmi
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Yazar 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334706.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings için kapak resmi
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Yazar 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334683.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç