Limit Search Results
Author
SpringerLink (Online service)
(48)
Marcus, Aaron. editor.
(5)
Rosenzweig, Elizabeth. editor.
(5)
Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320
(5)
Finkbeiner, Bernd. editor.
(3)
Language
Publication Date
-
Subject
Computer networks .
(37)
Software engineering.
(34)
Computer science.
(24)
Artificial intelligence.
(12)
Computer Science Logic and Foundations of Programming.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Information Security of Highly Critical Wireless Networks
Information Security of Highly Critical Wireless Networks
Author 
Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52905-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings
Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings
Author 
Gao, Yang. editor. Fallah, Saber. editor. Jin, Yaochu. editor. (orcid)0000-0003-1100-0631 Lekakou, Constantina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64107-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Cyber-security of SCADA and Other Industrial Control Systems
Cyber-security of SCADA and Other Industrial Control Systems
Author 
Colbert, Edward J. M. editor. Kott, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32125-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Author 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Wireless Sensor Networks for Structural Health Monitoring
Wireless Sensor Networks for Structural Health Monitoring
Author 
Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Author 
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50230-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Opportunistic Mobile Networks Advances and Applications
Opportunistic Mobile Networks Advances and Applications
Author 
Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29031-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Author 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Ultrasonic Nondestructive Evaluation Systems Industrial Application Issues
Ultrasonic Nondestructive Evaluation Systems Industrial Application Issues
Author 
Burrascano, Pietro. editor. Callegari, Sergio. editor. Montisci, Augusto. editor. Ricci, Marco. editor. Versaci, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10566-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action