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 (30951) 30951
Conference Proceeding (17175) 17175
Book Chapter (4384) 4384
Newspaper Article (3201) 3201
Government Document (2598) 2598
Dissertation (1725) 1725
Book / eBook (1489) 1489
Paper (975) 975
Magazine Article (875) 875
Web Resource (528) 528
Report (404) 404
Newsletter (260) 260
Publication (160) 160
Standard (97) 97
Trade Publication Article (69) 69
Reference (65) 65
Journal / eJournal (17) 17
Data Set (16) 16
Book Review (14) 14
Transcript (6) 6
Library Holding (1) 1
Streaming Video (1) 1
Video Recording (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
verification (25118) 25118
science & technology (14692) 14692
technology (10484) 10484
computer science (9421) 9421
engineering (5645) 5645
formal verification (5621) 5621
arms control (4408) 4408
program verification (4034) 4034
software (3903) 3903
analysis (3631) 3631
physical sciences (3543) 3543
exact sciences and technology (3528) 3528
algorithms (3472) 3472
engineering, electrical & electronic (2945) 2945
software engineering (2908) 2908
life sciences & biomedicine (2862) 2862
mathematical models (2835) 2835
applied sciences (2679) 2679
model checking (2168) 2168
humans (2148) 2148
computer simulation (2134) 2134
testing (2064) 2064
computer science, software engineering (2020) 2020
security (1795) 1795
simulation (1764) 1764
studies (1731) 1731
validation (1720) 1720
computer programs (1673) 1673
computer science, information systems (1593) 1593
audits (1564) 1564
hardware (1546) 1546
computer science; control theory; systems (1492) 1492
speaker verification (1453) 1453
computer science, theory & methods (1423) 1423
inspection (1392) 1392
mathematics (1343) 1343
automation (1286) 1286
physics (1284) 1284
social sciences (1282) 1282
nuclear arms control (1253) 1253
feature extraction (1233) 1233
methods (1226) 1226
computer science, artificial intelligence (1215) 1215
artificial intelligence (1209) 1209
mathematical analysis (1190) 1190
monitoring (1167) 1167
biometrics (1161) 1161
computational modeling (1152) 1152
reliability (1142) 1142
research (1141) 1141
formal methods (1132) 1132
safety (1102) 1102
radiology, nuclear medicine & medical imaging (1101) 1101
telecommunications (1095) 1095
computer science, hardware & architecture (1081) 1081
logic (1080) 1080
information systems (1079) 1079
protocols (1048) 1048
usage (1041) 1041
semantics (1015) 1015
private sector (1009) 1009
authentication (1005) 1005
design engineering (1004) 1004
experimental verification (1002) 1002
accuracy (971) 971
material (960) 960
electricity (959) 959
optimization (950) 950
manufacturing (945) 945
queries (943) 943
procurement (941) 941
telephone (940) 940
results (939) 939
transaction (939) 939
integrated circuits (933) 933
businesses (923) 923
computer software (909) 909
installation (906) 906
business environment (889) 889
meteorology & atmospheric sciences (886) 886
programming languages (881) 881
design (876) 876
regulatory environment (872) 872
certificate (870) 870
licenses (869) 869
domain (857) 857
inspections (857) 857
license (856) 856
users (854) 854
buyer (852) 852
nuclear weapons (852) 852
radiotherapy (839) 839
distribution network (838) 838
information sharing (832) 832
new markets (832) 832
service providers (830) 830
automata (829) 829
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (513) 513
Robarts - Stacks (285) 285
UTL at Downsview - May be requested (159) 159
Engineering & Comp. Sci. - Stacks (143) 143
Gerstein Science - Stacks (120) 120
UofT at Mississauga - Stacks (94) 94
Collection Dvlpm't (Acquisitions) - Vendor file (56) 56
UofT at Scarborough - Stacks (45) 45
Collection Dvlpm't (Acquisitions) - Closed Orders (35) 35
Robarts - Government Pubs (34) 34
Trinity College (John W Graham) - Stacks (34) 34
Law (Bora Laskin) - Stacks (21) 21
Aerospace - Stacks (12) 12
Victoria University E.J. Pratt - Stacks (12) 12
OISE - Stacks (9) 9
St. Michael's College (John M. Kelly) - 2nd Floor (9) 9
Thomas Fisher Rare Book - Rare Book (9) 9
Business (Joseph L Rotman) - Stacks (8) 8
Engineering & Comp. Sci. - May be requested in 6-10 wks (8) 8
St. Michael's College (John M. Kelly) - 3rd Floor (8) 8
Mathematical Sciences - Stacks (6) 6
Trinity College (John W Graham) - Storage (6) 6
University College (Laidlaw) - Stacks (4) 4
UofT at Scarborough - Withdrawn (4) 4
Business (Joseph L Rotman) - May be requested in 6-10 wks (3) 3
UofT Schools - Stacks (3) 3
Business (Joseph L Rotman) - Library use only (2) 2
Gerstein Science - Circulation Desk (2) 2
Knox College (Caven) - Stacks (2) 2
Robarts - Course Reserves (2) 2
Thomas Fisher Rare Book - May be requested at Fisher (2) 2
University Archives - Archives (2) 2
UofT at Mississauga - Reference (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Business (Joseph L Rotman) - Circulation Desk (1) 1
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Collection Dvlpm't (Acquisitions) - Shipping from publisher (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Institute for Christian Studies - Stacks (1) 1
Map & Data - Data & GIS (1) 1
Media Commons - Audio Visual (1) 1
Media Commons - Microtexts (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Curriculum Resources (1) 1
OISE - Internal dept (1) 1
OISE - May be requested in 6-10 wks (1) 1
Robarts - Library use only (1) 1
Robarts - May be requested in 6-10 wks (1) 1
Robarts - Storage (1) 1
Scarborough Hospital - General (1) 1
St. Augustine's Seminary - Stacks (1) 1
UofT at Mississauga - Not returned (1) 1
UofT at Mississauga - On order (1) 1
UofT at Mississauga - Periodical Stacks (1) 1
Victoria University E.J. Pratt - Northrop Frye (1) 1
Victoria University E.J. Pratt - Reference (1) 1
Victoria University E.J. Pratt - Storage (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 (61858) 61858
Japanese (1439) 1439
Chinese (991) 991
French (682) 682
Korean (290) 290
German (207) 207
Spanish (159) 159
Portuguese (147) 147
Russian (135) 135
Czech (128) 128
Polish (83) 83
Swedish (23) 23
Croatian (17) 17
Arabic (15) 15
Turkish (15) 15
Indonesian (12) 12
Italian (9) 9
Slovak (9) 9
Lithuanian (8) 8
Romanian (7) 7
Slovenian (7) 7
Estonian (4) 4
Afrikaans (3) 3
Dutch (3) 3
Hungarian (3) 3
Norwegian (3) 3
Serbian (3) 3
Belarusian (2) 2
Finnish (2) 2
Ukrainian (2) 2
Bosnian (1) 1
Breton (1) 1
Bulgarian (1) 1
Chamorro (1) 1
Malay (1) 1
Mongolian (1) 1
Panjabi (1) 1
Persian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Software testing, verification & reliability, ISSN 0960-0833, 1992
Journal
Formal methods in system design, ISSN 0925-9856, 1992
Journal
2005, 2nd ed., ISBN 087003216X, x, 490 p., [1] folded
Book
2009, ISBN 0521859727, Volume 9780521859721, xi, 276
Book