Limit Search Results
Author
SpringerLink (Online service)
(201)
Bernardo, Marco. editor.
(11)
Taylor and Francis.
(11)
Shishkov, Boris. editor.
(8)
Chen, Wai-Kai, 1936-
(3)
Language
Publication Date
-
Subject
Software engineering.
(34)
Computational intelligence.
(30)
Computer science.
(25)
Artificial intelligence.
(18)
Computer software -- Development.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
399 Results Found Subscribe to search results
000000000000DEFAULT
Print
229. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Author 
Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Provenance and Annotation of Data and Processes 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers
Provenance and Annotation of Data and Processes 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers
Author 
Ludäscher, Bertram. editor. Plale, Beth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16462-5
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II
MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II
Author 
He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Author 
Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16363-5
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Human-Computer Interaction - INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Human-Computer Interaction - INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Author 
Abascal, Julio. editor. Barbosa, Simone. editor. Fetter, Mirko. editor. Gross, Tom. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22698-9
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software Engineering Research, Management and Applications
Software Engineering Research, Management and Applications
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers
Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers
Author 
Madani, Kurosh. editor. Correia, António Dourado. editor. Rosa, Agostinho. editor. Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11271-8
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014
Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014
Author 
Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2274-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18473-9
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Case studies in intelligent computing : achievements and trends
Case studies in intelligent computing : achievements and trends
Author 
Issac, Biju, editor. of compilation. Israr, Nauman, editor. of compilation.
Preferred Shelf Number 
TA347 .A78 C37 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action