Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(396)
El-Qawasmeh, Eyas. editor.
(8)
Nagamalai, Dhinaharan. editor.
(8)
Huang, Xiong. editor.
(7)
Kim, Tai-hoon. editor.
(7)
Dil
Konu
Software engineering.
(400)
Computer science.
(367)
Computer Communication Networks.
(191)
Information systems.
(140)
Artificial intelligence.
(137)
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ç
417 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems için kapak resmi
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems
Yazar 
Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Antipatterns managing software organizations and people için kapak resmi
Antipatterns managing software organizations and people
Yazar 
Neill, Colin J. Laplante, Phillip A. DeFranco, Joanna F.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Documenting software architectures : views and beyond için kapak resmi
Documenting software architectures : views and beyond
Yazar 
Clements, Paul, 1955-
Yer Numarası 
QA76.9 A73 D63 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
40. 
Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss için kapak resmi
Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Yazar 
Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16767-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
OFDM Concepts for Future Communication Systems için kapak resmi
OFDM Concepts for Future Communication Systems
Yazar 
Rohling, Hermann. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17496-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling için kapak resmi
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
Yazar 
Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17505-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Yazar 
Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19583-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers için kapak resmi
Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Yazar 
Bravetti, Mario. editor. Bultan, Tevfik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19589-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Transactions on Computational Collective Intelligence III için kapak resmi
Transactions on Computational Collective Intelligence III
Yazar 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19968-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings için kapak resmi
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
Yazar 
Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19997-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Wertschöpfung und Beschäftigung in Deutschland için kapak resmi
Wertschöpfung und Beschäftigung in Deutschland
Yazar 
Gausemeier, Jürgen. editor. Wiendahl, Hans-Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20204-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yazar 
Barthe, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19718-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç