Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(342)
Alexander, Michael. editor.
(8)
Anderson, Tom. editor.
(8)
Yang, Laurence T. editor.
(7)
Apduhan, Bernady O. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer science.
(257)
Computer system performance.
(242)
Computer Communication Networks.
(128)
Operating systems (Computers).
(57)
Information systems.
(56)
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ç
346 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
System Software Reliability için kapak resmi
System Software Reliability
Yazar 
Pham, Hoang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-295-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Improvements in System Safety için kapak resmi
Improvements in System Safety
Yazar 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-100-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Industrial Deployment of System Engineering Methods için kapak resmi
Industrial Deployment of System Engineering Methods
Yazar 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333675.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Models of Operating System Kernels için kapak resmi
Formal Models of Operating System Kernels
Yazar 
Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Refinement for Operating System Kernels için kapak resmi
Formal Refinement for Operating System Kernels
Yazar 
Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-967-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Harnessing VLSI System Design with EDA Tools için kapak resmi
Harnessing VLSI System Design with EDA Tools
Yazar 
Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1864-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Analyzing Computer System Performance with Perl::PDQ için kapak resmi
Analyzing Computer System Performance with Perl::PDQ
Yazar 
Gunther, Neil J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22583-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Embedded System Design Modeling, Synthesis and Verification için kapak resmi
Embedded System Design Modeling, Synthesis and Verification
Yazar 
Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Ingredients for Successful System Level Design Methodology için kapak resmi
Ingredients for Successful System Level Design Methodology
Yazar 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Earth System Modelling - Volume 3 Coupling Software and Strategies için kapak resmi
Earth System Modelling - Volume 3 Coupling Software and Strategies
Yazar 
Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23360-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1 için kapak resmi
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35311-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings için kapak resmi
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Yazar 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç