Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(169)
Bramer, Max. author.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Dastani, Mehdi. editor.
(2)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Dil
English
(169)
Yayın Yılı
-
2013
(68)
2016
(35)
2017
(34)
2024
(16)
2025
(16)
Konu
Computer science.
(124)
Software engineering.
(106)
Computer programming.
(101)
Compilers (Computer programs).
(53)
Compilers and Interpreters.
(53)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
169 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334096.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi
Programming Logics Essays in Memory of Harald Ganzinger
Yazar 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334468.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers için kapak resmi
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Yazar 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334673.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Transactions on Pattern Languages of Programming III için kapak resmi
Transactions on Pattern Languages of Programming III
Yazar 
Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334647.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38676-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334711.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334715.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday için kapak resmi
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Yazar 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334934.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers için kapak resmi
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Yazar 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334946.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings için kapak resmi
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Yazar 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334968.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets