Limit Search Results
Author
SpringerLink (Online service)
(29)
Biersack, Ernst. editor.
(2)
Krogstie, John. editor. (orcid)0000-0003-4830-1876
(2)
Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
(2)
Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108
(2)
Language
Publication Date
-
Subject
Software engineering.
(9)
Computer Communication Networks.
(7)
Computer system performance.
(7)
Information storage and retrieval systems.
(6)
Application software.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings
Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings
Author 
Ricciato, Fabio. editor. Mellia, Marco. editor. Biersack, Ernst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12365-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
Author 
Schalk, Gerwin. author. Mellinger, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-092-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Author 
Varshney, Upkar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings
Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings
Author 
Papadopouli, Maria. editor. Owezarski, Philippe. editor. Pras, Aiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Author 
Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8586-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
Author 
Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
Author 
Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94571-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Author 
Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37003-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
Author 
Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61057-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Author 
Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61437-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Author 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Availability 
Online Library~1
Available:
Copies: