X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (30145) 30145
Conference Proceeding (16833) 16833
Book Chapter (4361) 4361
Newspaper Article (3179) 3179
Government Document (2615) 2615
Dissertation (1718) 1718
Book / eBook (1575) 1575
Paper (974) 974
Magazine Article (846) 846
Web Resource (529) 529
Report (396) 396
Newsletter (259) 259
Publication (153) 153
Standard (95) 95
Reference (65) 65
Trade Publication Article (56) 56
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 (24535) 24535
science & technology (13798) 13798
technology (9734) 9734
computer science (9038) 9038
formal verification (5525) 5525
engineering (5158) 5158
arms control (4407) 4407
program verification (4010) 4010
analysis (3569) 3569
physical sciences (3397) 3397
algorithms (3341) 3341
software (2940) 2940
mathematical models (2791) 2791
life sciences & biomedicine (2727) 2727
engineering, electrical & electronic (2583) 2583
software engineering (2549) 2549
model checking (2146) 2146
computer simulation (2115) 2115
humans (2114) 2114
testing (2042) 2042
computer science, software engineering (1969) 1969
studies (1723) 1723
validation (1710) 1710
simulation (1700) 1700
security (1690) 1690
computer programs (1682) 1682
audits (1535) 1535
hardware (1500) 1500
speaker verification (1441) 1441
inspection (1389) 1389
computer science, information systems (1365) 1365
computer science, theory & methods (1362) 1362
nuclear arms control (1258) 1258
social sciences (1254) 1254
methods (1198) 1198
mathematics (1178) 1178
feature extraction (1163) 1163
automation (1153) 1153
monitoring (1146) 1146
computational modeling (1138) 1138
research (1126) 1126
formal methods (1125) 1125
reliability (1123) 1123
mathematical analysis (1114) 1114
biometrics (1096) 1096
computer science, artificial intelligence (1095) 1095
information systems (1069) 1069
logic (1069) 1069
safety (1064) 1064
radiology, nuclear medicine & medical imaging (1056) 1056
computer science, hardware & architecture (1039) 1039
usage (1028) 1028
protocols (1020) 1020
private sector (1008) 1008
design engineering (993) 993
semantics (987) 987
experimental verification (967) 967
material (960) 960
authentication (956) 956
electricity (956) 956
artificial intelligence (954) 954
accuracy (943) 943
computer software (942) 942
manufacturing (942) 942
procurement (941) 941
telephone (940) 940
queries (939) 939
results (939) 939
transaction (939) 939
physics (931) 931
businesses (924) 924
optimization (904) 904
installation (902) 902
business environment (889) 889
regulatory environment (872) 872
certificate (871) 871
licenses (863) 863
design (860) 860
meteorology & atmospheric sciences (859) 859
domain (857) 857
inspections (856) 856
license (855) 855
users (853) 853
buyer (852) 852
nuclear weapons (849) 849
distribution network (836) 836
telecommunications (835) 835
radiotherapy (834) 834
new markets (832) 832
information sharing (830) 830
service providers (830) 830
competitiveness (829) 829
automata (825) 825
commercial activities (823) 823
business indicator (820) 820
commercial business (818) 818
accounting (809) 809
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 (295) 295
UTL at Downsview - May be requested (161) 161
Engineering & Comp. Sci. - Stacks (147) 147
Gerstein Science - Stacks (125) 125
UofT at Mississauga - Stacks (98) 98
Collection Dvlpm't (Acquisitions) - Vendor file (58) 58
Robarts - Government Pubs (50) 50
UofT at Scarborough - Stacks (47) 47
Collection Dvlpm't (Acquisitions) - Closed Orders (36) 36
Trinity College (John W Graham) - Stacks (35) 35
Law (Bora Laskin) - Stacks (22) 22
Aerospace - Stacks (12) 12
Victoria University E.J. Pratt - Stacks (12) 12
Business (Joseph L Rotman) - Stacks (10) 10
OISE - Stacks (10) 10
St. Michael's College (John M. Kelly) - 2nd Floor (10) 10
Thomas Fisher Rare Book - Rare Book (9) 9
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 (7) 7
Trinity College (John W Graham) - Storage (5) 5
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
Thomas Fisher Rare Book - May be requested at Fisher (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
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 (60708) 60708
Japanese (1434) 1434
Chinese (967) 967
French (693) 693
Korean (300) 300
German (265) 265
Spanish (153) 153
Portuguese (130) 130
Czech (129) 129
Russian (128) 128
Polish (83) 83
Swedish (24) 24
Turkish (17) 17
Arabic (16) 16
Croatian (16) 16
Indonesian (12) 12
Italian (10) 10
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
Finnish (2) 2
Latin (2) 2
Ukrainian (2) 2
Belarusian (1) 1
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
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
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
2011, ISBN 0691147817, xii, 138
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of... 
Numerical calculations | Science | Data processing | Verification | MATHEMATICS | Applied | COMPUTERS | Computer Science | Numerical calculations-Verification | Science-Data processing | Mathematics | Naturvetenskap | Natural Sciences | Beräkningsmatematik | Computational Mathematics | Matematik
Book
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
Formal methods in system design, ISSN 0925-9856, 1992
Journal
2008, 1, The Morgan Kaufmann series in systems on silicon, ISBN 0123706165, viii, 240
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 | Integrated circuits - Verification
Book
2007, ISBN 0521875463, Volume 9780521875462, xvi, 284
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies... 
Validation | Expert systems (Computer science) | System design | Verification | Mathematical models | System design - Mathematical models
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
Microprocessors and microsystems, ISSN 0141-9331, 11/2019, Volume 71, p. 102867
‐A study of challenges posed by the intersection of functional and non-functional verification of hardware designs.‐A taxonomy for multidimensional hardware... 
Power verification | Survey | Taxonomy | Machine learning | Security verification | Extra-functional verification | Functional verification | Reliability verification | Electronic systems | Reliability aspects | Verification | Hardware | Internet of Things
Journal Article
05/2010, ISBN 9780521895569, Volume 9780521895569, 614
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing... 
B method (Computer science) | Computer science | Computer systems | Mathematical models | Verification | Formal methods (Computer science)
eBook
2013, ISBN 1107033942, xliii, 514
With the signing in 1996 of the Comprehensive Nuclear Test Ban Treaty, interest has grown in forensic seismology: the application of seismology to nuclear test... 
Comprehensive Nuclear-Test-Ban Treaty | Nuclear weapons | Nuclear arms control | Seismology | Analysis | Verification | Seismic waves | Underground nuclear explosions | Detection | Testing | (1996).
Book
ACM Transactions on Design Automation of Electronic Systems (TODAES), ISSN 1084-4309, 09/2008, Volume 13, Issue 4, pp. 1 - 31
Formal specifications of interface protocols between a design-under-test and its environment mostly consist of two types of correctness requirements, namely... 
Verification
Journal Article
2016, Synthesis lectures on data management, ISBN 9781627057714, Volume 42., xiii, 141 pages
On the Web, a massive amount of user-generated content is available through various channels (e.g., texts, tweets, Web tables, databases, multimedia-sharing... 
Computer algorithms | Verification (Logic) | Computer programs | Computing and Processing
Book