Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(558)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Dil
Yayın Yılı
-
Konu
Operating systems (Computers).
(530)
Software engineering.
(317)
Computer Communication Networks.
(298)
Information systems.
(130)
Computer software.
(128)
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ç
559 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Yazar 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Self-aware Computing Systems An Engineering Approach için kapak resmi
Self-aware Computing Systems An Engineering Approach
Yazar 
Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39675-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Handbook of Neuroevolution Through Erlang için kapak resmi
Handbook of Neuroevolution Through Erlang
Yazar 
Sher, Gene I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331512.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Requirements Engineering and Management for Software Development Projects için kapak resmi
Requirements Engineering and Management for Software Development Projects
Yazar 
Chemuturi, Murali. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331756.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
An Introduction to Network Programming with Java Java 7 Compatible için kapak resmi
An Introduction to Network Programming with Java Java 7 Compatible
Yazar 
Graba, Jan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331180.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings için kapak resmi
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Yazar 
Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332976.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03491-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers için kapak resmi
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Yazar 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333246.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Computer Performance Optimization Systems - Applications - Processes için kapak resmi
Computer Performance Optimization Systems - Applications - Processes
Yazar 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333281.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29971-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
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:
58. 
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies için kapak resmi
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Yazar 
Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings için kapak resmi
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Yazar 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334223.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç