X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (14732) 14732
Book Chapter (12870) 12870
Book / eBook (3588) 3588
Conference Proceeding (578) 578
Magazine Article (515) 515
Book Review (81) 81
Newspaper Article (34) 34
Publication (6) 6
Dissertation (1) 1
Newsletter (1) 1
Paper (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
software engineering/programming and operating systems (32198) 32198
computer science (26020) 26020
theory of computation (8818) 8818
software engineering (7798) 7798
computer systems organization and communication networks (7116) 7116
artificial intelligence (6752) 6752
numeric computing (5217) 5217
information systems and communication service (5138) 5138
computer hardware (4966) 4966
programming languages, compilers, interpreters (4899) 4899
engineering (4467) 4467
simulation and modeling (4445) 4445
computer imaging, vision, pattern recognition and graphics (4428) 4428
computer science, general (3960) 3960
programming techniques (3682) 3682
data structures, cryptology and information theory (3545) 3545
computer science, theory & methods (3520) 3520
computer communication networks (3369) 3369
processor architectures (3228) 3228
algorithm analysis and problem complexity (2863) 2863
computer science, software engineering (2771) 2771
mathematics (2712) 2712
studies (2595) 2595
algorithms (2509) 2509
electrical engineering (2485) 2485
computer software engineering (2476) 2476
systems theory, control (2285) 2285
operating systems (2144) 2144
information systems applications (2112) 2112
mathematics of computing (2094) 2094
analysis (2077) 2077
computers (1942) 1942
software (1893) 1893
computer programming (1507) 1507
informatique (1463) 1463
computational mathematics and numerical analysis (1462) 1462
logics and meanings of programs (1450) 1450
computer programs (1438) 1438
multi-user (1425) 1425
computing methodologies (1301) 1301
congresses (1293) 1293
management of computing and information systems (1231) 1231
programming languages (1225) 1225
computer software (1124) 1124
mathematical models (1112) 1112
programming (1110) 1110
database management (1102) 1102
informatics (1048) 1048
business information systems (973) 973
user interfaces and human computer interaction (921) 921
mathematical analysis (883) 883
data structures (871) 871
electronic data processing (844) 844
computer science, cybernetics (806) 806
discrete mathematics in computer science (789) 789
kongress (783) 783
optimization (751) 751
computer science, artificial intelligence (749) 749
electronic and computer engineering (740) 740
cybernetics (729) 729
computer networks (722) 722
development (722) 722
circuits and systems (716) 716
information systems (715) 715
systems analysis (684) 684
computation by abstract devices (672) 672
computer-aided engineering and design (661) 661
application software (655) 655
methods (646) 646
general (643) 643
special purpose and application-based systems (640) 640
electronics and microelectronics, instrumentation (636) 636
logic design (630) 630
parallel processing (624) 624
communications engineering, networks (577) 577
computational intelligence (558) 558
design (547) 547
it in business (544) 544
computer system implementation (541) 541
data processing (528) 528
data mining and knowledge discovery (520) 520
automation & control systems (519) 519
information storage and retrieval (515) 515
electronic digital computers (513) 513
information theory (509) 509
models and principles (493) 493
computer simulation (488) 488
usage (481) 481
computer communication systems (456) 456
computer logic (447) 447
java (447) 447
systems and data security (442) 442
system performance and evaluation (432) 432
information technology (422) 422
mathematical logic and formal languages (422) 422
complexity (418) 418
computer appl. in administrative data processing (417) 417
software development (408) 408
design of logic systems (407) 407
design, logic (407) 407
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (203) 203
Gerstein Science - Stacks (145) 145
UTL at Downsview - May be requested (69) 69
Collection Dvlpm't (Acquisitions) - Vendor file (50) 50
Collection Dvlpm't (Acquisitions) - Closed Orders (37) 37
UofT at Mississauga - Stacks (37) 37
Mathematical Sciences - Stacks (25) 25
UofT at Scarborough - Stacks (25) 25
Robarts - Stacks (14) 14
Engineering & Comp. Sci. - May be requested in 6-10 wks (7) 7
Online Resources - Online (7) 7
Physics - Stacks (7) 7
Gerstein Science - Circulation Desk (4) 4
Aerospace - Stacks (3) 3
Faculty of Information - Stacks (3) 3
Trinity College (John W Graham) - Stacks (3) 3
Map & Data - Map Collection (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Physics - Storage (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
UofT at Mississauga - Not returned (1) 1
UofT at Scarborough - Bindery (1) 1
UofT at Scarborough - Circulation Desk (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (29671) 29671
German (3059) 3059
Spanish (103) 103
Japanese (87) 87
Chinese (33) 33
French (8) 8
Czech (7) 7
Norwegian (3) 3
Russian (3) 3
Arabic (1) 1
Polish (1) 1
Portuguese (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


International journal on software tools for technology transfer, ISSN 1433-2787, 2007, Volume 9, Issue 3-4, pp. 213 - 254
Journal Article
International journal on software tools for technology transfer, ISSN 1433-2787, 2008, Volume 10, Issue 2, pp. 185 - 203
.... 1 Introduction The B method, originally devised by J.-R. Abrial [2], is a theory and methodology for formal development of computer systems. It is used... 
Software Engineering/Programming and Operating Systems | Theory of Computation | Software Engineering | Computer Science | Computer science | Automation | Software
Journal Article
Empirical software engineering : an international journal, ISSN 1573-7616, 2008, Volume 14, Issue 2, pp. 131 - 164
.... The terminology and guidelines are compiled from different methodology handbooks in other research domains, in particular social science and information systems, and adapted to the needs in software engineering. We present recommended practices for software engineering case studies as well as empirically derived and evaluated checklists for researchers and readers of case study research. 
Case study | Checklists | Programming Languages, Compilers, Interpreters | Research methodology | Computer Science | Software Engineering/Programming and Operating Systems | Guidelines | COMPUTER SCIENCE, SOFTWARE ENGINEERING | METHODOLOGY | EMPIRICAL-RESEARCH | Computer science | Case studies | Software | Software engineering | Research & development--R&D | Conduction | Terminology | Methodology | Empirical analysis | Readers | Information systems | Datavetenskap (datalogi) | Naturvetenskap | Natural Sciences | Data- och informationsvetenskap (Datateknik) | Computer and Information Science
Journal Article
2008, ISBN 184800043X, xi, 388
To-date there has been no advanced material geared towards new researchers and graduates - this book fills this gapOffers an extensive toolkit of techniques,... 
Software engineering | Software measurement | Software Engineering/Programming and Operating Systems | System Performance and Evaluation | Management of Computing and Information Systems | Software Engineering | Computer Science | User Interfaces and Human Computer Interaction | Computer programs
Book
International journal on software tools for technology transfer, ISSN 1433-2787, 2015, Volume 19, Issue 1, pp. 9 - 30
Journal Article
Empirical software engineering : an international journal, ISSN 1382-3256, 2017, Volume 22, Issue 5, pp. 2298 - 2338
Requirements Engineering (RE) has received much attention in research and practice due to its importance to software project success. Its interdisciplinary... 
Requirements engineering | Survey research | SCS-services | Software Engineering/Programming and Operating Systems | Programming Languages, Compilers, Interpreters | Computer Science | Computer Science - Software Engineering
Journal Article
Computer science (Berlin, Germany), ISSN 1865-2042, 2017, Volume 33, Issue 1-2, pp. 207 - 214
The increasing amount of renewable energy sources in the energy system calls for new market approaches to price and distribute the volatile and decentralized generation... 
Computer Systems Organization and Communication Networks | Data Structures, Cryptology and Information Theory | Local energy markets | Computer Hardware | Computer Science | Blockchain | Software Engineering/Programming and Operating Systems | Decentralization | Market design | Theory of Computation | Computer Science, general
Journal Article
International journal on software tools for technology transfer, ISSN 1433-2787, 2015, Volume 17, Issue 4, pp. 397 - 415
This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic... 
Software Engineering | Timed automata | Probabilistic | Computer Science | Software Engineering/Programming and Operating Systems | Statistical model-checking | Hybrid | Theory of Computation | Dynamical | Stochastic | Uppaal | Model-checking | COMPUTER SCIENCE, SOFTWARE ENGINEERING | STATISTICAL-MODEL CHECKING | Computer science | Case studies | Algorithms | Analysis | Computers | Stochastic models | Surveys | Networks | Semantics | Technology transfer | Software | Stochasticity | Computer programs
Journal Article
Journal of cloud computing : advances, systems and applications, ISSN 2192-113X, 2013, Volume 2, Issue 1, pp. 22 - 24
Journal Article
Empirical software engineering : an international journal, ISSN 1382-3256, 2012, Volume 19, Issue 3, pp. 619 - 654
Journal Article
Journal Article
International journal on software tools for technology transfer, ISSN 1433-2787, 2011, Volume 14, Issue 3, pp. 249 - 289
Journal Article
Empirical software engineering : an international journal, ISSN 1573-7616, 2011, Volume 17, Issue 4-5, pp. 531 - 577
Journal Article