X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (34556) 34556
Conference Proceeding (19306) 19306
Book Chapter (14757) 14757
Book / eBook (4567) 4567
Publication (4465) 4465
Newspaper Article (2379) 2379
Magazine Article (1306) 1306
Web Resource (907) 907
Dissertation (444) 444
Trade Publication Article (431) 431
Newsletter (293) 293
Book Review (260) 260
Government Document (197) 197
Patent (175) 175
Paper (97) 97
Reference (48) 48
Journal / eJournal (23) 23
Report (18) 18
Standard (14) 14
Data Set (5) 5
Poster (2) 2
Technical Report (1) 1
Transcript (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (25109) 25109
logics and meanings of programs (13358) 13358
software engineering (12095) 12095
artificial intelligence (12021) 12021
programming languages, compilers, interpreters (11078) 11078
logic (10215) 10215
fuzzy logic (10210) 10210
mathematical logic and formal languages (9672) 9672
logic programming (9252) 9252
programming techniques (8003) 8003
algorithms (7208) 7208
computer science, theory & methods (5750) 5750
computer science, artificial intelligence (5412) 5412
computer communication networks (4841) 4841
analysis (4692) 4692
mathematical models (4380) 4380
mathematics (4295) 4295
studies (4050) 4050
logic design (3794) 3794
programming languages (3739) 3739
optimization (3715) 3715
fuzzy (3420) 3420
programming (3403) 3403
mathematical logic (3249) 3249
computation by abstract devices (3205) 3205
engineering, electrical & electronic (3174) 3174
fuzzy set theory (2779) 2779
algorithm analysis and problem complexity (2746) 2746
fuzzy systems (2691) 2691
mathematical logic and foundations (2666) 2666
semantics (2619) 2619
computer programming (2544) 2544
electronic books (2531) 2531
engineering (2509) 2509
congresses (2482) 2482
computer science, software engineering (2406) 2406
computers (2356) 2356
computer science, interdisciplinary applications (2278) 2278
computer science - logic in computer science (2236) 2236
software (2227) 2227
software engineering/programming and operating systems (2179) 2179
programmable logic controllers (2125) 2125
research (2122) 2122
usage (2116) 2116
computer logic (2106) 2106
models (2092) 2092
methods (2006) 2006
mathematical analysis (1982) 1982
informatics (1901) 1901
design (1835) 1835
computer science, information systems (1766) 1766
linear programming (1754) 1754
decision making (1744) 1744
kongress (1727) 1727
computer simulation (1714) 1714
logic in computer science (1704) 1704
fuzzy sets (1632) 1632
neural networks (1611) 1611
control systems (1610) 1610
theory of computation (1607) 1607
logic gates (1605) 1605
management of computing and information systems (1603) 1603
operations research & management science (1566) 1566
fuzzy algorithms (1552) 1552
mathematics, applied (1499) 1499
systems (1488) 1488
temporal logic (1487) 1487
field programmable gate arrays (1434) 1434
model (1396) 1396
computer science, hardware & architecture (1390) 1390
design of logic systems (1370) 1370
design, logic (1370) 1370
information systems applications (1362) 1362
operating systems (1353) 1353
computational intelligence (1342) 1342
uncertainty (1324) 1324
verification (1324) 1324
management (1299) 1299
logic, symbolic and mathematical (1274) 1274
genetic algorithms (1252) 1252
computer software (1238) 1238
index medicus (1235) 1235
theoretical computer science (1200) 1200
hardware (1198) 1198
informatique (1173) 1173
computer software engineering (1161) 1161
parallel processing (1157) 1157
algebra (1133) 1133
philosophy (1121) 1121
computer architecture (1120) 1120
automation (1113) 1113
programmable logic devices (1096) 1096
control, robotics, mechatronics (1077) 1077
simulation (1069) 1069
computer programs (1061) 1061
symbolic and algebraic manipulation (1048) 1048
computation (1042) 1042
data processing (1005) 1005
multi-user (1001) 1001
data structures (984) 984
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (930) 930
Gerstein Science - Stacks (843) 843
Engineering & Comp. Sci. - Stacks (612) 612
UTL at Downsview - May be requested (360) 360
Mathematical Sciences - Stacks (193) 193
Robarts - Stacks (185) 185
Collection Dvlpm't (Acquisitions) - Closed Orders (128) 128
UofT at Mississauga - Stacks (122) 122
Collection Dvlpm't (Acquisitions) - Vendor file (109) 109
UofT at Scarborough - Stacks (86) 86
OISE - Stacks (39) 39
Trinity College (John W Graham) - Stacks (34) 34
St. Michael's College (John M. Kelly) - 3rd Floor (32) 32
Victoria University E.J. Pratt - Stacks (30) 30
St. Michael's College (John M. Kelly) - 2nd Floor (20) 20
Thomas Fisher Rare Book - Rare Book (20) 20
Engineering & Comp. Sci. - Missing (16) 16
Engineering & Comp. Sci. - Periodical Stacks (12) 12
Gerstein Science - Circulation Desk (12) 12
Trinity College (John W Graham) - Storage (12) 12
Thomas Fisher Rare Book - May be requested at Fisher (11) 11
Mathematical Sciences - Missing (8) 8
UofT at Mississauga - May be requested in 6-10 wks (7) 7
Aerospace - Stacks (6) 6
Physics - Stacks (5) 5
Engineering & Comp. Sci. - May be requested in 6-10 wks (4) 4
Faculty of Information - Stacks (4) 4
Knox College (Caven) - Stacks (4) 4
Law (Bora Laskin) - Stacks (4) 4
Institute for Christian Studies - Stacks (3) 3
University College (Laidlaw) - Stacks (3) 3
Victoria University E.J. Pratt - Reference (3) 3
Engineering & Comp. Sci. - Searching (2) 2
Gerstein Science - Missing (2) 2
Gerstein Science - Theses (2) 2
OISE - Missing (2) 2
OISE - Reference (2) 2
Pontifical Inst. Mediaeval Studies - Library use only (2) 2
St. Augustine's Seminary - Stacks (2) 2
UofT at Scarborough - Withdrawn (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Criminology - Stacks (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Gerstein Science - Searching (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Reference (1) 1
Mt Sinai Hospital - Stacks (1) 1
Music - Stacks (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Children's Literature (1) 1
OISE - Lost (1) 1
OISE - Modern Language (1) 1
Physics - New Books (1) 1
Regis College - Stacks (1) 1
Robarts - Closed Orders (1) 1
Robarts - Searching (1) 1
Scarborough Hospital - General (1) 1
St. Augustine's Seminary - Reference (1) 1
St. Michael's College (John M. Kelly) - Circulation Desk (1) 1
St. Michael's College (John M. Kelly) - McLuhan (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
Trinity College (John W Graham) - Reference (1) 1
Trinity College (John W Graham) - Wycliffe Storage (1) 1
UofT Schools - Stacks (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Mississauga - Oversize (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Northrop Frye (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (66464) 66464
Chinese (490) 490
Japanese (267) 267
Spanish (248) 248
German (171) 171
French (132) 132
Portuguese (53) 53
Czech (23) 23
Turkish (15) 15
Russian (14) 14
Arabic (11) 11
Polish (11) 11
Italian (10) 10
Korean (10) 10
Dutch (9) 9
Lithuanian (7) 7
Persian (5) 5
Slovenian (5) 5
Latin (4) 4
Swedish (4) 4
Afrikaans (2) 2
Norwegian (2) 2
Romanian (2) 2
Bulgarian (1) 1
Danish (1) 1
Indonesian (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


06/2010, ISBN 3642120148, 385
This is a clear, comprehensive introduction to the new standard IEC 61131 for programming industrial control systems. Includes easy-to-follow examples,... 
Handbooks, manuals, etc | Automatic programming (Computer science) | Automation | Engineering | Control | Programming Techniques | Special Purpose and Application-Based Systems
eBook
The journal of logic and algebraic programming, ISSN 1567-8326, 2001
Journal
2001, Lecture notes in computer science, ISBN 3540422064, Volume 2072., xiii, 428
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June... 
Object-oriented programming (Computer science) | Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logic design | IT in Business | Computer Communication Networks | Information technology | Logics and Meanings of Programs | Software engineering
eBook
2018, Lecture Notes in Computer Science, ISBN 3319775529, Volume 10781
This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018,... 
Computer science | Algorithms | Arithmetic and logic units, Computer | Data structures (Computer science) | Data mining | Artificial intelligence
Web Resource
2005, Lecture notes in computer science, ISBN 9783540292081, Volume 3668., xiv, 454
Constitutes the proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Spain, in October 2005. These papers cover... 
Logic programming | Congresses | Artificial Intelligence (incl. Robotics) | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages
eBook
2016, Lecture Notes in Computer Science, ISBN 3319452789, Volume 9889
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016. The 12... 
Computer science | Programming languages (Electronic computers) | Computer programming | Computer logic | Mathematical logic | Software engineering
Web Resource
2016, Lecture Notes in Computer Science, ISBN 3319452789, Volume 9889
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016. The 12... 
Computer science | Programming languages (Electronic computers) | Computer programming | Computer logic | Mathematical logic | Software engineering
Web Resource
1990, Prentice-Hall International series in computer science., ISBN 9780137288748, xvi, 322
Book
2003, Lecture notes in computer science, ISBN 9783540201946, Volume 2793., ix, 221
Book
2013, ISBN 9781461448808
Distributed programming: theory and practice presents a practical and rigorous method to develop distributed programs that correctly implement their... 
Computer science | Logic design | Software engineering
Web Resource
2013, Lecture Notes in Computer Science, ISBN 9783642376511, Volume 7797
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which... 
Computer science | Computer vision | Logic design | Artificial intelligence
Web Resource
No results were found for your search.

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