Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Calculators --- Mathematics --- Mathematics --- Computer-assisted instruction --- Study and teaching --- Technological innovations
Choose an application
Lucid programs concisely and elegantly express multidimensional computations rich in parallelism that can be robustly exploited using a novel demand-driven model of computation. This book describes the mathematical underpinnings of Lucid, which enable programs to be amenable to verification and transformation.
Lucid (Computer program language) --- Programming languages (Electronic computers) --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
In parallel computation, the complexity of problems that appear can be difficult to parallelize. If a computer scientist or researcher has a problem that seems to be difficult to parallelize, the first place to look will be the list of problems in this book. It contains many definitions and results in the area, something that is currently scattered throughout the computer science literature.
Parallel processing (Electronic computers) --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Parallélisme (Informatique)
Choose an application
Computer architecture. Operating systems --- Computer security --- Computers --- Electronic data processing departments --- Sécurité informatique --- Informatique, Centres d' --- Access control --- Security measures --- Sûreté --- Mesures --- -Electronic data processing departments --- -#TELE:COSIC --- Computer centers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer privacy --- Computer system security --- Electronic digital computers --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Computer security. --- Access control. --- Security measures. --- Sécurité informatique --- Sûreté --- Cyber security --- Cybersecurity --- Protection of computer systems --- Protection --- #TELE:COSIC --- Computer department security measures --- Computers - Access control --- Electronic data processing departments - Security measures
Choose an application
European law --- Computers --- Computer software --- Data transmission systems --- Telecommunication --- Data protection --- Information technology --- Law and legislation --- -Computers --- -Data protection --- -Information technology --- -Telecommunication --- -Data transmission systems --- -34:681.3 EC --- Data communication systems --- Transmission of data --- Digital communications --- Electronic data processing --- Electronic systems --- Information theory --- Telecommunication systems --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Telecommunications --- Communication --- Telecommuting --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Software, Computer --- -Law and legislation --- -Informaticarecht--EC --- 34:681.3 EC Informaticarecht--EC --- Informaticarecht--EC --- 34:681.3 EC --- Société de l'information --- Télécommunications --- Protection de l'information (informatique) --- Pays de l'Union européenne --- Société de l'information --- Télécommunications --- Pays de l'Union européenne
Choose an application
This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD '95, held in Singapore in December 1995. Besides two keynote papers by Stefano Ceri and Michael Kifer, the book contains revised full versions of 28 papers selected from a total of 88 submissions. The volume gives a highly competent state-of-the-art report on DOOD research and advanced applications. The papers are organized in sections on active databases, query processing, semantic query optimization, transaction management, authorization, implementation, and applications.
Deductive databases --- Object-oriented databases --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Deductive data bases --- Object-oriented data bases --- Deductive databases - Congresses. --- Object-oriented databases - Congresses. --- Database management. --- Information theory. --- Computer science. --- Artificial intelligence. --- Information technology. --- Database Management. --- Theory of Computation. --- Programming Techniques. --- Artificial Intelligence. --- IT in Business. --- Communication theory --- Communication --- Cybernetics --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers. --- Computer programming. --- Business—Data processing. --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Programming
Choose an application
datacommunicatie --- interface --- isdn --- lan --- netwerk --- osi --- tcp/ip --- wan --- netwerken --- (zie ook: telecommunicatie) --- Computer communication networks: data communications; OSI; security and protection --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3 *C2 --- #ECO:04.09:sectoren IT-technologie ICT internet --- 621.39 --- 681.324 --- Computernetwerken (Netwerken informatica) --- Datacommunicatie --- ISDN --- Local Area Networks (LAN's) --- OSI-model --- TCP/IP --- #KVHA:Communicatietechnologie --- #KVHA:Informatica --- #KVHA:Datacommunicatie --- Computer architecture. Operating systems --- Information systems --- hardware --- LAN (local area network) --- ISDN (integrated services digital network) --- netwerken (informatica) --- Computernetwerken. --- Datacommunicatie. --- MAN --- Datacommunication --- COMPUTERS --- OSI --- LANS --- COMPUTER NETWORKS --- WAN --- Monograph --- Human beings. --- Computers. --- Computer networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Homo sapiens --- Human race --- Humanity (Human beings) --- Humankind --- Humans --- Man --- Mankind --- People --- Hominids --- Persons --- Distributed processing
Listing 1 - 7 of 7 |
Sort by
|