Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(125)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Dil
Yayın Yılı
-
Konu
Programming languages (Electronic computers).
(130)
Software engineering.
(81)
Computer logic.
(58)
Programming languages (Electronic computers)
(40)
Computer programming.
(38)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
182 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
97. 
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings için kapak resmi
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Yazar 
Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings için kapak resmi
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Yazar 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Yazar 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
A Beginner's Guide to Scala, Object Orientation and Functional Programming için kapak resmi
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Yazar 
Hunt, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06776-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Foundations of Programming Languages için kapak resmi
Foundations of Programming Languages
Yazar 
Lee, Kent D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13314-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers için kapak resmi
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Yazar 
Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44920-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings için kapak resmi
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Yazar 
Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11863-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Yazar 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings için kapak resmi
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Yazar 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Yazar 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings için kapak resmi
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Yazar 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Yazar 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets