Limit Search Results
Author
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)
Language
English
(246)
Publication Date
-
Subject
Computer networks .
(177)
Computer science.
(89)
Software engineering.
(83)
Application software.
(78)
Computer and Information Systems Applications.
(78)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
246 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Author 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modeling and Optimization of Cloud-Ready and Content-Oriented Networks
Modeling and Optimization of Cloud-Ready and Content-Oriented Networks
Author 
Walkowiak, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30309-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings
Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings
Author 
Xu, Kevin S. editor. Reitter, David. editor. Lee, Dongwon. editor. Osgood, Nathaniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling
Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling
Author 
Dubnov, Shlomo. author. Burns, Kevin. author. Kiyoki, Yasushi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42873-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Smart Modeling and Simulation for Complex Systems Practice and Theory
Smart Modeling and Simulation for Complex Systems Practice and Theory
Author 
Bai, Quan. editor. Ren, Fenghui. editor. Zhang, Minjie. editor. Ito, Takayuki. editor. Tang, Xijin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Moving Target Defense II Application of Game Theory and Adversarial Modeling
Moving Target Defense II Application of Game Theory and Adversarial Modeling
Author 
Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number 
ONLINE(331766.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5416-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for 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
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
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings
Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings
Author 
Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334385.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37210-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Author 
Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334797.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action