Limit Search Results
Author
SpringerLink (Online service)
(66)
Joshi, Amit. editor.
(8)
Akashe, Shyam. editor.
(4)
Dey, Nilanjan. editor.
(4)
Fong, Simon. editor.
(4)
Language
Publication Date
-
2016
(21)
2025
(16)
2017
(12)
2024
(12)
2014
(5)
Subject
Software engineering.
(21)
Computational intelligence.
(15)
Cooperating objects (Computer systems).
(10)
Cyber-Physical Systems.
(10)
Computer networks .
(9)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
66 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Device-Edge-Cloud Continuum Paradigms, Architectures and Applications
Device-Edge-Cloud Continuum Paradigms, Architectures and Applications
Author 
Savaglio, Claudio. editor. Fortino, Giancarlo. editor. Zhou, MengChu. editor. (orcid)0000-0002-5408-8752 Ma, Jianhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42194-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
Author 
Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Agile-SOFL Agile Formal Engineering Method
Agile-SOFL Agile Formal Engineering Method
Author 
Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Author 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for E-Learning Systems Intelligent Techniques for Personalization
E-Learning Systems Intelligent Techniques for Personalization
Author 
Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41163-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Eye Tracking Methodology Theory and Practice
Eye Tracking Methodology Theory and Practice
Author 
Duchowski, Andrew T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Unraveling Software Maintenance and Evolution Thinking Outside the Box
Unraveling Software Maintenance and Evolution Thinking Outside the Box
Author 
Varga, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71303-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Data Visualisation with R 100 Examples
Data Visualisation with R 100 Examples
Author 
Rahlf, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Analysis and Synthesis of Dynamic Systems with Positive Characteristics
Analysis and Synthesis of Dynamic Systems with Positive Characteristics
Author 
Shen, Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3880-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
Select an Action