X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (43534) 43534
Conference Proceeding (18183) 18183
Publication (3592) 3592
Government Document (2633) 2633
Newspaper Article (2581) 2581
Book Chapter (1919) 1919
Book / eBook (1674) 1674
Dissertation (1385) 1385
Paper (1012) 1012
Magazine Article (671) 671
Web Resource (532) 532
Report (405) 405
Newsletter (253) 253
Trade Publication Article (227) 227
Standard (87) 87
Reference (83) 83
Book Review (58) 58
Data Set (20) 20
Journal / eJournal (16) 16
Technical Report (7) 7
Transcript (7) 7
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 (32103) 32103
computer science (5298) 5298
formal verification (5222) 5222
analysis (5019) 5019
algorithms (4824) 4824
arms control (4069) 4069
humans (4036) 4036
engineering, electrical & electronic (3915) 3915
program verification (3837) 3837
computer science, software engineering (3675) 3675
mathematical models (3320) 3320
software (3211) 3211
index medicus (3176) 3176
computer science, theory & methods (3027) 3027
software engineering (2808) 2808
radiology, nuclear medicine & medical imaging (2800) 2800
computer simulation (2512) 2512
model checking (2475) 2475
simulation (2402) 2402
validation (2326) 2326
models (2267) 2267
computer science, information systems (2045) 2045
testing (2032) 2032
radiotherapy (1977) 1977
design (1909) 1909
security (1894) 1894
computer science, artificial intelligence (1833) 1833
computer programs (1813) 1813
research (1799) 1799
studies (1768) 1768
meteorology & atmospheric sciences (1726) 1726
model (1683) 1683
methods (1584) 1584
computer science, hardware & architecture (1557) 1557
accuracy (1534) 1534
reliability (1516) 1516
audits (1512) 1512
performance (1510) 1510
usage (1504) 1504
system (1485) 1485
logic (1481) 1481
hardware (1474) 1474
dosimetry (1404) 1404
engineering (1366) 1366
mathematical analysis (1362) 1362
speaker verification (1345) 1345
inspection (1342) 1342
optimization (1311) 1311
calibration (1307) 1307
semantics (1303) 1303
images (1298) 1298
radiotherapy dosage (1269) 1269
artificial intelligence (1260) 1260
systems (1260) 1260
biometrics (1243) 1243
male (1216) 1216
feature extraction (1212) 1212
automation (1188) 1188
databases (1169) 1169
monitoring (1157) 1157
formal methods (1148) 1148
experimental-verification (1146) 1146
authentication (1131) 1131
computational modeling (1124) 1124
safety (1120) 1120
radiation therapy (1117) 1117
protocols (1092) 1092
computer science, interdisciplinary applications (1085) 1085
information systems (1085) 1085
design engineering (1077) 1077
telecommunications (1052) 1052
automata (1035) 1035
oncology (1021) 1021
computer software (1017) 1017
private sector (1010) 1010
female (1006) 1006
identification (992) 992
nuclear arms control (985) 985
reproducibility of results (977) 977
standards (976) 976
experimental verification (968) 968
material (962) 962
phantoms, imaging (960) 960
radiotherapy planning, computer-assisted - methods (957) 957
queries (955) 955
electricity (953) 953
telephone (946) 946
results (942) 942
procurement (940) 940
transaction (940) 940
manufacturing (931) 931
businesses (927) 927
specifications (922) 922
quality assurance (906) 906
installation (897) 897
business environment (890) 890
domain (885) 885
theory (880) 880
quality control (878) 878
recognition (875) 875
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (516) 516
Robarts - Stacks (284) 284
UTL at Downsview - May be requested (159) 159
Engineering & Comp. Sci. - Stacks (142) 142
Gerstein Science - Stacks (128) 128
UofT at Mississauga - Stacks (91) 91
Robarts - Government Pubs (60) 60
Collection Dvlpm't (Acquisitions) - Vendor file (57) 57
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 (24) 24
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
Engineering & Comp. Sci. - May be requested in 6-10 wks (8) 8
Mathematical Sciences - Stacks (7) 7
OISE - Stacks (5) 5
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
Trinity College (John W Graham) - Storage (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
Gerstein Science - Circulation Desk (2) 2
Robarts - Course Reserves (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
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
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
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 (68072) 68072
Japanese (1395) 1395
Chinese (1054) 1054
French (555) 555
Korean (280) 280
German (257) 257
Spanish (123) 123
Polish (89) 89
Russian (73) 73
Portuguese (69) 69
Czech (28) 28
Turkish (18) 18
Croatian (14) 14
Arabic (13) 13
Lithuanian (11) 11
Indonesian (9) 9
Italian (9) 9
Swedish (9) 9
Slovak (6) 6
Slovenian (6) 6
Romanian (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
Norwegian (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., Wiley series on parallel and distributed computing, 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... 
Integrated circuits | Verification | Computer software | Petri nets | LOTOS (Computer program language) | Computers | Computer Engineering
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
2005, 2nd ed., ISBN 087003216X, x, 490 p., [1] folded
Book
Software testing, verification & reliability, ISSN 0960-0833, 1992
Journal
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 | Electronics & communications engineering | Semiconductor Technology | Integrated circuits | Formal methods (Computer science)
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 | Electronics & communications engineering | Verification
Book
2010, ISBN 9780521113601, xiv, 767
"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
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing... 
Computer software | Computer systems | Verification
Book
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.