Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(438)
Anderson, Tom. editor.
(8)
Kim, Tai-hoon. editor.
(7)
Yang, Laurence T. editor.
(7)
Guo, Minyi. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer system performance.
(425)
Computer science.
(364)
Software engineering.
(242)
Computer Communication Networks.
(197)
Information systems.
(83)
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ç
442 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
277. 
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 için kapak resmi
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Yazar 
Radetzki, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Performance Evaluation and Benchmarking of Intelligent Systems için kapak resmi
Performance Evaluation and Benchmarking of Intelligent Systems
Yazar 
Madhavan, Raj. editor. Tunstel, Edward. editor. Messina, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0492-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Stochastic Network Calculus için kapak resmi
Stochastic Network Calculus
Yazar 
Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-127-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems için kapak resmi
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Yazar 
Seong, Poong Hyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-384-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Scheduling for Parallel Processing için kapak resmi
Scheduling for Parallel Processing
Yazar 
Drozdowski, Maciej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-310-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009 için kapak resmi
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Yazar 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-349-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings için kapak resmi
Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings
Yazar 
Papadopouli, Maria. editor. Owezarski, Philippe. editor. Pras, Aiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01645-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Automating Linux and Unix System Administration için kapak resmi
Automating Linux and Unix System Administration
Yazar 
Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-1060-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Abnahme komplexer Software-Systeme Das Praxishandbuch için kapak resmi
Abnahme komplexer Software-Systeme Das Praxishandbuch
Yazar 
Osterhage, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68230-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Yazar 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Passive and Active Network Measurement 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings için kapak resmi
Passive and Active Network Measurement 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings
Yazar 
Moon, Sue B. editor. Teixeira, Renata. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00975-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç