Limit Search Results
Author
SpringerLink (Online service)
(1078)
Apduhan, Bernady O. editor.
(33)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(28)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(22)
Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886
(21)
Language
English
(1090)
Publication Date
-
2013
(199)
2019
(150)
2015
(147)
2014
(146)
2018
(145)
Subject
Computer science.
(433)
Artificial intelligence.
(373)
Algorithms.
(308)
Software engineering.
(276)
Computer Science, general.
(199)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1090 Results Found Subscribe to search results
0000000000DEFAULT
Print
1081. 
Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Author 
Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335052.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41071-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1082. 
Cover image for Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1083. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1084. 
Cover image for Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Author 
Felici, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41205-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1085. 
Cover image for Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Author 
Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41227-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1086. 
Cover image for High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
Author 
Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1087. 
Cover image for Monte Carlo simulation for the pharmaceutical industry : concepts, algorithms, and case studies
Monte Carlo simulation for the pharmaceutical industry : concepts, algorithms, and case studies
Author 
Chang, Mark., author.
Preferred Shelf Number 
RM301.25 .C46 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
1088. 
Cover image for Probability with R : an introduction with computer science applications
Probability with R : an introduction with computer science applications
Author 
Horgan, Jane M., 1947-
Preferred Shelf Number 
QA76.9 .M35 H863 2009 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119536963
Format: 
Availability 
Online Library~1
Available:
Copies:
1089. 
Cover image for CRC handbook of engineering tables
CRC handbook of engineering tables
Author 
Dorf, Richard C.
Preferred Shelf Number 
TA151 .C76 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
1090. 
Cover image for Feedback control of computing systems
Feedback control of computing systems
Author 
Hellerstein, Joseph, 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=119132
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action