Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(245)
Apduhan, Bernady O. editor.
(13)
Gervasi, Osvaldo. editor.
(10)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Misra, Sanjay. editor.
(10)
Dil
English
(246)
Yayın Yılı
-
Konu
Computer networks .
(177)
Computer science.
(89)
Software engineering.
(83)
Application software.
(78)
Computer and Information Systems Applications.
(78)
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ç
246 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers için kapak resmi
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Yazar 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Modeling and Optimization of Cloud-Ready and Content-Oriented Networks için kapak resmi
Modeling and Optimization of Cloud-Ready and Content-Oriented Networks
Yazar 
Walkowiak, Krzysztof. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30309-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings için kapak resmi
Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings
Yazar 
Xu, Kevin S. editor. Reitter, David. editor. Lee, Dongwon. editor. Osgood, Nathaniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39931-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling için kapak resmi
Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling
Yazar 
Dubnov, Shlomo. author. Burns, Kevin. author. Kiyoki, Yasushi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42873-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings için kapak resmi
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Yazar 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Smart Modeling and Simulation for Complex Systems Practice and Theory için kapak resmi
Smart Modeling and Simulation for Complex Systems Practice and Theory
Yazar 
Bai, Quan. editor. Ren, Fenghui. editor. Zhang, Minjie. editor. Ito, Takayuki. editor. Tang, Xijin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-55209-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Moving Target Defense II Application of Game Theory and Adversarial Modeling için kapak resmi
Moving Target Defense II Application of Game Theory and Adversarial Modeling
Yazar 
Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Yer Numarası 
ONLINE(331766.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5416-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Yazar 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334136.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers için kapak resmi
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Yazar 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334282.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings için kapak resmi
Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings
Yazar 
Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334385.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37210-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings için kapak resmi
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Yazar 
Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334797.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39408-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç