X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (3443) 3443
Conference Proceeding (1084) 1084
Publication (814) 814
Dissertation (471) 471
Book Chapter (122) 122
Book / eBook (101) 101
Magazine Article (37) 37
Book Review (6) 6
Data Set (4) 4
Paper (2) 2
Technical Report (2) 2
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
datavetenskap (4784) 4784
data- och informationsvetenskap (3689) 3689
naturvetenskap (3649) 3649
natural sciences (3648) 3648
computer sciences (3631) 3631
computer and information sciences (3143) 3143
computer science (2689) 2689
information technology (943) 943
technology (937) 937
teknikvetenskap (899) 899
informationsteknik (889) 889
computer and information science (554) 554
algorithms (503) 503
mathematics (481) 481
computer science, software engineering (466) 466
computer science, theory & methods (466) 466
matematik (391) 391
analysis (335) 335
computational mathematics (318) 318
computer science, artificial intelligence (312) 312
beräkningsmatematik (310) 310
computer science, information systems (301) 301
datalogi (295) 295
software engineering (292) 292
engineering and technology (268) 268
mathematics, applied (262) 262
engineering, electrical & electronic (259) 259
teknik och teknologier (247) 247
artificial intelligence (215) 215
computer science, interdisciplinary applications (209) 209
software (206) 206
telecommunications (197) 197
studies (196) 196
mathematical models (183) 183
electrical engineering, electronic engineering, information engineering (181) 181
elektroteknik och elektronik (181) 181
computer science, hardware & architecture (160) 160
mathematical analysis (154) 154
optimization (150) 150
computer simulation (140) 140
programvaruteknik (138) 138
research (134) 134
social sciences (134) 134
robotics (129) 129
samhällsvetenskap (126) 126
index medicus (118) 118
networks (114) 114
usage (114) 114
humans (112) 112
design (105) 105
models (105) 105
machine learning (102) 102
internet (101) 101
robots (100) 100
computation (99) 99
computer communication networks (97) 97
dependable communication and computation systems (97) 97
kommunikations- och beräkningssystem (97) 97
methods (96) 96
information systems (95) 95
systems (94) 94
automation & control systems (93) 93
simulation (92) 92
management (91) 91
visualization (91) 91
computer graphics (89) 89
computer programs (88) 88
data mining (88) 88
applied mathematics (85) 85
computer vision and robotics (85) 85
datorseende och robotik (85) 85
semantics (83) 83
software engineering/programming and operating systems (82) 82
telekommunikation (82) 82
theoretical computer science (81) 81
computer systems (80) 80
logic (79) 79
security (78) 78
engineering (77) 77
performance (76) 76
human computer interaction (75) 75
language technology (75) 75
språkteknologi (74) 74
classification (73) 73
människa-datorinteraktion (72) 72
automation (70) 70
datorsystem (70) 70
embedded systems (70) 70
data- och systemvetenskap (69) 69
complexity (68) 68
testing (68) 68
programming languages, compilers, interpreters (67) 67
algorithm (66) 66
computer and systems science (66) 66
learning (65) 65
computational mathematics and numerical analysis (64) 64
programming (64) 64
scheduling (64) 64
theory of computation (64) 64
algorithm analysis and problem complexity (62) 62
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (25) 25
Gerstein Science - Stacks (12) 12
UofT at Mississauga - Stacks (10) 10
UofT at Scarborough - Stacks (9) 9
Collection Dvlpm't (Acquisitions) - Vendor file (8) 8
UTL at Downsview - May be requested (5) 5
St. Michael's College (John M. Kelly) - 2nd Floor (4) 4
Collection Dvlpm't (Acquisitions) - Closed Orders (3) 3
Faculty of Information - Stacks (3) 3
Mathematical Sciences - Stacks (3) 3
Trinity College (John W Graham) - Stacks (3) 3
Engineering & Comp. Sci. - Missing (2) 2
Robarts - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Faculty of Information - Reference (1) 1
OISE - Curriculum Resources (1) 1
Online Resources - Online (1) 1
Physics - Stacks (1) 1
St Josephs Health Centre - Stacks (1) 1
Trinity College (John W Graham) - Storage (1) 1
University College (Laidlaw) - Stacks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (4778) 4778
Swedish (43) 43
Japanese (6) 6
Spanish (5) 5
Portuguese (3) 3
Czech (1) 1
German (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2006, CHANDOS INFORMATION PROFESSIONAL SERIES., ISBN 9781843341789
Book
2009, Computational analysis, syntheiss, and design of dynamic models series, ISBN 1420070231, xiv, 567
Book
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8703, pp. 13 - 25
Journal Article
2010, 2nd ed., For dummies., ISBN 9781118257654, xviii, 388
Take your Excel skills to the next level with VBA programming Now that you've mastered Excel basics, it's time to move to the next level—creating your own,... 
Electronic spreadsheets | Business | Computer programs | Computer software - Development
Book
2013, 3rd ed., ISBN 9781133187790, xxii, 458
Book
Lecture Notes in Computer Science, ISSN 0302-9743, 2005, Volume 3569, pp. 61 - 75
Preprocessing SAT instances can reduce their size considerably. We combine variable elimination with subsumption and self-subsuming resolution, and show that... 
COMPUTER SCIENCE, THEORY & METHODS | Datavetenskap (datalogi) | Computer Science
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10201, pp. 584 - 610
Characteristic Formulae (CF) offer a productive, principled approach to generating verification conditions for higher-order imperative programs, but so far the... 
Datavetenskap (datalogi) | Computer Science
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11244, pp. 471 - 485
© Springer Nature Switzerland AG 2018. Finding suitable ways to handle personal data in conformance with the law is challenging. The European General Data... 
Datavetenskap (datalogi) | Computer Science
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11247, pp. 275 - 279
© Springer Nature Switzerland AG 2018. The popularization of blockchain technologies have brought a sudden interest in software that executes on top of... 
Datavetenskap (datalogi) | Computer Science
Conference Proceeding
2006, ISBN 0849339332, ix, 219
Book
Journal of Functional Programming, ISSN 0956-7968, 2015
We present a divide-and-conquer algorithm for parsing context-free languages efficiently. Our algorithm is an instance of Valiant's (1975), who reduced the... 
Computer Science | Datavetenskap (datalogi)
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2008, Volume 5283, pp. 333 - 348
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion... 
Datavetenskap (datalogi) | Computer Science
Conference Proceeding
01/2014, ISBN 9781482217704
Book
Pattern Recognition Letters, ISSN 0167-8655, 2012, Volume 33, Issue 6, p. 728
We present a method for coverage segmentation, where the, possibly partial, coverage of each image element by each of the image components is estimated. The... 
Computer Science | Datavetenskap (datalogi)
Journal Article
2005, Cambridge tracts in theoretical computer science, ISBN 9780521834490, Volume 56, xiv, 202
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more... 
Logic, Symbolic and mathematical | Automatic theorem proving
Book
Computer-Aided Design, ISSN 0010-4485, 02/2015, Volume 59, pp. 1 - 14
Journal Article
No results were found for your search.

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