UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (9978) 9978
Conference Proceeding (4757) 4757
Book / eBook (2313) 2313
Book Chapter (2283) 2283
Web Resource (351) 351
Dissertation (173) 173
Magazine Article (76) 76
Publication (41) 41
Government Document (25) 25
Journal / eJournal (7) 7
Paper (4) 4
Report (4) 4
Newspaper Article (3) 3
Book Review (2) 2
Data Set (2) 2
Reference (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (9321) 9321
science & technology (5453) 5453
technology (4927) 4927
formal methods (3936) 3936
software engineering (2294) 2294
formal verification (2144) 2144
mathematical logic and formal languages (2101) 2101
artificial intelligence (2030) 2030
mathematics (1836) 1836
computer science, theory & methods (1670) 1670
engineering (1585) 1585
analysis (1530) 1530
algorithms (1474) 1474
formal method (1452) 1452
formal languages and automata theory (1356) 1356
studies (1304) 1304
computer science, software engineering (1289) 1289
social sciences (1251) 1251
mathematical logic (1241) 1241
logic (1166) 1166
e-bok (1162) 1162
elektronisk resurs (1162) 1162
programming languages (1138) 1138
congresses (1087) 1087
logic, symbolic and mathematical (1066) 1066
software (1060) 1060
mathematical models (1023) 1023
verification (1016) 1016
formal specifications (1002) 1002
informatics (984) 984
logics and meanings of programs (981) 981
logic design (911) 911
computers (900) 900
model checking (893) 893
engineering, electrical & electronic (878) 878
semantics (878) 878
formal concept analysis (869) 869
computer science, information systems (867) 867
computer science, artificial intelligence (839) 839
computer software (839) 839
physical sciences (829) 829
formal languages (767) 767
computer logic (761) 761
formal specification (750) 750
programming languages, compilers, interpreters (747) 747
software engineering/programming and operating systems (724) 724
computer programming (686) 686
computer science - formal languages and automata theory (677) 677
specifications (648) 648
education (642) 642
formal and informal sectors, shadow economy, institutional arrangements (641) 641
multi-user (641) 641
computer simulation (634) 634
research (630) 630
informatique (627) 627
mathematical logic and foundations (626) 626
logic in computer science (617) 617
theory of computation (610) 610
computer programs (598) 598
kongress (589) 589
electronic brains (582) 582
mathematical analysis (581) 581
symbolic and algebraic manipulation (577) 577
methods (569) 569
theoretical computer science (562) 562
computer science, hardware & architecture (554) 554
machine intelligence (551) 551
ai (550) 550
intelligence, artificial (550) 550
artificial thinking (547) 547
intellectronics (547) 547
intelligent machines (547) 547
thinking, artificial (547) 547
algebra (546) 546
application software (514) 514
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] (509) 509
computer software engineering (505) 505
computer science - logic in computer science (498) 498
programming techniques (489) 489
automata (483) 483
formal education (474) 474
data processing (473) 473
design of logic systems (470) 470
design, logic (470) 470
automation (463) 463
testing (458) 458
humans (456) 456
information systems (450) 450
programming (447) 447
design engineering (439) 439
formale spezifikation (436) 436
economics (430) 430
mathematics, applied (418) 418
data mining (409) 409
hardware (409) 409
security (406) 406
usage (404) 404
science & technology - other topics (399) 399
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (386) 386
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (361) 361
Gerstein Science - Stacks (216) 216
Engineering & Comp. Sci. - Stacks (146) 146
Robarts - Stacks (90) 90
UTL at Downsview - May be requested (86) 86
Mathematical Sciences - Stacks (55) 55
Collection Dvlpm't (Acquisitions) - Vendor file (52) 52
UofT at Mississauga - Stacks (44) 44
Collection Dvlpm't (Acquisitions) - Closed Orders (35) 35
OISE - Stacks (33) 33
UofT at Scarborough - Stacks (31) 31
New College (Ivey) - Stacks (12) 12
Engineering & Comp. Sci. - May be requested in 6-10 wks (10) 10
St. Michael's College (John M. Kelly) - 2nd Floor (10) 10
Faculty of Information - Stacks (9) 9
Law (Bora Laskin) - Stacks (8) 8
Trinity College (John W Graham) - Stacks (6) 6
OISE - Theses (5) 5
University College (Laidlaw) - Stacks (4) 4
Credit Valley Hospital - Stacks (3) 3
Criminology - Stacks (3) 3
Engineering & Comp. Sci. - Periodical Stacks (3) 3
Media Commons - Microtexts (3) 3
Baycrest Hospital - Stacks (2) 2
OISE - Microfiche (2) 2
OISE - New Books (2) 2
Robarts - Not Returned (2) 2
Royal Ontario Museum - Stacks (2) 2
Stacks (2) 2
Aerospace - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Dentistry (Harry R Abbott) - Stacks (1) 1
Engineering & Comp. Sci. - Missing (1) 1
Gerstein Science - Bindery (1) 1
Gerstein Science - Periodical Stacks (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
Markham Stouffville Hospital - Stacks (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - Material is damaged (1) 1
Mathematical Sciences - Processing (1) 1
Music - Stacks (1) 1
OISE - May be requested in 6-10 wks (1) 1
OISE - Periodical Stacks (1) 1
Providence Healthcare - Stacks (1) 1
Robarts - Course Reserves (1) 1
Scarborough Hospital - Birchmount (1) 1
Scarborough Hospital - Stacks (1) 1
St. Augustine's Seminary - Stacks (1) 1
St. Michael's Hospital - Stacks (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
Toronto East General Hospital - Stacks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (19862) 19862
Chinese (200) 200
German (134) 134
Japanese (129) 129
Spanish (86) 86
French (46) 46
Portuguese (33) 33
Russian (9) 9
Czech (4) 4
Italian (4) 4
Korean (4) 4
Swedish (3) 3
Afrikaans (2) 2
Dutch (2) 2
Lithuanian (2) 2
Arabic (1) 1
Estonian (1) 1
Hungarian (1) 1
Kurdish (1) 1
Nepali (1) 1
Norwegian (1) 1
Slovenian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Science of computer programming, ISSN 0167-6423, 1981
Journal
Formal methods in system design, ISSN 0925-9856, 1992
Journal
2015, 1st ed. 2015, ISBN 3319236326, 854
.... It presents privacy-preserving methods for medical data, ranging from laboratory test results to doctors' comments... 
Medical records_xData processing | Health Informatics | Systems and Data Security | Computer Science | Database Management | Data Structures and Information Theory | Medicine | Medical records | Data protection | Medical informatics
eBook
2020, 1, Textbooks in mathematics, ISBN 9780367225704, 350
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts... 
Computation | Formal methods (Computer science)
eBook
2010, ISBN 1848211430, xii, 261
... and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid... 
Development | Programming | Embedded computer systems | Design and construction | Computer software | Formal methods (Computer science)
Book
2007, Foundations and trends in computer graphics and vision, ISBN 1601980604, Volume 2, no. 4., Issue 4, ix, 108
Book
2017, Human-computer interaction series, ISBN 3319518372, 577
This volume provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI... 
Computer science | Human-computer interaction
eBook
12/2018, Outstanding contributions to logic, ISBN 9783319978789, Volume 17, 500
Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs... 
eBook
ACM computing surveys, ISSN 0360-0300, 01/2020, Volume 52, Issue 6, pp. 1 - 36
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance... 
challenges | strengths | weaknesses | integration | threats | robots and autonomous systems | Formal methods | research agenda | unification | opportunities | SWOT | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology | Identification methods | Assurance | Software engineering
Journal Article
No results were found for your search.

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