1 | | Algorithms for parallel polygon rendering alk. paper , U.S. : alk. paper ( Lecture notes in computer science ; 373 ) | 中央図書館 | T. Theoharis. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||373 |
2 | | Alternating sequential/parallel processing U.S. : pbk. ( Lecture notes in computer science ; 127 ) | 中央図書館 | Y. Wallach. | Springer | 1982 | 中央5階洋 007.1||L 49||127 |
3 | | Automatic mapping of large signal processing systems to a parallel machine ( Research paper (Carnegie Mellon University. School of Computer Science) ; CMU-CS-91-101. ) | 中央図書館 | Harry Printz. | School of Computer Science, Carnegie Mellon University | 1991 | 中央5階洋 548.161||P 93 |
4 | | Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship U.S. ( Lecture notes in computer science ; 321 ) | 中央図書館 | J. Zwiers. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||321 |
5 | | Concepts, design, and performance analysis of a parallel prolog machine U.S. ( Lecture notes in computer science ; 404 ) | 中央図書館 | Joachim Beer. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||404 |
6 | | CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 458 ) | 中央図書館 | J.C.M. Baeten, J.W. Klop, eds. | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||458 |
7 | | CONCUR'91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings U.S. ( Lecture notes in computer science ; 527 ) | 中央図書館 | J.C.M. Baeten, J.F. Groote (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||527 |
8 | | Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings U.S. ( Lecture notes in computer science ; 335 ) | 中央図書館 | F.H. Vogt, (ed.). | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||335 |
9 | | The concurrency control problem for database systems : Berlin , : New York ( Lecture notes in computer science ; 116 ) | 中央図書館 | Marco Antonio Casanova | Springer | 1981 | 中央5階洋 007.1||L 49||116 |
10 | | CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981 : proceedings pbk. : U.S. ( Lecture notes in computer science ; 111 ) | 中央図書館 | edited by Wolfgang Händler. | Springer-Verlag | 1981 | 中央5階洋 007.1||L 49||111 |