Limit Search Results
Author
SpringerLink (Online service)
(468)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(7)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Gao, Honghao. editor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(190)
Software engineering.
(96)
Application software.
(84)
Computer security.
(70)
Computer communication systems.
(68)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
514 Results Found Subscribe to search results
000000000000DEFAULT
Print
313. 
Cover image for Privacy vs. Security
Privacy vs. Security
Author 
Stalla-Bourdillon, Sophie. author. Phillips, Joshua. author. Ryan, Mark D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6530-9
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume I
Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume I
Author 
Jia, Limin. editor. Liu, Zhigang. editor. Qin, Yong. editor. Zhao, Minghua. editor. Diao, Lijun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53778-3
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Proceedings of the 2012 International Conference on Cybernetics and Informatics
Proceedings of the 2012 International Conference on Cybernetics and Informatics
Author 
Zhong, Shaobo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-3872-4
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Modeling Dynamic Biological Systems
Modeling Dynamic Biological Systems
Author 
Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05615-9
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Cognitive Radio Networks Dynamic Resource Allocation Schemes
Cognitive Radio Networks Dynamic Resource Allocation Schemes
Author 
Wang, Shaowei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08936-2
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Author 
McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54013-4
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05416-2
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Author 
Duff, Armin. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Prescott, Tony J. editor. Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09435-9
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Author 
Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08123-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action