X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (29501) 29501
Book Chapter (14033) 14033
Conference Proceeding (11999) 11999
Book / eBook (4153) 4153
Newspaper Article (2647) 2647
Magazine Article (1249) 1249
Web Resource (883) 883
Dissertation (499) 499
Patent (205) 205
Newsletter (203) 203
Government Document (197) 197
Trade Publication Article (184) 184
Book Review (105) 105
Publication (68) 68
Reference (50) 50
Journal / eJournal (27) 27
Report (16) 16
Standard (15) 15
Paper (5) 5
Streaming Video (3) 3
Transcript (3) 3
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (25184) 25184
logics and meanings of programs (13470) 13470
software engineering (12222) 12222
artificial intelligence (12187) 12187
programming languages, compilers, interpreters (11168) 11168
logic (9924) 9924
mathematical logic and formal languages (9780) 9780
logic programming (9569) 9569
fuzzy logic (9349) 9349
programming techniques (8033) 8033
algorithms (6756) 6756
computer science, theory & methods (5376) 5376
computer communication networks (4873) 4873
computer science, artificial intelligence (4727) 4727
mathematics (4195) 4195
analysis (3912) 3912
programming languages (3866) 3866
logic design (3833) 3833
mathematical models (3814) 3814
programming (3725) 3725
optimization (3645) 3645
computation by abstract devices (3205) 3205
studies (3157) 3157
mathematical logic (2990) 2990
algorithm analysis and problem complexity (2799) 2799
engineering, electrical & electronic (2766) 2766
mathematical logic and foundations (2757) 2757
fuzzy (2735) 2735
engineering (2643) 2643
semantics (2624) 2624
fuzzy systems (2532) 2532
computer science - logic in computer science (2500) 2500
computer programming (2458) 2458
congresses (2428) 2428
fuzzy set theory (2377) 2377
computers (2340) 2340
software engineering/programming and operating systems (2245) 2245
software (2241) 2241
programmable logic controllers (2235) 2235
computer science, software engineering (2225) 2225
computer logic (1986) 1986
research (1967) 1967
computer science, interdisciplinary applications (1926) 1926
usage (1919) 1919
informatics (1895) 1895
logic in computer science (1871) 1871
linear programming (1844) 1844
methods (1835) 1835
mathematical analysis (1822) 1822
computer simulation (1742) 1742
logic gates (1711) 1711
decision making (1686) 1686
theory of computation (1640) 1640
design (1626) 1626
management of computing and information systems (1610) 1610
control systems (1546) 1546
fuzzy sets (1519) 1519
neural networks (1516) 1516
computer science, information systems (1482) 1482
field programmable gate arrays (1474) 1474
computational intelligence (1448) 1448
kongress (1385) 1385
information systems applications (1382) 1382
operating systems (1379) 1379
fuzzy algorithms (1346) 1346
computer software (1311) 1311
temporal logic (1306) 1306
design of logic systems (1287) 1287
design, logic (1287) 1287
verification (1261) 1261
programmable logic devices (1249) 1249
computer software engineering (1231) 1231
hardware (1218) 1218
computer science, hardware & architecture (1189) 1189
logic, symbolic and mathematical (1189) 1189
control, robotics, mechatronics (1169) 1169
parallel processing (1161) 1161
uncertainty (1156) 1156
automation (1147) 1147
computer architecture (1124) 1124
genetic algorithms (1122) 1122
mathematics, applied (1112) 1112
algebra (1107) 1107
management (1087) 1087
symbolic and algebraic manipulation (1066) 1066
informatique (1063) 1063
philosophy (1044) 1044
application software (1018) 1018
electronic brains (1016) 1016
discrete mathematics in computer science (1010) 1010
multi-user (1008) 1008
data structures (997) 997
data processing (996) 996
machine learning (994) 994
theoretical computer science (993) 993
machine intelligence (983) 983
computer programs (979) 979
operations research & management science (977) 977
computer languages (965) 965
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (911) 911
Gerstein Science - Stacks (623) 623
Engineering & Comp. Sci. - Stacks (461) 461
UTL at Downsview - May be requested (201) 201
Mathematical Sciences - Stacks (109) 109
Collection Dvlpm't (Acquisitions) - Vendor file (100) 100
Collection Dvlpm't (Acquisitions) - Closed Orders (80) 80
UofT at Mississauga - Stacks (70) 70
Robarts - Stacks (53) 53
UofT at Scarborough - Stacks (52) 52
Engineering & Comp. Sci. - May be requested in 6-10 wks (25) 25
Trinity College (John W Graham) - Stacks (15) 15
Engineering & Comp. Sci. - Periodical Stacks (14) 14
Engineering & Comp. Sci. - Missing (13) 13
St. Michael's College (John M. Kelly) - 2nd Floor (11) 11
Gerstein Science - Circulation Desk (8) 8
Mathematical Sciences - Missing (7) 7
OISE - Stacks (6) 6
Aerospace - Stacks (4) 4
Faculty of Information - Stacks (4) 4
UofT at Mississauga - May be requested in 6-10 wks (4) 4
St. Michael's College (John M. Kelly) - 3rd Floor (3) 3
Trinity College (John W Graham) - Storage (3) 3
Gerstein Science - Missing (2) 2
Gerstein Science - Theses (2) 2
Physics - Stacks (2) 2
Victoria University E.J. Pratt - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Gerstein Science - Searching (1) 1
Knox College (Caven) - Stacks (1) 1
Law (Bora Laskin) - Stacks (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - May be requested in 6-10 wks (1) 1
Mathematical Sciences - Reference (1) 1
Music - Stacks (1) 1
OISE - Children's Literature (1) 1
OISE - Missing (1) 1
OISE - Modern Language (1) 1
St. Michael's College (John M. Kelly) - Circulation Desk (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Thomas Fisher Rare Book - May be requested at Fisher (1) 1
Thomas Fisher Rare Book - Rare Book (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Scarborough - Withdrawn (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (65181) 65181
Chinese (554) 554
Japanese (282) 282
Spanish (210) 210
German (144) 144
French (124) 124
Portuguese (98) 98
Czech (37) 37
Russian (23) 23
Korean (21) 21
Turkish (16) 16
Arabic (9) 9
Polish (9) 9
Slovenian (9) 9
Italian (8) 8
Persian (7) 7
Lithuanian (6) 6
Dutch (5) 5
Swedish (5) 5
Indonesian (3) 3
Latin (3) 3
Norwegian (3) 3
Afrikaans (2) 2
Slovak (2) 2
Breton (1) 1
Danish (1) 1
Maltese (1) 1
Nepali (1) 1
Serbian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


The journal of logic and algebraic programming, ISSN 1567-8326, 2001
Journal
2011, Chapman & Hall/CRC studies in informatics series, ISBN 1439829616, xxx, 274
"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required... 
Programming languages (Electronic computers) | Semantics | Logic programming
Book
Journal of symbolic computation, ISSN 0747-7171, 1985
Journal
Journal Article
Journal of algorithms, ISSN 1090-2678, 1980
Journal
2016, Fourth edition., ISBN 1119264367, 293 pages
.... You'll write productivity and multimedia programs, and learn flexible programming languages that allow you to shape your Raspberry... 
Microcomputers | Programming | Computer programming | Raspberry Pi (Computer)
Book
Journal of logic and computation, ISSN 0955-792X, 1990
Journal
2003, ISBN 9780521825832, 408
Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating... 
Constraint programming (Computer science) | Computer Programming
Book
International Journal of Intelligent Systems, ISSN 0884-8173, 05/2015, Volume 30, Issue 5, pp. 563 - 589
Linear programming (LP) is the operations research technique frequently used in the fields of science, economics, business, management science, and engineering... 
FUZZY | OPTIMIZATION | DECISION-MAKING | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | ALGORITHM | Management science | Numbers | Linear programming | Fuzzy logic | Random numbers | Evolution | Mathematical models | Fuzzy set theory | Fuzzy | Business
Journal Article
Journal of automated reasoning, ISSN 0168-7433, 1985
Journal
2011, Econometric Society monographs, ISBN 9781107004368, Volume 47, x, 172
.... This analysis provides an account of the underlying mathematics of mechanism design based on linear programming... 
Organizational behavior | Machine theory | Linear programming | Mathematical models | Decision making
Book
No results were found for your search.

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