X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
physics (83) 83
calculating (69) 69
computing (69) 69
counting (69) 69
electric digital data processing (39) 39
image data processing or generation, in general (34) 34
congresses (26) 26
computer graphics (23) 23
data processing systems or methods, specially adapted foradministrative, commercial, financial, managerial, supervisoryor forecasting purposes (13) 13
systems or methods specially adapted for administrative,commercial, financial, managerial, supervisory or forecastingpurposes, not otherwise provided for (13) 13
control or regulating systems in general (11) 11
controlling (11) 11
functional elements of such systems (11) 11
monitoring or testing arrangements for such systems orelements (11) 11
regulating (11) 11
display (10) 10
advertising (9) 9
computer science (9) 9
cryptography (9) 9
education (9) 9
seals (9) 9
appliances for teaching, or communicating with, the blind,deaf or mute (8) 8
diagrams (8) 8
educational or demonstration appliances (8) 8
electric communication technique (8) 8
electricity (8) 8
globes (8) 8
human necessities (8) 8
infographie (8) 8
maps (8) 8
models (8) 8
performing operations (8) 8
planetaria (8) 8
transporting (8) 8
general tagging of cross-sectional technologies spanning over several sections of the ipc (7) 7
general tagging of new technological developments (7) 7
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (7) 7
chambers provided with manipulation devices (6) 6
climate change mitigation technologies in the production orprocessing of goods (6) 6
computergrafik (6) 6
hand tools (6) 6
kongress (6) 6
manipulators (6) 6
pictorial communication, e.g. television (6) 6
portable power-driven tools (6) 6
technologies or applications for mitigation or adaptation againstclimate change (6) 6
cao (5) 5
computergraphik (5) 5
electronic time-pieces (5) 5
horology (5) 5
technical subjects covered by former uspc (5) 5
technical subjects covered by former uspc cross-reference artcollections [xracs] and digests (5) 5
agriculture (4) 4
amusements (4) 4
animal husbandry (4) 4
apparatus for physical training, gymnastics, swimming,climbing, or fencing (4) 4
apparatus specially adapted for the manufacture of carbonfilaments (4) 4
artificial stone (4) 4
ball games (4) 4
care of birds, fishes, insects (4) 4
cements (4) 4
ceramics (4) 4
chemical composition of glasses, glazes, or vitreousenamels (4) 4
chemical features in the manufacture of artificial filaments,threads, fibres, bristles or ribbons (4) 4
chemistry (4) 4
compositions thereof, e.g. mortars, concrete or like buildingmaterials (4) 4
computer graphics congresses (4) 4
concrete (4) 4
cyberspace (4) 4
fishing (4) 4
forestry (4) 4
games (4) 4
glass (4) 4
hunting (4) 4
joining glass to glass or other materials (4) 4
lime, magnesia (4) 4
manufacture, shaping, or supplementary processes (4) 4
metallurgy (4) 4
mineral or slag wool (4) 4
multimedia systems (4) 4
natural or artificial threads or fibres (4) 4
new breeds of animals (4) 4
paper (4) 4
rearing or breeding animals, not otherwise provided for (4) 4
refractories (4) 4
slag (4) 4
spinning (4) 4
sports (4) 4
surface treatment of fibres or filaments made from glass,minerals or slags (4) 4
surface treatment of glass (4) 4
textiles (4) 4
training equipment (4) 4
trapping (4) 4
treatment of natural stone (4) 4
visualisation (4) 4
addresses, essays, lectures (3) 3
automatic drafting (3) 3
computer aided design (3) 3
computer animation (3) 3
computer-aided engineering and design (3) 3
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1982, ISBN 0387118225, Volume 6., viii, 303
Book
2014 International Conference on Cyberworlds, 10/2014, pp. 107 - 113
Category theory, which has been applied to various fields of computer science and information technology, now provides a mathematical foundation for the... 
Computer science | Databases | adjunction | Government | Meiji restoration | Europe | functorial database | category theory | Mathematics | Proposals | classification | Constitution
Conference Proceeding
2014 International Conference on Cyberworlds, 10/2014, pp. 198 - 205
Homotopy type theory, which generalizes equivalence relations at the most abstract level, is a leading edge science in mathematics and computer science. We... 
Databases | homotopy type theory | Abstracts | Production | clay flower creation | Set theory | category theory | Skeleton | incrementally modular abstraction hierarchy | Mathematical model
Conference Proceeding
No results were found for your search.

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