Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(51)
Romanovsky, Alexander. editor.
(2)
Alexander, Michael. editor.
(1)
Ao, Sio-Iong. editor.
(1)
Arlinghaus, Sandra L. (Sandra Lach)
(1)
Dil
Konu
Software engineering.
(47)
Computer science.
(44)
Software Engineering/Programming and Operating Systems.
(33)
Programming Languages, Compilers, Interpreters.
(10)
Logic design.
(9)
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ç
64 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Gröbner Bases Statistics and Software Systems için kapak resmi
Gröbner Bases Statistics and Software Systems
Yazar 
Hibi, Takayuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335439.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54574-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Model-Driven Dependability Assessment of Software Systems için kapak resmi
Model-Driven Dependability Assessment of Software Systems
Yazar 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334812.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Directory of library automation software, systems, and services. için kapak resmi
Directory of library automation software, systems, and services.
Yazar 
Cibbarelli, Pamela R., ed. Information Today, Inc.
Yer Numarası 
Z678.9.A3 D6
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings için kapak resmi
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Yazar 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334236.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Systems and Software Variability Management Concepts, Tools and Experiences için kapak resmi
Systems and Software Variability Management Concepts, Tools and Experiences
Yazar 
Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334240.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36583-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures için kapak resmi
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings için kapak resmi
Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings
Yazar 
McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334744.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39179-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings için kapak resmi
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Yazar 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data için kapak resmi
Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data
Yazar 
Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336020.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5618-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition için kapak resmi
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Yazar 
Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336495.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-92-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers için kapak resmi
Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers
Yazar 
Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333015.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-04166-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç