Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(4826)
Apduhan, Bernady O. editor.
(47)
Gervasi, Osvaldo. editor.
(46)
Taniar, David. editor.
(38)
Dongarra, Jack. editor.
(31)
Dil
Yayın Yılı
-
2018
(424)
2011
(400)
2012
(369)
2010
(343)
2009
(334)
Konu
Computer science.
(3279)
Computer Communication Networks.
(1478)
Artificial intelligence.
(1354)
Information systems.
(823)
Logic design.
(748)
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ç
4928 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
Adapting Proofs-as-Programs The Curry-Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry-Howard Protocol
Yazar 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
The laws of software process : a new model for the production and management of software için kapak resmi
The laws of software process : a new model for the production and management of software
Yazar 
Armour, Philip G., author.
Yer Numarası 
QA76.758 .A75 2004
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Software design for engineers and scientists için kapak resmi
Software design for engineers and scientists
Yazar 
Robinson, John A. (John Allen), 1958-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Yazılım mühendisliği için kapak resmi
Yazılım mühendisliği
Yazar 
Sarıdoğan, M. Erhan
Yer Numarası 
QA76.758 A75 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi için kapak resmi
Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi
Yazar 
Estekin, Emin Agah.
Yer Numarası 
TEZ/5183 E85 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi için kapak resmi
LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi
Yazar 
Can, Ahmet Burak.
Yer Numarası 
TEZ/5178 C16 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Object oriented software technologies in telecommunications from theory to practice için kapak resmi
Object oriented software technologies in telecommunications from theory to practice
Yazar 
Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470841869
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Industrial Software Technology için kapak resmi
Industrial Software Technology
Yazar 
Mitchell, R., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCM010E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç