Limit Search Results
Author
John Wiley & Sons.
(3)
Akay, Metin.
(2)
Association for Computing Machinery.
(2)
IEEE Engineering in Medicine and Biology Society.
(2)
Stein, Jonathan Y.
(2)
Language
Subject
Neural networks (Computer science)
(10)
Expert systems (Computer science)
(6)
Electronic books.
(5)
Neural Networks (Computer)
(4)
Object-oriented programming (Computer science)
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
Cover image for Symbolic C++ : an introduction to computer algebra using object-oriented programming
Symbolic C++ : an introduction to computer algebra using object-oriented programming
Author 
Tan, Kiat Shi, 1972- Steeb, Willi-Hans. Hardy, Yorick.
Preferred Shelf Number 
QA76.64 T36 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Evolutionary algorithms in molecular design
Evolutionary algorithms in molecular design
Author 
Clark, David E., 1966- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527613168
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Object oriented software technologies in telecommunications from theory to practice
Object oriented software technologies in telecommunications from theory to practice
Author 
Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841869
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Knowledge-based systems techniques and applications
Knowledge-based systems techniques and applications
Author 
Leondes, Cornelius T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124438750
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG
Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG
Author 
Deutsche Forschungsgemeinschaft. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527609277
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
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:
24. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets