X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (78481) 78481
Book Chapter (1518) 1518
Book / eBook (1292) 1292
Newspaper Article (576) 576
Conference Proceeding (452) 452
Dissertation (176) 176
Book Review (132) 132
Reference (115) 115
Streaming Video (112) 112
Magazine Article (82) 82
Paper (22) 22
Web Resource (19) 19
Publication (15) 15
Government Document (11) 11
Journal / eJournal (7) 7
Report (5) 5
Trade Publication Article (3) 3
Newsletter (1) 1
Video Recording (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
models, theoretical (25660) 25660
analysis (15577) 15577
theoretical, mathematical and computational physics (15251) 15251
physics (13920) 13920
humans (13496) 13496
theoretical and applied mechanics (10373) 10373
engineering (9578) 9578
mathematics (9052) 9052
mechanics (8549) 8549
algorithms (8210) 8210
mathematical models (7774) 7774
computer simulation (7771) 7771
physics, multidisciplinary (7218) 7218
multidisciplinary sciences (5708) 5708
research (5587) 5587
chemistry (5299) 5299
mathematical analysis (5250) 5250
physics, general (5150) 5150
research article (4831) 4831
chemistry, physical (4760) 4760
mathematics, applied (4738) 4738
animals (4726) 4726
science (4665) 4665
physical chemistry (4585) 4585
quantum physics (4578) 4578
medicine (4547) 4547
chemistry, multidisciplinary (4462) 4462
environmental sciences (4329) 4329
studies (4235) 4235
female (4064) 4064
physics, mathematical (3902) 3902
theoretical and computational chemistry (3874) 3874
male (3774) 3774
computer science (3712) 3712
theoretical computer science (3578) 3578
engineering, mechanical (3331) 3331
methods (3240) 3240
dynamics (3221) 3221
materials science, multidisciplinary (3063) 3063
applications of mathematics (2922) 2922
biology (2842) 2842
usage (2836) 2836
optimization (2704) 2704
thermodynamics (2700) 2700
ecology (2629) 2629
behavior (2514) 2514
simulation (2507) 2507
computer science, interdisciplinary applications (2465) 2465
adult (2431) 2431
mechanical engineering (2431) 2431
mathematical methods in physics (2362) 2362
biophysics (2235) 2235
organic chemistry (2207) 2207
computer science, theory & methods (2160) 2160
particle and nuclear physics (2048) 2048
temperature (2021) 2021
elementary particles, quantum field theory (1997) 1997
engineering thermodynamics, heat and mass transfer (1966) 1966
mathematical physics (1921) 1921
물리학 (1913) 1913
evolution (1897) 1897
stability (1884) 1884
kinetics (1848) 1848
engineering, chemical (1847) 1847
systems (1846) 1846
statistical physics, dynamical systems and complexity (1840) 1840
design (1832) 1832
computer applications in chemistry (1795) 1795
structural mechanics (1750) 1750
middle aged (1747) 1747
computational mathematics and numerical analysis (1744) 1744
biochemistry & molecular biology (1726) 1726
classical continuum physics (1695) 1695
numerical analysis (1695) 1695
time factors (1668) 1668
engineering fluid dynamics (1652) 1652
public, environmental & occupational health (1625) 1625
mathematical & computational biology (1624) 1624
physics, atomic, molecular & chemical (1624) 1624
classical mechanics (1618) 1618
physical sciences (1611) 1611
finite element method (1605) 1605
mathematics, general (1591) 1591
mathematics, interdisciplinary applications (1561) 1561
inorganic chemistry (1529) 1529
engineering, electrical & electronic (1528) 1528
materials science (1509) 1509
classical and quantum gravitation, relativity theory (1505) 1505
condensed matter physics (1478) 1478
engineering, environmental (1478) 1478
surfaces and interfaces, thin films (1472) 1472
quantum theory (1445) 1445
applied mathematics (1437) 1437
theoretical analysis (1429) 1429
optics (1421) 1421
management (1416) 1416
diffusion (1414) 1414
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (367) 367
Collection Dvlpm't (Acquisitions) - Vendor file (115) 115
UofT at Mississauga - Stacks (107) 107
Mathematical Sciences - Stacks (94) 94
Robarts - Stacks (74) 74
Physics - Stacks (67) 67
Engineering & Comp. Sci. - Stacks (66) 66
UofT at Scarborough - Stacks (66) 66
Online Resources - Online (41) 41
Collection Dvlpm't (Acquisitions) - Closed Orders (40) 40
UTL at Downsview - May be requested (34) 34
St. Michael's College (John M. Kelly) - 2nd Floor (23) 23
Chemistry (A D Allen) - Stacks (20) 20
Trinity College (John W Graham) - Stacks (17) 17
Astronomy & Astrophysics - Ask at library (7) 7
OISE - Stacks (7) 7
Mathematical Sciences - Missing (5) 5
Victoria University E.J. Pratt - Stacks (5) 5
Aerospace - Stacks (3) 3
Law (Bora Laskin) - Stacks (3) 3
Physics - New Books (3) 3
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (3) 3
West Park Healthcare Centre - Stacks (3) 3
Faculty of Information - Stacks (2) 2
Gerstein Science - Circulation Desk (2) 2
Institute for Christian Studies - Stacks (2) 2
Regis College - Stacks (2) 2
Scarborough Hospital - Online (2) 2
St. Augustine's Seminary - Stacks (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
Toronto East General Hospital - Stacks (2) 2
UofT Schools - Stacks (2) 2
Astronomy & Astrophysics - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Chemistry (A D Allen) - Theses (1) 1
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Criminology - Stacks (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Faculty of Information - May be requested in 6-10 wks (1) 1
Gerstein Science - Missing (1) 1
Gerstein Science - Not Returned (1) 1
Gerstein Science - Reference (1) 1
Map & Data - Map Collection (1) 1
Mathematical Sciences - May be requested in 6-10 wks (1) 1
Media Commons - Audio Visual (1) 1
Media Commons - Microtexts (1) 1
Music - Stacks (1) 1
OISE - Ontario Historical Ed (1) 1
OISE - Storage (1) 1
Physics - Course Reserves (1) 1
Physics - Searching (1) 1
Providence Healthcare - Stacks (1) 1
Scarborough Hospital - Birchmount (1) 1
St Josephs Health Centre - Stacks (1) 1
Thomas Fisher Rare Book - Rare Book (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Mississauga - Not returned (1) 1
UofT at Mississauga - Oversize (1) 1
UofT at Scarborough - Withdrawn (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 (82582) 82582
Chinese (286) 286
Japanese (272) 272
German (148) 148
Spanish (107) 107
French (85) 85
Polish (80) 80
Russian (57) 57
Portuguese (38) 38
Korean (26) 26
Italian (25) 25
Czech (20) 20
Arabic (17) 17
Bulgarian (16) 16
Turkish (13) 13
Croatian (10) 10
Estonian (9) 9
Lithuanian (9) 9
Serbian (7) 7
Swedish (7) 7
Romanian (6) 6
Norwegian (5) 5
Latvian (4) 4
Afrikaans (3) 3
Dutch (3) 3
Ukrainian (3) 3
Belarusian (2) 2
Bosnian (2) 2
Danish (2) 2
Nepali (2) 2
Persian (2) 2
Slovenian (2) 2
Catalan (1) 1
Hebrew (1) 1
Hungarian (1) 1
Latin (1) 1
Mongolian (1) 1
Slovak (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Foundations of physics letters, ISSN 1572-9524, 1988
Journal
Theoretical foundations of chemical engineering, ISSN 0040-5795, 1967
Journal
2011, ISBN 0199596182, x, 150
Mathematics depends on proofs, and proofs have to begin somewhere, from some fundamental assumptions. Chapter I traces the historical rise of pure mathematics... 
Axiomatic set theory | Philosophy | Philosophy of Mathematics and Logic | Metaphysics | Axioms | Mathematical truth | Epistemology | Ontology | Second philosophy | Set-theoretic methods | Objectivity | Set theory | Mathematics | Mathematical existence
Book
ACM Computing Surveys (CSUR), ISSN 0360-0300, 07/2016, Volume 49, Issue 1, pp. 1 - 36
...Foundations of Session Types and Behavioural Contracts HANS H ¨ UTTEL, Aalborg University IVAN LANESE, University of Bologna/INRIA VASCO T. VASCONCELOS... 
Behavioural types | CHOREOGRAPHY | PI-CALCULUS | UNION TYPES | LANGUAGE PRIMITIVES | INTERSECTION | SYSTEM EQUIVALENT | SERVICES | DISCIPLINE | COMPUTER SCIENCE, THEORY & METHODS | MODEL | COMMUNICATION | Information behavior | Analysis | Foundations | Computation | Behavioural | Software | Languages | Contracts | Computer programs | Programming Languages | Formal Languages and Automata Theory | Computer Science
Journal Article
PloS one, ISSN 1932-6203, 2013, Volume 8, Issue 5, p. e62111
Journal Article
2010, ISBN 9789814291514, xviii, 479
Book
2008, ISBN 9789812812254, xv, 477
Book
2019, Synthese Library, ISBN 9783030156541, Volume 407, 511
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations... 
Logic, Symbolic and mathematical | Philosophy of Mathematics | Mathematics of Computing | Theoretical, Mathematical and Computational Physics | Philosophy | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages
eBook
Nature communications, ISSN 2041-1723, 2019, Volume 10, Issue 1, pp. 3438 - 7
...ARTICLE Variational consistent histories as a hybrid algorithm for quantum foundations Andrew Arrasmith 1,2, Lukasz Cincio1, Andrew T. Sornborger3, Wojciech H... 
DECOHERENCE | MECHANICS | CLASSICALITY | MULTIDISCIPLINARY SCIENCES | Computers | Regeneration | Quantum computing | Algorithms | Computer simulation | Mathematical analysis | Quantum mechanics | Cosmology | Qubits (quantum computing) | Magnetic fields | Formalism | Quantum computers | Physics - Quantum Physics
Journal Article
Theoretical computer science, ISSN 0304-3975, 2012, Volume 425, pp. 75 - 103
In recent years, indicator-based evolutionary algorithms, allowing to implicitly incorporate user preferences into the search, have become widely used in... 
Optimal [formula omitted]-distributions | Hypervolume indicator | Evolutionary algorithms | Reference point | Multiobjective optimization | Optimal μ-distributions | ALGORITHM | INDICATOR | Optimal mu-distributions | COMPUTER SCIENCE, THEORY & METHODS | SELECTION | Algorithms | Neural and Evolutionary Computing | Computer Science
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 08/2006, Volume 360, Issue 1-3, pp. 386 - 414
Rewriting logic (RL) is a logic of actions whose models are concurrent systems. Rewrite theories involve the specification of equational theories of data and... 
Membership equational logic | Conditional rewriting logic | Contextual rewrites | Semantics | contextual rewrites | membership equational logic | PROOF | COMPUTER SCIENCE, THEORY & METHODS | semantics | SPECIFICATION | conditional rewriting logic | LOGIC | Business presentations | Analysis
Journal Article
2002, International series in operations research & management science, ISBN 0792376153, Volume 45, xiii, 556
Book
04/2015, ISBN 9781107010345, 602
Gauge/gravity duality creates new links between quantum theory and gravity. It has led to new concepts in mathematics and physics, and provides new tools to... 
Holography | Gauge fields (Physics) | Mathematical physics | Gravity
eBook
1997, Lecture notes in computer science, ISBN 354063746X, Volume 1337., xii, 514
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume... 
Computer science | Software Engineering/Programming and Operating Systems | Theory of Computation | Computers and Society | Artificial intelligence | Information theory | Software engineering
Book
Archive for Rational Mechanics and Analysis, ISSN 0003-9527, 1/2013, Volume 207, Issue 1, pp. 1 - 37
Journal Article