Limit Search Results
Author
SpringerLink (Online service)
(59)
Lee, Roger. editor.
(4)
Ao, Sio-Iong. editor.
(3)
Bodden, Eric. editor.
(3)
Marcus, Aaron. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(20)
Application software.
(13)
Computer networks .
(13)
Computer science.
(13)
Computer and Information Systems Applications.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
59 Results Found Subscribe to search results
00000000000DEFAULT
Print
49. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Author 
Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
Author 
Al-Akkad, Amro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48003-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
Author 
Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0551-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Process Mining Data Science in Action
Process Mining Data Science in Action
Author 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49851-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 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 
Jelasity, Márk. editor. Kalyvianaki, Evangelia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39577-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Integrating User-Centred Design in Agile Development
Integrating User-Centred Design in Agile Development
Author 
Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32165-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems
Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems
Author 
Garcia, Emilia. author. Giret, Adriana. author. Botti, Vicente. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11572-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for R Quick Syntax Reference
R Quick Syntax Reference
Author 
Tollefson, Margot. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6641-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action