X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (48390) 48390
Book / eBook (17484) 17484
Dissertation (13855) 13855
Book Chapter (6884) 6884
Conference Proceeding (4801) 4801
Publication (4207) 4207
Newspaper Article (3451) 3451
Magazine Article (3144) 3144
Newsletter (2337) 2337
Report (503) 503
Government Document (410) 410
Book Review (358) 358
Trade Publication Article (332) 332
Web Resource (314) 314
Transcript (200) 200
Paper (183) 183
Journal / eJournal (72) 72
Reference (48) 48
Standard (28) 28
Patent (23) 23
Technical Report (13) 13
Data Set (3) 3
Streaming Video (3) 3
Archival Material (1) 1
Magazine (1) 1
Poster (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (31415) 31415
computer science, hardware & architecture (9777) 9777
computer science, theory & methods (9775) 9775
computers (9536) 9536
computer science, software engineering (8818) 8818
software (8216) 8216
algorithms (7855) 7855
computer science, information systems (7264) 7264
analysis (7193) 7193
engineering, electrical & electronic (7105) 7105
artificial intelligence (6747) 6747
computer science, interdisciplinary applications (5653) 5653
engineering (5465) 5465
software engineering (5293) 5293
data processing (4879) 4879
computer simulation (4774) 4774
studies (4713) 4713
electronic books (4694) 4694
computer programs (4444) 4444
electrical engineering (4342) 4342
design (4238) 4238
internet (4140) 4140
computer software industry (3958) 3958
methods (3896) 3896
information technology (3861) 3861
computer science, artificial intelligence (3773) 3773
mathematical models (3713) 3713
management (3576) 3576
computer communication networks (3566) 3566
usage (3521) 3521
research (3518) 3518
hardware (3385) 3385
computer networks (3230) 3230
telecommunications (3229) 3229
computer science, general (3198) 3198
computer programming (3066) 3066
computer software (3030) 3030
information systems (2861) 2861
computer engineering (2817) 2817
programming (2793) 2793
computer architecture (2779) 2779
patents (2770) 2770
programming languages (2731) 2731
software engineering/programming and operating systems (2730) 2730
models (2708) 2708
programming languages, compilers, interpreters (2705) 2705
architecture (2696) 2696
humans (2518) 2518
intellectual property (2494) 2494
operating systems (2463) 2463
processor architectures (2355) 2355
computer industry (2205) 2205
electronic data processing (2202) 2202
simulation (2177) 2177
index medicus (2174) 2174
congresses (2147) 2147
informatique (2119) 2119
information systems applications (2110) 2110
automation (2039) 2039
design and construction (1966) 1966
education (1943) 1943
computation (1888) 1888
networks (1855) 1855
mathematics (1843) 1843
performance (1835) 1835
systems (1810) 1810
optimization (1745) 1745
general (1736) 1736
computer graphics (1721) 1721
design engineering (1720) 1720
electronic digital computers (1714) 1714
cloud computing (1688) 1688
technology (1675) 1675
circuits and systems (1670) 1670
educational technology (1628) 1628
information storage and retrieval (1601) 1601
computer systems (1576) 1576
standards (1528) 1528
database management (1518) 1518
computer hardware (1511) 1511
computer science, software, graphics, programming (1504) 1504
embedded systems (1500) 1500
user interfaces and human computer interaction (1499) 1499
theory of computation (1488) 1488
neural networks (1478) 1478
microprocessors (1470) 1470
computer science and information technology (1469) 1469
model (1464) 1464
robotics (1439) 1439
computer-aided engineering and design (1427) 1427
parallel processing (1407) 1407
multi-user (1403) 1403
computer security (1391) 1391
case studies (1361) 1361
system (1349) 1349
computer (1310) 1310
data structures, cryptology and information theory (1291) 1291
security (1286) 1286
semantics (1283) 1283
integrated circuits (1275) 1275
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (3589) 3589
Gerstein Science - Stacks (3568) 3568
UTL at Downsview - May be requested (2856) 2856
Robarts - Stacks (1263) 1263
Collection Dvlpm't (Acquisitions) - Closed Orders (962) 962
UofT at Mississauga - Stacks (942) 942
UofT at Scarborough - Stacks (723) 723
Online Resources - Online (680) 680
Collection Dvlpm't (Acquisitions) - Vendor file (561) 561
OISE - Stacks (519) 519
Faculty of Information - Stacks (292) 292
Faculty of Information - May be requested in 6-10 wks (156) 156
Engineering & Comp. Sci. - May be requested in 6-10 wks (154) 154
Law (Bora Laskin) - Stacks (112) 112
Mathematical Sciences - Stacks (111) 111
St. Michael's College (John M. Kelly) - 2nd Floor (107) 107
Trinity College (John W Graham) - Stacks (95) 95
UofT at Mississauga - May be requested in 6-10 wks (86) 86
Astronomy & Astrophysics - Ask at library (81) 81
Engineering & Comp. Sci. - Missing (79) 79
Media Commons - Microtexts (79) 79
Music - Stacks (70) 70
Aerospace - Stacks (66) 66
Physics - Stacks (63) 63
Victoria University E.J. Pratt - Stacks (62) 62
Gerstein Science - Circulation Desk (58) 58
Royal Ontario Museum - Stacks (50) 50
Architecture Landscape (Shore + Moffat) - Stacks (47) 47
OISE - Curriculum Resources (47) 47
Map & Data - Map Collection (31) 31
Earth Sciences (Noranda) - Stacks (30) 30
Indust. Rel's & Hum. Resources (Newman) - Library use only (27) 27
UofT at Scarborough - Withdrawn (24) 24
Engineering & Comp. Sci. - Periodical Stacks (22) 22
Engineering & Comp. Sci. - Reference (21) 21
Innis College - Stacks (21) 21
Trinity College (John W Graham) - Storage (21) 21
Holland Bloorview Kids Rehabilitation - Stacks (20) 20
Victoria University E.J. Pratt - Reference (18) 18
Criminology - Stacks (16) 16
UofT Schools - Stacks (16) 16
Map & Data - Data & GIS (15) 15
New College (Ivey) - Stacks (15) 15
Robarts - Reference (15) 15
Trinity College (John W Graham) - Reference (15) 15
UofT at Scarborough - May be requested in 6-10 wks (15) 15
UofT at Mississauga - Reference (14) 14
Gerstein Science - Missing (12) 12
Gerstein Science - Reference (12) 12
Gerstein Science - Theses (12) 12
Music - Protected Material (12) 12
OISE - May be requested in 6-10 wks (11) 11
OISE - Theses (11) 11
Scarborough Hospital - General (11) 11
OISE - Reference (10) 10
Providence Healthcare - Stacks (10) 10
UofT at Mississauga - Missing (10) 10
Chemistry (A D Allen) - Stacks (9) 9
Collection Dvlpm't (Acquisitions) - Cancelled Order (9) 9
Knox College (Caven) - Stacks (9) 9
St. Michael's College (John M. Kelly) - 3rd Floor (9) 9
University College (Laidlaw) - Stacks (9) 9
OISE - Missing (8) 8
Robarts - Storage (8) 8
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (8) 8
Faculty of Information - Cook Bibliographic Control (7) 7
OISE - Lost (7) 7
Robarts - Course Reserves (7) 7
Robarts - Map Collection (7) 7
Scarborough Hospital - Birchmount (7) 7
United Church of Canada Archives - Reference (7) 7
Business (Joseph L Rotman) - Stacks (6) 6
Mathematical Sciences - Missing (6) 6
Physics - Circulation Desk (6) 6
Physics - Storage (6) 6
Providence Healthcare - Reference (6) 6
Architecture Landscape (Shore + Moffat) - Circulation Desk (5) 5
Engineering & Comp. Sci. - Special Collections (5) 5
Gerstein Science - Not Returned (5) 5
Massey College (Robertson Davies) - Rare Book (5) 5
Music - Reference (5) 5
Thomas Fisher Rare Book - Rare Book (5) 5
Credit Valley Hospital - Stacks (4) 4
Engineering & Comp. Sci. - Not Returned (4) 4
Engineering & Comp. Sci. - Searching (4) 4
Humber River Regional Hospital - Church Stacks (4) 4
OISE - Ontario Historical Ed (4) 4
Richard Charles Lee Canada-Hong Kong - Library use only (4) 4
Robarts - Government Pubs (4) 4
University Archives - Archives (4) 4
UofT at Mississauga - Periodical Stacks (4) 4
Victoria University E.J. Pratt - Internal dept (4) 4
Art - Library use only (3) 3
Faculty of Information - Reference (3) 3
Humber River Regional Hospital - Finch Stacks (3) 3
Law (Bora Laskin) - Reserve desk (3) 3
Map & Data - Data Reference (3) 3
Media Commons - Storage (3) 3
OISE - Storage (3) 3
Physics - New Books (3) 3
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (99247) 99247
Japanese (1151) 1151
Spanish (1034) 1034
German (453) 453
Portuguese (398) 398
French (246) 246
Chinese (241) 241
Czech (110) 110
Arabic (56) 56
Turkish (31) 31
Russian (26) 26
Dutch (23) 23
Italian (20) 20
Korean (17) 17
Latin (14) 14
Danish (8) 8
Swedish (8) 8
Polish (7) 7
Finnish (5) 5
Croatian (4) 4
Indonesian (2) 2
Lithuanian (2) 2
Nepali (2) 2
Norwegian (2) 2
Romanian (2) 2
Slovenian (2) 2
Catalan (1) 1
Hungarian (1) 1
Ndonga (1) 1
Sinhala (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1987, Advances in CAD for VLSI, ISBN 9780444878977, Volume 7, x, 495
Book
2000, IEEE Press series on microelectronic systems, ISBN 9780780347441, xxiii, 241
Book
2002, 5th ed., ISBN 1402070896, 404
Verilog — A Tutorial Introduction.- Logic Synthesis.- Behavioral Modeling.- Concurrent Processes.- Module Hierarchy.- Logic Level Modeling.- Cycle-Accurate... 
Verilog (Computer hardware description language)
eBook
1995, Kluwer international series in engineering and computer science, ISBN 0792395166, Volume SECS 291., xx, 273
Book
2002, The Kluwer international series in engineering and computer science., ISBN 9780792375685, Volume SECS 652, 135
Book
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, ISSN 1364-503X, 11/2012, Volume 370, Issue 1979, pp. 5270 - 5290
Journal Article
Design Automation for Embedded Systems, ISSN 0929-5585, 12/2019, Volume 23, Issue 3, pp. 123 - 151
In order to define executable hardware description language while at the same time be fit for formal proofs of properties, a hardware description language... 
Engineering | Hardware description languages | VeriFormal | Isabelle/HOL | Special Purpose and Application-Based Systems | Computer-Aided Engineering (CAD, CAE) and Design | Circuits and Systems | Domain-specific languages | Formal verification
Journal Article
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), ISSN 0195-623X, 05/2018, Volume 2018-, pp. 97 - 102
Hardware Description Languages (HDL) facilitate the design of complex circuits and allow for scalable synthesis. While rather established for conventional... 
Synthesis | Wires | Integrated circuit interconnections | Computer architecture | Reversible Circuits | Logic gates | Circuit synthesis | Hardware design languages | Integrated circuit modeling | Hardware Description Languages
Conference Proceeding
2006, ISBN 0471720925, 669
The skills and guidance needed to master RTL hardware design This book teaches readers how to systematically design efficient, portable, and scalable Register... 
Digital electronics | Data processing | VHDL (Computer hardware description language) | Components, Circuits, Devices and Systems | Electronics | Logic | Technology | Circuits | Electrical Engineering
eBook
10/2008, 5th ed., ISBN 9780387849300
Annotation Thomas & Moorbyâ€TMs The Verilog Hardware Description Language has become the standard reference text for Verilog.This edition presents the new IEEE... 
Computers | Verilog (Computer Hardware Description Language)
Web Resource
1999, 2nd ed., ISBN 9780792384748, xviii, 453
Preface. 1.0. VHDL Overview and Concepts. 2.0. Basic Language Elements. 3.0. Control Structures. 4.0. Drivers. 5.0. VHDL Timing. 6.0. Elements of... 
VHDL (Computer hardware description language) | Computer hardware description languages | Computer hardware | Systems engineering | Computer-Aided Engineering (CAD, CAE) and Design | Computer engineering | Circuits and Systems | Computer aided design | Electrical Engineering
Book
No results were found for your search.

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