X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (16991) 16991
Book / eBook (5195) 5195
Conference Proceeding (4718) 4718
Book Chapter (4463) 4463
Government Document (2319) 2319
Publication (1859) 1859
Newspaper Article (821) 821
Magazine Article (753) 753
Newsletter (312) 312
Dissertation (276) 276
Trade Publication Article (210) 210
Web Resource (131) 131
Report (76) 76
Paper (53) 53
Book Review (42) 42
Transcript (12) 12
Reference (7) 7
Data Set (5) 5
Journal / eJournal (4) 4
Technical Report (3) 3
Electronic Resource (1) 1
Poster (1) 1
Streaming Video (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer programs (9425) 9425
computer science (8396) 8396
software engineering (6780) 6780
software (6036) 6036
logics and meanings of programs (5570) 5570
programming languages, compilers, interpreters (3756) 3756
program verification (3753) 3753
computer science, software engineering (2794) 2794
mathematical models (2686) 2686
mathematical logic and formal languages (2647) 2647
artificial intelligence (2324) 2324
algorithms (2309) 2309
computers (2235) 2235
analysis (2143) 2143
verification (2090) 2090
computer simulation (2079) 2079
programming techniques (2030) 2030
electronic books (1903) 1903
computer communication networks (1755) 1755
computer science, theory & methods (1698) 1698
programming languages (1675) 1675
logic design (1582) 1582
humans (1566) 1566
index medicus (1543) 1543
computer programming (1461) 1461
research (1417) 1417
software engineering/programming and operating systems (1340) 1340
computer software (1304) 1304
studies (1268) 1268
congresses (1265) 1265
computer logic (1196) 1196
methods (1149) 1149
data processing (1087) 1087
computer science, information systems (1073) 1073
usage (1053) 1053
programming (1039) 1039
engineering (1022) 1022
mathematical analysis (1011) 1011
engineering, electrical & electronic (991) 991
education (979) 979
informatics (964) 964
design engineering (953) 953
kongress (946) 946
operating systems (929) 929
simulation (924) 924
management (920) 920
design (902) 902
models (885) 885
computer software engineering (857) 857
automation (855) 855
united states (836) 836
design of logic systems (826) 826
design, logic (826) 826
mathematics (826) 826
internet (812) 812
algorithm analysis and problem complexity (807) 807
informatique (806) 806
computation by abstract devices (790) 790
programs (790) 790
hardware (770) 770
security (759) 759
model checking (751) 751
tools (738) 738
semantics (718) 718
optimization (710) 710
testing (710) 710
theory of computation (703) 703
software development (696) 696
mathematical logic (692) 692
multi-user (686) 686
java (683) 683
information systems (676) 676
special purpose and application-based systems (670) 670
evaluation (660) 660
government information and information services (657) 657
applications programs (653) 653
specifications (653) 653
program (645) 645
female (644) 644
department of defense (635) 635
computation (630) 630
logic (615) 615
standards (609) 609
computer software industry (582) 582
computer science, interdisciplinary applications (578) 578
male (578) 578
case studies (563) 563
management of computing and information systems (558) 558
formal methods (541) 541
federal employees (538) 538
software testing (526) 526
electronic data processing (523) 523
science (523) 523
architecture (513) 513
computer networks (513) 513
systems (510) 510
planning (503) 503
children (497) 497
reliability (495) 495
computer science, hardware & architecture (493) 493
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (969) 969
Engineering & Comp. Sci. - Stacks (641) 641
UTL at Downsview - May be requested (551) 551
Robarts - Stacks (534) 534
OISE - Stacks (365) 365
Collection Dvlpm't (Acquisitions) - Closed Orders (277) 277
Online Resources - Online (233) 233
UofT at Mississauga - Stacks (219) 219
UofT at Scarborough - Stacks (188) 188
Collection Dvlpm't (Acquisitions) - Vendor file (106) 106
Engineering & Comp. Sci. - May be requested in 6-10 wks (33) 33
Mathematical Sciences - Stacks (33) 33
Aerospace - Stacks (32) 32
Faculty of Information - Stacks (26) 26
Law (Bora Laskin) - Stacks (25) 25
Faculty of Information - May be requested in 6-10 wks (24) 24
Astronomy & Astrophysics - Ask at library (23) 23
UofT at Mississauga - May be requested in 6-10 wks (23) 23
St. Michael's College (John M. Kelly) - 2nd Floor (22) 22
Providence Healthcare - Stacks (20) 20
Trinity College (John W Graham) - Stacks (20) 20
Physics - Stacks (18) 18
Earth Sciences (Noranda) - Stacks (17) 17
Indust. Rel's & Hum. Resources (Newman) - Library use only (17) 17
OISE - Curriculum Resources (16) 16
Gerstein Science - Circulation Desk (14) 14
Engineering & Comp. Sci. - Missing (13) 13
OISE - Lost (13) 13
Criminology - Stacks (12) 12
Victoria University E.J. Pratt - Stacks (12) 12
New College (Ivey) - Stacks (11) 11
Music - Stacks (10) 10
Holland Bloorview Kids Rehabilitation - Stacks (8) 8
OISE - Missing (8) 8
OISE - Reference (8) 8
Trinity College (John W Graham) - Storage (8) 8
West Park Healthcare Centre - Stacks (8) 8
Architecture Landscape (Shore + Moffat) - Stacks (7) 7
Scarborough Hospital - General (7) 7
Gerstein Science - Missing (6) 6
Knox College (Caven) - Stacks (6) 6
Map & Data - Map Collection (6) 6
OISE - May be requested in 6-10 wks (6) 6
University College (Laidlaw) - Stacks (6) 6
Baycrest Hospital - Stacks (5) 5
Royal Ontario Museum - Stacks (5) 5
Gerstein Science - Reference (4) 4
Lakeridge Health Sciences - Oshawa (4) 4
Toronto East General Hospital - Stacks (4) 4
Victoria University Emmanuel College - Stacks (4) 4
Credit Valley Hospital - Stacks (3) 3
Innis College - Stacks (3) 3
Map & Data - Data & GIS (3) 3
Map & Data - Data Reference (3) 3
Massey College (Robertson Davies) - Rare Book (3) 3
Regis College - Stacks (3) 3
Robarts - Government Pubs (3) 3
Robarts - Ref Prof Development (3) 3
Robarts - Reference (3) 3
Robarts - Storage (3) 3
Scarborough Hospital - Birchmount (3) 3
St. Michael's Hospital - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
UofT at Mississauga - Reference (3) 3
UofT at Scarborough - May be requested in 6-10 wks (3) 3
Business (Joseph L Rotman) - Stacks (2) 2
Earth Sciences (Noranda) - Circulation Desk (2) 2
Engineering & Comp. Sci. - Periodical Stacks (2) 2
Engineering & Comp. Sci. - Searching (2) 2
Humber River Regional Hospital - Church Stacks (2) 2
Markham Stouffville Hospital - Stacks (2) 2
Mathematical Sciences - Circulation Desk (2) 2
Mathematical Sciences - Missing (2) 2
OISE - Not Returned (2) 2
Physics - Circulation Desk (2) 2
Robarts - Gov Pub Storage: Request at Reference Desk 4th floor (2) 2
Robarts - Library use only (2) 2
St. Augustine's Seminary - Stacks (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (2) 2
Trillium Health Centre - Stacks (2) 2
Trinity College (John W Graham) - Reference (2) 2
UofT at Scarborough - Withdrawn (2) 2
Victoria University E.J. Pratt - Internal dept (2) 2
Architecture Landscape (Shore + Moffat) - Circulation Desk (1) 1
Dentistry (Harry R Abbott) - Withdrawn (1) 1
Earth Sciences (Noranda) - Reference (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Engineering & Comp. Sci. - Special Collections (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Faculty of Information - Cook Bibliographic Control (1) 1
Gerstein Science - Closed Orders (1) 1
Mathematical Sciences - Reference (1) 1
Media Commons - Microtexts (1) 1
Media Commons - Storage (1) 1
Mt Sinai Hospital - Pathology (1) 1
Music - Protected Material (1) 1
OISE - Bindery (1) 1
OISE - Cancelled Order (1) 1
OISE - Material is damaged (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (31071) 31071
Chinese (864) 864
Spanish (273) 273
Japanese (179) 179
German (95) 95
French (63) 63
Portuguese (39) 39
Czech (31) 31
Arabic (12) 12
Russian (11) 11
Turkish (10) 10
Polish (6) 6
Italian (5) 5
Romanian (5) 5
Danish (4) 4
Korean (3) 3
Dutch (2) 2
Swedish (2) 2
Estonian (1) 1
Hungarian (1) 1
Latin (1) 1
Lithuanian (1) 1
Mongolian (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


eBook
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
Artificial Intelligence, ISSN 0004-3702, 11/2018, Volume 264, p. 1
We tackle the problem of expressing incomplete knowledge in abstract argumentation frameworks originally introduced by Dung [26]. In applications, incomplete... 
Uncertainty | Semantics | Dung | Program verification (computers) | Artificial intelligence | Complexity
Journal Article
1997, Current issues in electronic modeling, ISBN 0792396898, Volume 8., xix, 165
Book
ACM Transactions on Software Engineering and Methodology (TOSEM), ISSN 1049-331X, 09/2011, Volume 20, Issue 4, pp. 1 - 64
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It... 
runtime verification | Assertion checkers | monitors | Monitors | Runtime verification | SAFETY PROPERTIES | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MODEL-CHECKING | AUTOMATA | PROGRAMS | TEMPORAL LOGIC | Verification | REAL-TIME SYSTEMS | Methodology | Semantics | Classification | Running | Program verification (computers) | Temporal logic | Software engineering
Journal Article
1985, ISBN 0442263228, xii, 291
Book
Physics of Plasmas, ISSN 1070-664X, 11/2016, Volume 23, Issue 11
We present the first calculations performed with the Stepped-Pressure Equilibrium Code (SPEC) in stellarator geometry. Provided a boundary magnetic surface,... 
Boundary representation | Computation | Program verification (computers)
Journal Article
1982, Prentice-Hall series in software engineering., ISBN 0138220727, xvi, 327
Book
1997, Artech House computer science library, ISBN 9780890068892, xix, 271
Book
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2003, Volume 2725.
Conference Proceeding
Xiaoxing Weixing Jisuanji Xitong = Journal of Chinese Computer Systems, ISSN 1000-1220, 01/2017, Issue 5
This paper proposes a method for verifying C programs involving operations of stack pointers name and static of area pointers.To represent pointer,the for... 
Program verification (computers) | Textbooks
Journal Article
by Da Liu and Wei Ni and Chunlin Xu
Weidianzixue = Microelectronics, ISSN 1004-3365, 01/2019, Issue 5, p. 680
A verification IP targeting to verify AXI protocol was developed based on UVM technology, and then was used to verify a Block RAM IP featuring AXI4 Interface.... 
Protocol verification | Program verification (computers)
Journal Article
IEEE Transactions on Image Processing, ISSN 1057-7149, 03/2019, Volume 28, Issue 3, pp. 1149 - 1162
Journal Article
No results were found for your search.

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