-
Parallel Database Systems : PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings.
Computer network architectures;Data structures (Computer scienc;Database management;Computer science;Computer System Implementation;Data Structures and Information Theory;Programming Techniques;Processor Architectures
America, Pierre - Imprint: Springer 1991 1st ed. 1991.
-
Distributed Memory Computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991
Computer science;Computer Communication Networks;Software engineering;Operating systems (Computers);Processor Architectures;Programming Techniques;Programming Languages, Compilers, Interpreters;Operating Systems
Bode, Arndt - Imprint: Springer 1991 1st ed. 1991.
-
Concurrency: Theory, Language, and Architecture : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings
Computer network architectures;Computer science;Logic design;Computer System Implementation;Programming Techniques;Computation by Abstract Devices;Logics and Meanings of Programs;Processor Architectures;Programming Languages, Compilers, Interpreters
Yonezawa, Akinori;Ito, Takayasu - Imprint: Springer 1991 1st ed. 1991.
-
Logics in AI : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Computer network architectures;Natural language processing (Computer science);Artificial intelligence;Logic design;Logic, Symbolic and mathematical;Computer System Implementation;Natural Language Processing (NLP);Logics and Meanings of Programs;Mathematical Logic and Foundations
Eijck, Jan van - Imprint: Springer 1991 1st ed. 1991.
-
Algebraic System Specification and Development : A Survey and Annotated Bibliography
Computer network architectures;Computer Systems Organization and Communication Networks
Bidoit, Michel;Kreowski, Hans-Jörg;Lescanne, Pierre;Orejas, Fernando;Sannella, Donald - Imprint: Springer 1991 1st ed. 1991.
-
Third International Conference on Software Engineering for Real Time Systems, 16-18 September 1991
Real-time data processing;Software engineering;Engineering & Applied Sciences;Computer Science
- The Institution 1991
-
Proceedings of the 18th annual International Symposium on Computer Architecture
Engineering & Applied Sciences;Computer Science
Vranesic, Zvonko - ACM 1991
-
Foundations of robotics : analysis and control
Robotics;e-böcker
Yoshikawa, Tsuneo - MIT Press 1990
-
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Computer network architectures;Logic design;Computer science;Computer Communication Networks;Computer System Implementation;Logics and Meanings of Programs;Programming Techniques
Bakker, Jaco W. de;Roever, Willem-Paul de;Rozenberg, Grzegorz - Imprint: Springer 1990 1st ed. 1990.
-
Proceedings, Supercomputing '90 : November 12-16, 1990, New York Hilton at Rockefeller Center, New York, New York
Engineering & Applied Sciences;Computer Science
Martin, Joanne L - IEEE Computer Society Press 1990
-
Proceedings Euromicro '90 Workshop on Real Time : 6-8 June 1990, Horsholm, Denmark
Real-time data processing
- Institute of Electrical and Electronics Engineers 1990
-
Supercomputing '90 : proceedings : November 12-16, 1990, New York, New York
Supercomputers;Parallel processing (Electronic computers)
- Institute of Electrical and Electronics Engineers 1990
-
Fault-Tolerant Distributed Computing
Computer network architectures;Operating systems (Computers);Computer science;Computer software;Computer Communication Networks;Software engineering;Computer System Implementation;Operating Systems;Programming Techniques;Algorithm Analysis and Problem Complexity;Special Purpose and Application-Based Systems
Simons, Barbara;Spector, Alfred - Imprint: Springer 1990 1st ed. 1990.
-
Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Computer network architectures;Microprogramming;Computer science;Logic design;Electronics;Computer System Implementation;Control Structures and Microprogramming;Arithmetic and Logic Structures;Electronics and Microelectronics, Instrumentation;Computation by Abstract Devices
Leeser, Miriam;Brown, Geoffrey - Imprint: Springer 1990 1st ed. 1990.
-
Supercomputing '89 : proceedings of the 1989 ACM/IEEE Conference on Supercomputing : 12-17 November 1989, Reno, NV, USA
Supercomputers;Parallel processing (Electronic computers)
- Institute of Electrical and Electronics Engineers 1989
-
Proceedings of the 3rd International Conference on Supercomputing
Engineering & Applied Sciences;Computer Science
- ACM 1989
-
Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing, The
Computer network architectures;Computer science;Operating systems (Computers);Computer System Implementation;Processor Architectures;Programming Languages, Compilers, Interpreters;Operating Systems;Arithmetic and Logic Structures
Robbins, Kay A;Robbins, Steven - Imprint: Springer 1989 1st ed. 1989.
-
Distributed Algorithms : 3rd International Workshop, Nice, France, September 26-28, 1989. Proceedings
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
Bermond, Jean-Claude;Raynal, Michel - Imprint: Springer 1989 1st ed. 1989.
-
CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Computer network architectures;Logic, Symbolic and mathematical;Computer science;Logic design;Combinatorics;Computer System Implementation;Mathematical Logic and Foundations;Programming Languages, Compilers, Interpreters;Logics and Meanings of Programs;Mathematical Logic and Formal Languages
Börger, Egon;Kleine Büning, Hans;Richter, Michael M - Imprint: Springer 1989 1st ed. 1989.
-
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Computer network architectures;Logic design;Computer science;Computer System Implementation;Logics and Meanings of Programs;Computation by Abstract Devices;Mathematical Logic and Formal Languages;Programming Techniques;Programming Languages, Compilers, Interpreters
Taubner, Dirk A - Imprint: Springer 1989 1st ed. 1989.