X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Book / eBook (850) 850
Journal Article (224) 224
Newspaper Article (174) 174
Conference Proceeding (142) 142
Dissertation (126) 126
Journal / eJournal (21) 21
Patent (20) 20
Government Document (7) 7
Magazine Article (7) 7
Web Resource (7) 7
Book Chapter (4) 4
Trade Publication Article (3) 3
Book Review (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
expert systems (540) 540
computer science (521) 521
systèmes experts (513) 513
artificial intelligence (470) 470
informatique (404) 404
sistemas expertos (345) 345
computers (325) 325
congresses (311) 311
inteligencia artificial (289) 289
data processing (267) 267
intelligence artificielle (262) 262
information storage and retrieval systems (242) 242
information systems (242) 242
knowledge-based systems (202) 202
systems, expert (194) 194
expertensystem (188) 188
computer networks (186) 186
electronic brains (186) 186
machine intelligence (183) 183
ai (182) 182
intelligence, artificial (182) 182
artificial thinking (180) 180
intellectronics (180) 180
intelligent machines (180) 180
thinking, artificial (180) 180
kongress (170) 170
multi-user (163) 163
systèmes d'information (160) 160
security systems (151) 151
information technology (145) 145
management information systems (136) 136
application software (130) 130
engineering (127) 127
kunstmatige intelligentie (127) 127
information systems applications (126) 126
database management (125) 125
information storage and retrieval (125) 125
internet (125) 125
künstliche intelligenz (125) 125
système expert (121) 121
data mining (118) 118
electronics industry (118) 118
computer systems (117) 117
congrès (116) 116
software engineering (116) 116
expertsystemen (113) 113
epub-liv-ft livinfor springer-b (112) 112
informatics (111) 111
computer communication networks (109) 109
software industry (109) 109
gestion (102) 102
electronic data processing (101) 101
general (100) 100
information retrieval (98) 98
management (98) 98
computer-based information systems (96) 96
bases de données (87) 87
computer industry (87) 87
data base management (86) 86
computer security (84) 84
information retrieval systems (84) 84
automatic data storage (83) 83
automatic information retrieval (83) 83
automation in documentation (83) 83
data processing systems (83) 83
data storage and retrieval systems (83) 83
discovery systems, information (83) 83
information discovery systems (83) 83
information processing systems (83) 83
machine data storage and retrieval (83) 83
mechanized information storage and retrieval systems (83) 83
computer software (82) 82
procesamiento de datos (79) 79
software engineering/programming and operating systems (79) 79
expert systems congresses (76) 76
dbms (75) 75
generalized data management systems (75) 75
systemes experts (75) 75
systems, database management (75) 75
systems, generalized database management (75) 75
exploration de données (73) 73
soft computing (73) 73
aufsatzsammlung (72) 72
data services (72) 72
database management services (72) 72
services, database management (72) 72
computer software engineering (71) 71
expertsystem (70) 70
computer communication systems (69) 69
engineering & applied sciences (69) 69
acquisition des connaissances (67) 67
business information systems (67) 67
electronic digital computers (67) 67
security measures (67) 67
business (66) 66
management of computing and information systems (65) 65
technology (65) 65
génie logiciel (64) 64
data structures, cryptology and information theory (63) 63
knowledge acquisition (63) 63
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (214) 214
Engineering & Comp. Sci. - Stacks (178) 178
UTL at Downsview - May be requested (104) 104
Robarts - Stacks (52) 52
UofT at Mississauga - Stacks (42) 42
Collection Dvlpm't (Acquisitions) - Vendor file (37) 37
Collection Dvlpm't (Acquisitions) - Closed Orders (33) 33
UofT at Scarborough - Stacks (33) 33
Online Resources - Online (31) 31
Faculty of Information - Stacks (12) 12
OISE - Stacks (12) 12
Mathematical Sciences - Stacks (11) 11
Engineering & Comp. Sci. - May be requested in 6-10 wks (10) 10
Engineering & Comp. Sci. - Periodical Stacks (5) 5
Faculty of Information - May be requested in 6-10 wks (5) 5
Law (Bora Laskin) - Stacks (5) 5
Map & Data - Map Collection (4) 4
Trinity College (John W Graham) - Stacks (4) 4
Gerstein Science - Circulation Desk (3) 3
Aerospace - Stacks (2) 2
Astronomy & Astrophysics - Ask at library (2) 2
Physics - Stacks (2) 2
UofT at Mississauga - Missing (2) 2
UofT at Scarborough - May be requested in 6-10 wks (2) 2
UofT at Scarborough - Withdrawn (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Baycrest Hospital - Stacks (1) 1
Credit Valley Hospital - Stacks (1) 1
Criminology - Stacks (1) 1
Engineering & Comp. Sci. - Missing (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Gerstein Science - Missing (1) 1
Gerstein Science - Periodical Stacks (1) 1
OISE - Lost (1) 1
Scarborough Hospital - Birchmount (1) 1
St. Michael's College (John M. Kelly) - 2nd Floor (1) 1
St. Michael's Hospital - Stacks (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
UofT at Mississauga - Reference (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
West Park Healthcare Centre - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (1134) 1134
French (475) 475
German (151) 151
Spanish (44) 44
Japanese (14) 14
Czech (11) 11
Arabic (2) 2
Chinese (2) 2
Portuguese (2) 2
Turkish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Knowledge-based systems, ISSN 0950-7051, 1987
Journal
Advanced engineering informatics, ISSN 1474-0346, 2002
Journal
Expert systems with applications, ISSN 0957-4174, 1990
Journal
International journal of intelligent systems, ISSN 0884-8173, 1986
Journal
Journal of intelligent information systems, ISSN 0925-9902, 1992
Journal
Knowledge and information systems, ISSN 0219-1377, 1999
Journal
Journal
Knowledge acquisition, ISSN 1042-8143, 1989
Journal
Automated software engineering, ISSN 0928-8910, 1994
Journal
Artificial intelligence for engineering design, analysis and manufacturing, ISSN 0890-0604, 1987
Journal
1988, ISBN 0716781581, xi, 631
Book
International journal of expert systems, ISSN 0894-9077, 1987
Journal
2007, ISBN 0521875463, Volume 9780521875462, xvi, 284
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies... 
Validation | Expert systems (Computer science) | System design | Verification | Mathematical models | System design - Mathematical models
Book
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.