Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(3961)
Gervasi, Osvaldo. editor.
(44)
Taniar, David. editor.
(43)
Apduhan, Bernady O. editor.
(42)
Dongarra, Jack. editor.
(29)
Dil
Yayın Yılı
-
Konu
Software engineering.
(3808)
Computer science.
(2998)
Computer Communication Networks.
(1167)
Artificial intelligence.
(1021)
Information systems.
(825)
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ç
4154 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
4045. 
From Specification to Embedded Systems Application için kapak resmi
From Specification to Embedded Systems Application
Yazar 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11523277
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4046. 
Soft Real-Time Systems Predictability vs. Efficiency için kapak resmi
Soft Real-Time Systems Predictability vs. Efficiency
Yazar 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4047. 
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:
4048. 
Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics için kapak resmi
Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics
Yazar 
Liu, Kecheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2162-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4049. 
New Algorithms, Architectures and Applications for Reconfigurable Computing için kapak resmi
New Algorithms, Architectures and Applications for Reconfigurable Computing
Yazar 
Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3128-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4050. 
Requirements Engineering için kapak resmi
Requirements Engineering
Yazar 
Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138335
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4051. 
Constructing Correct Software için kapak resmi
Constructing Correct Software
Yazar 
Cooke, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4052. 
Creating Web-based Laboratories için kapak resmi
Creating Web-based Laboratories
Yazar 
Ko, C.C. author. Chen, Ben M. author. Chen, Jianping. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138627
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4053. 
Validated Designs for Object-oriented Systems için kapak resmi
Validated Designs for Object-oriented Systems
Yazar 
Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138800
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4054. 
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 için kapak resmi
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Yazar 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b139109
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4055. 
Artificial Life Models in Software için kapak resmi
Artificial Life Models in Software
Yazar 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-214-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4056. 
Designing Virtual Reality Systems The Structured Approach için kapak resmi
Designing Virtual Reality Systems The Structured Approach
Yazar 
Kim, Gerard Jounghyun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-230-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç