Limit Search Results
Author
SpringerLink (Online service)
(233)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(10)
Language
English
(233)
Publication Date
-
Subject
Computer Communication Networks.
(177)
Artificial intelligence.
(93)
Application software.
(88)
Computer and Information Systems Applications.
(88)
Software engineering.
(75)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
233 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Author 
Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Social, Cultural, and Behavioral Modeling 17th International Conference, SBP-BRiMS 2024, Pittsburgh, PA, USA, September 18-20, 2024, Proceedings
Social, Cultural, and Behavioral Modeling 17th International Conference, SBP-BRiMS 2024, Pittsburgh, PA, USA, September 18-20, 2024, Proceedings
Author 
Thomson, Robert. editor. (orcid)0000-0001-9298-2870 Hariharan, Aravind. editor. Renshaw, Scott. editor. Al-khateeb, Samer. editor. (orcid)0000-0001-6327-5720 Burger, Annetta. editor. (orcid)0000-0002-1047-2533
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72241-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Social, Cultural, and Behavioral Modeling 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings
Social, Cultural, and Behavioral Modeling 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings
Author 
Lee, Dongwon. editor. Lin, Yu-Ru. editor. Osgood, Nathaniel. editor. Thomson, Robert. editor. (orcid)0000-0001-9298-2870 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58463-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Tavares, João Manuel R.S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54609-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings
Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings
Author 
Brézillon, Patrick. editor. Turner, Roy. editor. Penco, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57837-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58466-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
Select an Action