X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (42762) 42762
Conference Proceeding (17865) 17865
Publication (2832) 2832
Government Document (2571) 2571
Newspaper Article (2454) 2454
Book Chapter (1744) 1744
Book / eBook (1524) 1524
Dissertation (1389) 1389
Paper (1014) 1014
Magazine Article (713) 713
Web Resource (554) 554
Newsletter (501) 501
Report (403) 403
Book Review (383) 383
Trade Publication Article (238) 238
Reference (83) 83
Standard (83) 83
Journal / eJournal (16) 16
Data Set (12) 12
Transcript (7) 7
Technical Report (6) 6
Poster (2) 2
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 (31663) 31663
index medicus (5283) 5283
computer science (5164) 5164
formal verification (5123) 5123
analysis (5089) 5089
algorithms (4814) 4814
arms control (4259) 4259
humans (4052) 4052
engineering, electrical & electronic (3901) 3901
program verification (3668) 3668
computer science, software engineering (3663) 3663
mathematical models (3589) 3589
software (3184) 3184
computer science, theory & methods (3006) 3006
radiology, nuclear medicine & medical imaging (2791) 2791
software engineering (2631) 2631
computer simulation (2523) 2523
studies (2471) 2471
simulation (2443) 2443
model checking (2429) 2429
models (2414) 2414
validation (2276) 2276
computer science, information systems (2019) 2019
testing (2009) 2009
radiotherapy (1977) 1977
design (1885) 1885
security (1884) 1884
computer science, artificial intelligence (1863) 1863
research (1829) 1829
computer programs (1769) 1769
meteorology & atmospheric sciences (1659) 1659
model (1623) 1623
methods (1604) 1604
computer science, hardware & architecture (1560) 1560
usage (1544) 1544
accuracy (1520) 1520
reliability (1509) 1509
audits (1501) 1501
performance (1492) 1492
logic (1483) 1483
system (1471) 1471
hardware (1451) 1451
mathematical analysis (1439) 1439
dosimetry (1396) 1396
systems (1352) 1352
speaker verification (1347) 1347
images (1343) 1343
engineering (1340) 1340
inspection (1336) 1336
optimization (1324) 1324
semantics (1295) 1295
calibration (1281) 1281
biometrics (1275) 1275
radiotherapy dosage (1258) 1258
artificial intelligence (1216) 1216
automation (1215) 1215
feature extraction (1214) 1214
male (1211) 1211
databases (1186) 1186
experimental-verification (1145) 1145
monitoring (1145) 1145
authentication (1144) 1144
information systems (1119) 1119
computational modeling (1110) 1110
design engineering (1109) 1109
radiation therapy (1100) 1100
safety (1100) 1100
formal methods (1091) 1091
computer science, interdisciplinary applications (1089) 1089
protocols (1087) 1087
automata (1035) 1035
nuclear arms control (1017) 1017
telecommunications (1014) 1014
female (1008) 1008
oncology (1005) 1005
private sector (1003) 1003
identification (998) 998
standards (990) 990
reproducibility of results (986) 986
specifications (975) 975
material (957) 957
electricity (948) 948
queries (948) 948
radiotherapy planning, computer-assisted - methods (945) 945
telephone (943) 943
experimental verification (942) 942
recognition (942) 942
procurement (940) 940
transaction (938) 938
manufacturing (936) 936
phantoms, imaging (936) 936
results (935) 935
computer software (933) 933
businesses (924) 924
installation (896) 896
quality assurance (895) 895
theory (893) 893
business environment (889) 889
quality control (888) 888
domain (886) 886
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (578) 578
Robarts - Stacks (291) 291
UTL at Downsview - May be requested (168) 168
Engineering & Comp. Sci. - Stacks (143) 143
Gerstein Science - Stacks (130) 130
UofT at Mississauga - Stacks (91) 91
Robarts - Government Pubs (61) 61
Collection Dvlpm't (Acquisitions) - Vendor file (59) 59
UofT at Scarborough - Stacks (42) 42
Collection Dvlpm't (Acquisitions) - Closed Orders (36) 36
Trinity College (John W Graham) - Stacks (33) 33
Law (Bora Laskin) - Stacks (22) 22
Aerospace - Stacks (12) 12
Business (Joseph L Rotman) - Stacks (9) 9
St. Michael's College (John M. Kelly) - 2nd Floor (9) 9
Victoria University E.J. Pratt - Stacks (9) 9
Mathematical Sciences - Stacks (8) 8
Trinity College (John W Graham) - Storage (5) 5
OISE - Stacks (4) 4
Robarts - Gov Pub Storage: Request at Reference Desk 4th floor (4) 4
St. Michael's College (John M. Kelly) - 3rd Floor (4) 4
Thomas Fisher Rare Book - Rare Book (4) 4
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
Engineering & Comp. Sci. - May be requested in 6-10 wks (2) 2
Gerstein Science - Circulation Desk (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
Knox College (Caven) - Stacks (1) 1
Map & Data - Data & GIS (1) 1
Media Commons - Audio Visual (1) 1
Media Commons - Microtexts (1) 1
OISE - Curriculum Resources (1) 1
Robarts - Course Reserves (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
Thomas Fisher Rare Book - May be requested at Fisher (1) 1
UofT at Mississauga - On order (1) 1
UofT at Mississauga - Periodical Stacks (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 (66587) 66587
Japanese (1102) 1102
Chinese (854) 854
French (547) 547
Korean (267) 267
German (247) 247
Spanish (125) 125
Polish (87) 87
Russian (70) 70
Portuguese (54) 54
Czech (28) 28
Turkish (17) 17
Arabic (14) 14
Croatian (13) 13
Lithuanian (11) 11
Swedish (10) 10
Indonesian (9) 9
Italian (8) 8
Slovenian (6) 6
Romanian (5) 5
Slovak (5) 5
Estonian (4) 4
Dutch (2) 2
Finnish (2) 2
Latin (2) 2
Afrikaans (1) 1
Bulgarian (1) 1
Hungarian (1) 1
Mongolian (1) 1
Panjabi (1) 1
Persian (1) 1
Serbian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2008, 1. Aufl., ISBN 9780471704492, xv, 231
A Step-by-Step Guide to Verification of Digital SystemsThis practical book provides a step-by-step, interactive introduction to formal verification of systems... 
Computers | Computer Engineering | Integrated circuits | Verification | Computer software | Petri nets | LOTOS (Computer program language)
Book
2017, ISBN 0804797439, xii, 386 pages
Given recent controversies over suspected WMD programs in proliferating countries, there is an increasingly urgent need for effective monitoring and... 
Nuclear arms control | Verification | On-site inspection | Chemical arms control | Biological arms control | Weapons of mass destruction | Disarmament
Book
2009, ISBN 0521859727, Volume 9780521859721, xi, 276
Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and... 
Integrated circuits | Verification | Electronics & communications engineering | Integrated circuits - Verification
Book
2008, 1, Morgan Kaufmann series in systems on silicon, ISBN 0123706165, viii, 240
This book will explain how to verify SoC (Systems on Chip) logic designs using "formal and "semiformal verification techniques. The critical issue to be... 
Systems on a chip | Integrated circuits | Verification | Formal methods (Computer science) | Testing | Electronics & communications engineering | Systems on a chip - Testing | Semiconductor Technology
Book
2010, ISBN 9780521113601, xiv, 767 pages
"Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public... 
Validation | Decision making | Science | Numerical calculations | Data processing | Verification | Mathematical models | Computer programs | Mathematics
Book
2008, ISBN 026202649X, xvii, 975
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software -- with extensive... 
Computer software | Computer systems | Verification
Book
Software testing, verification & reliability, ISSN 0960-0833, 1992
Journal
1985, ISBN 0442263228, xii, 291
Book
Formal methods in system design, ISSN 0925-9856, 1992
Journal
1984, Wiley-Teubner series in computer science., ISBN 9780471903239, ix, 230
Book
No results were found for your search.

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