Listing 1 - 10 of 13 | << page >> |
Sort by
|
Choose an application
Electronic data processing --- 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 --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- History --- Automation
Choose an application
Computers --- Privacy, Right of --- Freedom of information --- Law - U.S. --- Law, Politics & Government --- Law - U.S. - General --- Information, Freedom of --- Liberty of information --- Right to know --- Civil rights --- Freedom of speech --- Intellectual freedom --- Telecommunication --- 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 --- Law and legislation --- Congresses --- Information Technology --- Computer Science (Hardware & Networks)
Choose an application
This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.
Computer science --- -Computer science --- -681.3*F0 --- Informatics --- Science --- Congresses --- Computerwetenschap--?*F0 --- Congresses. --- 681.3*F0 --- Latin America --- Computer science - Congresses. --- Computer science - Latin America - Congresses. --- Computers. --- Algorithms. --- Mathematical logic. --- Combinatorics. --- Computer science—Mathematics. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Combinatorics --- Algebra --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Arithmetic --- 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 --- Foundations
Choose an application
Computer vision --- Image processing --- Robot vision --- Vision par ordinateur --- Traitement d'images --- Vision artificielle (Robotique) --- Robot vision systems --- Vision, Robot --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Computer vision. --- Image processing. --- Robot vision. --- Artificial intelligence. Robotics. Simulation. Graphics --- IMAGE PROCESSING --- Analytic photogrammetry --- COMPUTERS --- Monograph --- 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
007.5:347.78 --- 007.5:34 --- 007.5:342.721 --- 34:681.3 <492> --- Computers --- -Data protection --- -Computer crimes --- -Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Electronic data processing --- Computers and crime --- Cyber crimes --- Cybercrimes --- Electronic crimes (Computer crimes) --- Internet crimes --- Crime --- Privacy, Right of --- 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 --- Informaticarecht--Nederland --- Law and legislation --- -Law and legislation --- Data protection --- -Informaticarecht--Nederland --- -34:681.3 <492> Informaticarecht--Nederland --- Data governance --- Computer crimes --- -007.5:347.78 --- 34:681.3 <492> Informaticarecht--Nederland
Choose an application
computer computercontract informatica & informaticacontract & bescherming software & problemen bij distributie & gebruik en ontwikkeling software in dienstverband & criminaliteit & verzekering & databank juridische aspecten & privacy & geschillen
Law of obligations. Law of contract --- Computer. Automation --- Belgium --- Burgerlijk recht --- Droit civil --- Informatica --- Informatique --- Computers --- Computer contracts --- Law and legislation --- 347.45 <493> --- -Computers --- -#A9203A --- Recht 34 --- Informatica 681.3 --- 34:681.3 <493> --- AA / International- internationaal --- 347.83 --- 654 --- P01 - Droit de l'informatique - Informaticarecht --- 05.14 --- 12.01 --- 13.01.B --- 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 --- Contracts --- Bijzondere overeenkomsten --(algemeen)--België --- -Informaticarecht--België --- Computer recht. --- Informatieverwerking. Bureautica. --- Technische verzekeringen --- Preventie ; Algemeen --- Wettelijke en contractuele aansprakelijkheid ; Algemeen ; België --- 34:681.3 <493> Informaticarecht--België --- Informaticarecht--België --- 347.45 <493> Bijzondere overeenkomsten --(algemeen)--België --- #A9203A --- Computer recht --- Informatieverwerking. Bureautica --- Computers - Law and legislation - Belgium --- Computer contracts - Belgium
Choose an application
Computer science --- Computers --- -Electronic data processing --- -Logic, Symbolic and mathematical --- -681.3*F0 --- 681.3*F4 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- 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 --- Congresses --- Computerwetenschap--?*F0 --- Mathematical logic and formal languages (Theory of computation) --- Automation --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Electronic data processing --- Logic, Symbolic and mathematical --- 681.3*F0 --- Logic [Symbolic and mathematical ]
Choose an application
This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.
Computer science --- -681.3*F --- Informatics --- Science --- Congresses --- Theory of computation --- 681.3*F Theory of computation --- 681.3*F --- Computer science - Congresses. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Numerical analysis. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Numerical Analysis. --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- 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 --- Foundations
Choose an application
This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction based model and a more imperative approach. The design of a specialized instruction set is presented that is general enough to be used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrated upon because it is the most efficiently implementable of all the non-flat logic programming languages. Other issues arising from the implementation of a programming language are discussed, in particular the design of a load balancing scheme which deals with the large number of short-lived processes inherent in a correct language implementation. Detailed descriptions of all the data structures and synchronisation algorithms are also presented. Resource exhaustion is also discussed and handled within the implementations. Detailed performance results for both models of computation are given. From the material it should be possible for the reader to create an implementation.
PARLOG (Computer program language) --- PARLOG (Langage de programmation) --- PARLOG (Programmeertaal) --- Parallel programming (Computer science) --- Parallelle programmering (Informatica) --- Programmation parallèle (Informatique) --- 681.3*D34 --- Programming languages (Electronic computers) --- Computer programming --- Parallel processing (Electronic computers) --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- Architecture, Computer. --- Programming languages (Electronic computers). --- Software engineering. --- Computers. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computation by Abstract Devices. --- 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 software engineering --- Engineering --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Architecture, Computer
Choose an application
Colloques --- Colloquia --- Logiciels --- Software --- 681.3*H2 --- Computers --- -Software engineering --- -Academic collection --- 681.3*A0 --- 681.3*C3 --- 681.3*D20 --- Computer software engineering --- Engineering --- 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 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Congresses --- General --- Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- Computerwetenschap--?*D20 --- Software engineering --- Engineering & Applied Sciences --- Computer Science --- Congresses. --- 681.3*C3 Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- 681.3*A0 General --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Academic collection
Listing 1 - 10 of 13 | << page >> |
Sort by
|