Listing 1 - 10 of 10 |
Sort by
|
Choose an application
Telecommunication services --- Telecommunication policy --- 681.3*C24 --- 681.3*K1 --- Telecommunication --- Telecommunication and state --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Computer industry: markets; standards; statistics; suppliers --- Government policy --- 681.3*K1 Computer industry: markets; standards; statistics; suppliers --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Data transmission systems --- Integrated services digital networks --- Telecommunication systems --- Communication systems --- Communications systems --- Systems, Communication --- Electronic systems --- ISDN (Digital networks) --- Digital communications --- Data communication systems --- Transmission of data --- Electronic data processing --- Information theory
Choose an application
681.3*C24 --- 681.3*C4 --- 681.3*H24 --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*C4 Performance of systems (Computer systems organization) --- Performance of systems (Computer systems organization) --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Parallelism --- Ieee --- Distributed System --- Proceedings
Choose an application
Electronic data processing --- System Design --- Distributed processing --- ESPRIT/SEDOS Project --- -System design --- 681.3*C24 --- Design, System --- Systems design --- System analysis --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Automation --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- System design --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- ESPRIT/SEDOS Project. --- Electronic data processing - Distributed processing --- Iso Osi --- Estelle --- Fdt --- Pascal (langage de programmation) --- Petri Nets --- Sedos
Choose an application
Computer networks --- -Electronic data processing --- -681.3*C24 --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- 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 --- Congresses --- Distributed processing --- Automation --- 681.3*C24 --- Distributed processing&delete& --- Réseaux d'ordinateurs --- Traitement réparti --- Réseaux d'ordinateurs. --- Traitement réparti. --- Réseaux d'ordinateurs. --- Traitement réparti.
Choose an application
This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first two successful international workshops in Ottawa (1985) and Amsterdam (1987). This workshop provided a forum for researchers and others interested in distributed algorithms on communication networks, graphs, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. Papers describe original results in all areas of distributed algorithms and their applications, including: distributed combinatorial algorithms, distributed graph algorithms, distributed algorithms for control and communication, distributed database techniques, distributed algorithms for decentralized systems, fail-safe and fault-tolerant distributed algorithms, distributed optimization algorithms, routing algorithms, design of network protocols, algorithms for transaction management, composition of distributed algorithms, and analysis of distributed algorithms.
Computer science --- 681.3*C22 --- 681.3*C24 --- 681.3*D4 --- 681.3*F1 --- 681.3*F3 --- Network protocols: protocol architecture; protocol verification --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Operating systems--See also {681.3*C} --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C22 Network protocols: protocol architecture; protocol verification --- Computer network architectures. --- Computer Communication Networks. --- Operating systems (Computers). --- Computer science. --- Computer software. --- Computer System Implementation. --- Operating Systems. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Operating systems
Choose an application
Electronic data processing --- Software engineering --- Traitement réparti --- Génie logiciel --- Distributed processing --- Software Engineering --- -Software engineering --- 681.3*C24 --- 681.3*D2 --- Computer software engineering --- Engineering --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Automation --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Traitement réparti --- Génie logiciel --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- Electronic data processing - Distributed processing
Choose an application
Process control --- -Real-time control --- -681.3*D47 --- 681.3*J7 --- Real-time computer control --- Automatic control --- Control of industrial processes --- Industrial process control --- Manufacturing processes --- Quality control --- Data processing --- -Congresses --- Congresses --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- Real-time control --- Congresses. --- 681.3*J7 Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*D47 --- Data processing&delete&
Choose an application
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.
Programming --- Numerical analysis --- Informatique --- Programmation (Informatique) --- Mathematiques --- 681.3*C24 --- 681.3*D1 --- 681.3*D2 --- 681.3*F3 --- 681.3*F4 --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Computer science. --- Software engineering. --- Logic design. --- Algorithms. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Processor Architectures. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Algorism --- Algebra --- Arithmetic --- Foundations --- Informatique - Mathematiques - Congres. --- Programmation (Informatique) - Congres.
Choose an application
programmeertalen --- object oriented --- database management --- Information systems --- SQL (structured query language) --- Data base design --- Database management --- Bases de données --- Gestion --- 681.3*H2 --- Database design --- Database management. --- 000.1 --- 681.37 --- 005.7565 --- System design --- 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 --- Database management: security integrity protection--See also {?681.5*E5} --- Algemene werken --- Informatiesystemen --- 681.3*H2 Database management: security integrity protection--See also {?681.5*E5} --- Database design. --- Bases de données --- data acquisitie (daq) --- gegevensverwerking --- Banques de données--Gestion --- Conception de bases de données --- Database-ontwerp --- Databasebeheer --- Databases--Beheer --- Gegevensbanken--Beheer --- Gegevensbestanden--Beheer --- Systems [Data base management ] --- Systems [Generalized data base management ] --- 681.3*H25 --- 681.3*C24 --- Heterogeneous databases: data translation; program translation (Database management) --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*H25 Heterogeneous databases: data translation; program translation (Database management) --- datacommunicatie --- Databases --- #TCPW:AGGR --- 681.3 --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Database management: security; integrity; protection--See also {?681.5*E5} --- (zie ook: telecommunicatie) --- Computerwetenschap --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Databases - Textbooks --- Database management - Textbooks
Choose an application
Electronic data processing --- System design --- Traitement réparti --- Systèmes, Conception de --- Distributed processing --- ESPRIT/SEDOS Project --- LOTOS (Computer program language) --- System Design --- -LOTOS (Computer program language) --- 681.3*C24 --- 681.3*D32 --- Design, System --- Systems design --- System analysis --- Language of Temporal Ordering Specification (Computer program language) --- Programming languages (Electronic computers) --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Automation --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- ESPRIT/SEDOS Project. --- Electronic data processing - Distributed processing
Listing 1 - 10 of 10 |
Sort by
|