Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2560)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Dil
Yayın Yılı
-
Konu
Computer software.
(2189)
Computer science.
(2063)
Artificial intelligence.
(999)
Computer Communication Networks.
(938)
Software engineering.
(670)
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ç
3211 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
2857. 
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Yazar 
Drusinsky, Doron.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2858. 
DSP software development techniques for embedded and real-time systems için kapak resmi
DSP software development techniques for embedded and real-time systems
Yazar 
Oshana, Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677592
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2859. 
Bill Gates'in liderlik sırları için kapak resmi
Bill Gates'in liderlik sırları
Yazar 
Reca, Ömer Faruk. Kocukeli, Özlem.
Yer Numarası 
HD9696.63.U64 G38 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2860. 
Modeling software with finite state machines : a practical approach için kapak resmi
Modeling software with finite state machines : a practical approach
Yazar 
Wagner, Ferdinand.
Yer Numarası 
QA76.76 .D47 M625 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2861. 
Scientific examination of questioned documents için kapak resmi
Scientific examination of questioned documents
Yazar 
Kelly, Jan Seaman. Lindblom, Brian S.
Yer Numarası 
HV8074 .S356 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2862. 
Bilgi ve bilgisayar güvenliği : casus yazılımlar ve korunma yöntemleri için kapak resmi
Bilgi ve bilgisayar güvenliği : casus yazılımlar ve korunma yöntemleri
Yazar 
Canbek, Gürol. Sağıroğlu, Şeref.
Yer Numarası 
QA76.9.A25 C36 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2863. 
Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers için kapak resmi
Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers
Yazar 
MacLean, W. James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11676959
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2864. 
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic için kapak resmi
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Yazar 
Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2865. 
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings için kapak resmi
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Yazar 
Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11679363
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2866. 
Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings için kapak resmi
Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings
Yazar 
Pointcheval, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11605805
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2867. 
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings için kapak resmi
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Yazar 
Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11681878
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2868. 
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings için kapak resmi
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
Yazar 
Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11682462
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç