Limit Search Results
Author
SpringerLink (Online service)
(14388)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(11662)
Artificial intelligence.
(3896)
Software engineering.
(3227)
Computer Communication Networks.
(2803)
Information systems.
(2505)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16226 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
Author 
Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proof, language, and interaction essays in honour of Robin Milner
Proof, language, and interaction essays in honour of Robin Milner
Author 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in object-oriented data modeling
Advances in object-oriented data modeling
Author 
Papazoglou, M., 1953- Spaccapietra, S. Tari, Zahir.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267423
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Theory and the Brain
Information Theory and the Brain
Author 
Baddeley, Roland. Hancock, Peter. Földiák, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Soft and fragile matter : nonequilibrium dynamics, metastability, and flow : proceedings of the Fifty Third Scottish Universities Summer School in Physics, St. Andrews, July 1999 : a NATO advanced study institute
Soft and fragile matter : nonequilibrium dynamics, metastability, and flow : proceedings of the Fifty Third Scottish Universities Summer School in Physics, St. Andrews, July 1999 : a NATO advanced study institute
Author 
Scottish Universities Summer School in Physics (53rd : 1999 : St. Andrews, Scotland) Cates, M. E. (Michael E.), editor. Evans, M. R. (Martin R.), editor.
Preferred Shelf Number 
QC173.458 .S62 S38 1999 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367806354
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Supervised and unsupervised pattern recognition : feature extraction and computational intelligence
Supervised and unsupervised pattern recognition : feature extraction and computational intelligence
Author 
Micheli-Tzanakou, Evangelia, 1942, author.
Preferred Shelf Number 
TK7882 .P3 M53 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Testing object-oriented systems : models, patterns, and tools
Testing object-oriented systems : models, patterns, and tools
Author 
Binder, Robert V.
Preferred Shelf Number 
QA76.64 B56 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Author 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Author 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Neural networks and artificial intelligence for biomedical engineering
Neural networks and artificial intelligence for biomedical engineering
Author 
Hudson, D. L. (Donna L.) Cohen, M. E. (Maurice E.)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263228
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Neural networks and genome informatics
Neural networks and genome informatics
Author 
Wu, Cathy H. McLarty, J. W. (Jerry Wayne)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080428000
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action