Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(22)
Kroening, Daniel. editor.
(2)
Machado, Penousal. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Alhadidi, Dima. author.
(1)
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
22 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings için kapak resmi
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Yazar 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Yer Numarası 
XX(519344.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers için kapak resmi
Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
Yazar 
Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.
Yer Numarası 
XX(518382.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29133-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice için kapak resmi
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
Yazar 
Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)
Yer Numarası 
XX(518399.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12838-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings için kapak resmi
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Yazar 
Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Yer Numarası 
XX(518583.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21783-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation için kapak resmi
Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
Yazar 
Štuikys, Vytautas. author. SpringerLink (Online service)
Yer Numarası 
XX(518658.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16913-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Aspect-Oriented Security Hardening of UML Design Models için kapak resmi
Aspect-Oriented Security Hardening of UML Design Models
Yazar 
Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.
Yer Numarası 
XX(518722.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16106-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings için kapak resmi
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Yazar 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası 
XX(518763.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings için kapak resmi
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Yazar 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
XX(518840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası 
XX(518798.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings için kapak resmi
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
Yazar 
Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Yer Numarası 
XX(518891.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19069-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası 
XX(519136.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Yazar 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası 
XX(519139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets